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