Hacker News new | past | comments | ask | show | jobs | submit login

It’s not really a limitation of logic, because logic is not constrained to a particular set of axioms.



But logic is composed of a particular set of axioms and rules - so is not any thing composed of a set of such things itself constrained by the very nature of its parts?


Godels theorem has nothing to say about first order logic.




Join us for AI Startup School this June 16-17 in San Francisco!

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

Search: