4 ms·
What does that even mean?
by GFK_of_xmaspast 10y ago
What does that even mean?
- jsprogrammer 10y agoGödel showed that any system meeting a certain level of arithmetical complexity will have the property of either being incomplete or inconsistent. The person I responded to said that SM was incomplete, but that must be the case, unless the model is self-contradictory (assuming it's not, as it would not qualify as a scientific theory if it were), or, the model must not have enough arithmetical complexity to fall under Gödel's rubric.