Status Updates From Gödel Without (Too Many) Tears
Gödel Without (Too Many) Tears by
Status Updates Showing 1-3 of 3
Em V
is starting
This book was an enlightening insight into Gödel’s proofs
— Dec 31, 2023 08:53PM
Add a comment
Em V
is on page 100 of 156
Showing a p.r. Language is w-inconsistent & w-incomplete via Gödel numbering and the diagonalization argument
— Dec 06, 2023 06:51AM
Add a comment
Em V
is on page 58 of 156
So far so interesting. Peter Smith does a great job of building up the necessary logical context required to support Godels original argument. It is a quite high level overview, only stopping to dip down into the depths here and there, but as a primer/introduction it is a fantastic spring board into the world of formal logic
— Oct 08, 2023 01:42PM
Add a comment
