Actually this is only half true. Formal logic relies on words because some conce... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		bootsmann on July 10, 2023 \| parent \| context \| favorite \| on: Engineers should focus on writing Actually this is only half true. Formal logic relies on words because some concepts, like finiteness, are impossible to grasp within the formalism itself. A good textbook on this is “Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics”, which spends the early chapters dedicated to making you aware of this issue.

edanm on July 10, 2023 [–]

I'm not sure I follow, under what formalism does "finiteness" become a concept that's impossible to grasp?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact