There's something a certain kinda a personality would love to sink his teeth into.PeteOlcott wrote: ↑Tue Apr 25, 2023 6:48 amSkepdick chose his name on the basis that obnoxiousness rather thanAgent Smith wrote: ↑Tue Apr 25, 2023 6:41 amFirst off, I don't get why your thread is not registering more hits than it deserves. Skepdick, the only other guy, seems unimpressed and that's putting it mildly.PeteOlcott wrote: ↑Tue Apr 25, 2023 6:26 am
I spent 10,000 hours on this since 2004, do you think that it enough?
It is clear that the basis of his incompleteness proof
is that formal systems cannot prove self contradictory
expressions. He admits that he does this right here:
14 Every epistemological antinomy can likewise be used for a similar undecidability proof.
END:(Gödel 1931:40)
Gödel, Kurt 1931.
On Formally Undecidable Propositions of Principia Mathematica And Related Systems
Antinomy
...term often used in logic and epistemology, when describing a paradox or unresolvable contradiction. https://www.newworldencyclopedia.org/entry/Antinomy
Secondum, please read what I wrote closely - my take on Gödel should've crossed over to your side despite my karmic delusions that permits of only vague pics of reality whatever that is.
Thirdum, Gödel, in a manner of speaking, stopped ... eating?
honest dialogue is his intention.
Secondum I thought that I did read it closely.
Third Yes Gödel was a little nutty towards the end and starved himself to death.
Later in his life, Gödel suffered periods of mental instability and illness. Following the assassination of his close friend Moritz Schlick,[34] Gödel developed an obsessive fear of being poisoned, and would eat only food prepared by his wife Adele. Adele was hospitalized beginning in late 1977, and in her absence Gödel refused to eat;[35] he weighed 29 kilograms (65 lb) when he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978.[36] He was buried in Princeton Cemetery. Adele died in 1981.[37] https://en.wikipedia.org/wiki/Kurt_G%C3 ... _and_death
His fear of being poisoned was somewhat justified his fear of his own cooking was too nutty.
Anyway, Gödel's theorems were vetted by his peers and they gave Gödel the all clear and the rest is history.
What I find odd is no one as in no mathematician seems interested, even in the slightest way, to pick up as it were where the late Gödel left off. Philosophers (of mathematics), au contraire, are a different story.