SoylentNews is people
SoylentNews
I came across an interesting blog post by Rudy Rucker from 2012 that I found quite interesting and thought I would share with my fellow Soylentils. It is titled "Memories of Kurt Gödel" and it is quite an interesting read.
Kurt Gödel was unquestionably the greatest logician of the century. He may also have been one of our greatest philosophers. When he died in 1978, one of the speakers at his memorial service made a provocative comparison of Gödel with Einstein ... and with Kafka.
Like Einstein, Gödel was German-speaking and sought a haven from the events of the Second World War in Princeton. And like Einstein, Gödel developed a structure of exact thought that forces everyone, scientist and layman alike, to look at the world in a new way.
The Kafkaesque aspect of Gödel's work and character is expressed in his famous Incompleteness Theorem of 1930. Although this theorem can be stated and proved in a rigorously mathematical way, what it seems to say is that rational thought can never penetrate to the final, ultimate truth. A bit more precisely, the Incompleteness Theorem shows that human beings can never formulate a correct and complete description of the set of natural numbers, {0, 1, 2, 3, . . .}. But if mathematicians cannot ever fully understand something as simple as number theory, then it is certainly too much to expect that science will ever expose any ultimate secret of the universe.
Wikipedia's page on Gödel's incompleteness theorems summarizes:
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of the natural numbers. For any such formal system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.
Employing a diagonal argument, Gödel's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems. They were followed by Tarski's undefinability theorem on the formal undefinability of truth, Church's proof that Hilbert's Entscheidungsproblem is unsolvable, and Turing's theorem that there is no algorithm to solve the halting problem.
(Score: 2) by Azuma Hazuki on Wednesday August 16 2017, @06:13AM (5 children)
INT != WIS. And what's so insane about not-atheism? I grant organized religions are nuts, but why would simple Deism or pan[en]theism be insane?
I am "that girl" your mother warned you about...
(Score: 0, Disagree) by Anonymous Coward on Wednesday August 16 2017, @06:30AM (4 children)
Not only is "There is a god" a worthless axiom, but there's no proof that any particular god (and and thus his dictates) are possibly based on anything other than insanity.
That's what makes it insane.
(Score: 3, Insightful) by maxwell demon on Wednesday August 16 2017, @11:54AM (2 children)
That's an argument for agnosticism, not for atheism. For atheism to be reasonable, the axiom "there is no god" would have to be a useful axiom. I fail to see the use of this axiom.
The Tao of math: The numbers you can count are not the real numbers.
(Score: 0) by Anonymous Coward on Thursday August 17 2017, @04:31PM (1 child)
How is your response in any way relevant to my comment?
(Score: 2) by maxwell demon on Thursday August 17 2017, @04:47PM
Agnosticism is non-atheism.
The Tao of math: The numbers you can count are not the real numbers.
(Score: 2) by Azuma Hazuki on Wednesday August 16 2017, @07:31PM
Oh, it's not an axiom. I'm one of the aforementioned panentheists, but I came to that inductively, not even deductively, let alone postulating this God as an axiom. And I am also aware that the "God" I have in mind may be merely a massive Boltzmann Brain; thinking about stuff like that is admittedly mind-bending. On the upside, I will never murder someone else for not being a panentheist, and in most regards I'm basically "atheist who believes in God" with reference to scientific, moral, political, etc views.
I am "that girl" your mother warned you about...