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

Yes, PM would be made inconsistent by including the

[Gödel 1931] proposition I'mUnprovable for reasons

explained elsewhere in this discussion.

Fortunately, the rules on orders of propositions make it

impossible to construct proposition I'mUnprovable in PM.




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

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

Search: