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

You appear to misunderstand the meaning of the terms "inconsistent" and "incomplete" in the context of Gödel's theorem.

"Inconsistent": There is at least one statement within the system that can be proved both true and false.

"Incomplete": There is at least one statement within the system that is true, but cannot be proved to be true within the system.

Since Gödel's theorem applies to formal systems in mathematics, it does not say anything about the possibility or impossibility of constructing a "complete" (whatever that means) mathematical description of our reality.



Thank you.

If I understand your last statement correctly, you are saying that a complete but non-formal mathematical system could exist which models our reality.

I'm not sure that's where you wanted to go, but I appreciate the help and clarification.




Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

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

Search: