Great sentences! No discussion can flourish without good examples and metaphores though they make easier targets for criticism than dull theory. Or ma...
Nothingness is the dual concept of everything (or would it be "everythingness"?) "Everything" would be the mereological sum of all objects. So nothing...
You may very well be right here as my knowledge of mereology is minimal. From the title of the thread and its opening post I had not deduced we were d...
"Universal nothingness" is pretty uninteresting as it is a pertinent lie. And consequently, its complement of "incidental somethingness" (there is som...
Thanks for the exchange of views. Discussions on Gödel tend to be as incomplete as his theorem domains and are guaranteed to haunt us another day. I r...
Modern mathematics holds the view that the G-sentence is true in some models (notably the standard model) and false in others. — Arisktotle Who? Which...
It (the G-sentence) is not true in the formal system as it cannot be deduced. If it was true in the system then the system would be self-contradictory...
The (G-)sentence cannot be deduced and hence does not exist in the system. This is incorrect since the sentence exists in the syntax of the system. It...
The (G-)sentence cannot be deduced and hence does not exist in the system. That is incorrect since it is covered by the syntax of the system. It is tr...
I pondered on the relationship between QM and Gödelian incompleteness a while ago and found some interesting parallels especially to the G-sentence. W...
Comments