Kurt Godel on Science
“The meaning of world is the separation of wish and fact.”
― Kurt Gödel
― Kurt Gödel
This page is a permanent link to the reply below and its nested replies. See all post replies »
Pfuzylogic · M
Wish he would have told this to Penrose and hawking about this on their point of singularity.
Pfuzylogic · M
@ElRengo I had checked his work in Mathematics regarding the proof of it.
ElRengo · 70-79, M
@Pfuzylogic
Godel´s main work on math was on Logic (so no "ontological commitment").
His most important contribution almost put an end to the Logicist Program (Hillbert / Russell / others).
So it´s not quite probable to find "proof" of his wider thoughts in his specific work.
Anyhow there are traces of his views rooted in his long talks with his close friend Eintein, mainly while the Princeton years.
Godel´s main work on math was on Logic (so no "ontological commitment").
His most important contribution almost put an end to the Logicist Program (Hillbert / Russell / others).
So it´s not quite probable to find "proof" of his wider thoughts in his specific work.
Anyhow there are traces of his views rooted in his long talks with his close friend Eintein, mainly while the Princeton years.
ElRengo · 70-79, M
@Pfuzylogic
While to explain is not the same as to proof, there is a quite short and "intuitive" description of what Godel proved.
Don´t want to bore you but I´m sure you would understand it with no effort.
A related curiosity:
The intellectual origin of the Turing´s "machine" was an intent to find an alternative proof of Godel´s theorem (s) from a "constructivist" approach.
While to explain is not the same as to proof, there is a quite short and "intuitive" description of what Godel proved.
Don´t want to bore you but I´m sure you would understand it with no effort.
A related curiosity:
The intellectual origin of the Turing´s "machine" was an intent to find an alternative proof of Godel´s theorem (s) from a "constructivist" approach.
ElRengo · 70-79, M
@Pfuzylogic
Of course Turing most well known contributions are asociated with computing.
As you know, there is another side of almost the same, the math theoretical foundations of computabiity itself. About this, Turing had also an own deep interest,
What I´ve said is that, regardless it´s wider impact on the field, the original personal motivation of the Turing "machine" was to find an alternative "constructivist" proof / rebuttal to Godels proof.
Of course Turing most well known contributions are asociated with computing.
As you know, there is another side of almost the same, the math theoretical foundations of computabiity itself. About this, Turing had also an own deep interest,
What I´ve said is that, regardless it´s wider impact on the field, the original personal motivation of the Turing "machine" was to find an alternative "constructivist" proof / rebuttal to Godels proof.
Pfuzylogic · M
@ElRengo I always enjoyed Einstein and his theories. They can across as very transparent and from a genuine desire to help makind. I never got the impression of a “science fiction writer” in his work. He was somewhat compelled to sign on to the Hubble theory of an expanding universe because the universe “had to be moving”.
ElRengo · 70-79, M
@Pfuzylogic
You are right about him but still IMO wrong about something,
Expansion is intrinsic to the conception of the relativistic universe. A side effect you may say, but still entailed.
Scientists rarelly let their philosophic preferences to reign over the factual and Albert was one of them.
Sentences containing expressions like "had to" are more frequent in the pre scientific worldview, as the remaining of "rationalism" (the idea that a logos precedes reality).
That view "had to" be put aside to make Science be.
You are right about him but still IMO wrong about something,
Expansion is intrinsic to the conception of the relativistic universe. A side effect you may say, but still entailed.
Scientists rarelly let their philosophic preferences to reign over the factual and Albert was one of them.
Sentences containing expressions like "had to" are more frequent in the pre scientific worldview, as the remaining of "rationalism" (the idea that a logos precedes reality).
That view "had to" be put aside to make Science be.
Pfuzylogic · M
@ElRengo The challenge becomes when “Laws” like the Hubble LeMaitre Law become questionable because no error analysis is completed before they are authored as “fact”. Can you think of a more scientific law that is even the basis of dating the universe comes into question? Scientists look to that premises like Christians look to Genesis for truth. Even Penrose has been recently questioned with the current evidence.