Self-Teaching Mathematical Logic: Recommended Textbooks
Explore how to self-teach mathematical logic using key textbooks such as 'Book of Proof' by Richard Hammack, 'ForAllX' by OpenLogicProject, and 'Sets, Logic, Computation' by OpenLogicProject. Join the Discord for discussions and support.
Autodidact
12.9K views β’ Oct 26, 2023
About this video
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
https://discord.com/invite/XfncZKydGC
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
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
https://discord.com/invite/XfncZKydGC
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
Video Information
Views
12.9K
Likes
844
Duration
5:32
Published
Oct 26, 2023
User Reviews
4.6
(2) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.