How To Self Teach Mathematical Logic (With Textbooks) | Meta Logic and Math
The Books are:
1. "Book of Proof" by Richard Hammack
2. "ForAllX" By OpenLogicProject
3. "Sets, Logic, Computation" by OpenLogicProject
Join the Discord, its a great resource for asking math and science related questions/getting inspired on your journey
/ discord
stay tropical
remember...
Its a 𝘽𝙡𝙤𝙤𝙢𝙚𝙧 𝙍𝙚𝙫𝙤𝙡𝙪𝙩𝙞𝙤𝙣™ baby
Keywords for the algo:
sets logic mathematical logic godels incompleteness proof turing test alan turing set theory von neumann how to self teach math self education mathematics best textbooks for learning math forallx for all x sets, logic, computation
