Kurt Friedrich Gödel (; German: [ˈkʊɐ̯t ˈɡøːdl̩] (listen); April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Gottlob Frege.
Gödel published his first incompleteness theorem in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any ω-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the natural numbers that can be neither proved nor disproved from the axioms. To prove this, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers. The second incompleteness theorem, which follows from the first, states that the system cannot prove its own consistency.Gödel also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted Zermelo-Fraenkel set theory, assuming that its axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
What does Gödel’s theorem say about physical reality? Does Gödel’s theorem imply that no finite mathematical model can capture physical reality? Does the nondeterminism found in quantum and chaos physics - it’s impossible to predict (prove) the future from the present and the laws of physics -...
[Moderator's note: Thread spun off to allow discussion of this topic to continue since the previous thread was closed.]
I have had something nagging at me about this for a while, and it finally hit me while looking through this paper about the Godel Universe...
Hey! :o
We have the number \begin{align*}70&6737922567786324304462189150536772513339293263220644
\\ &=2^2\cdot 3\cdot 59^5\cdot 103\cdot 149^2\cdot 353\cdot 607\cdot 823^4\cdot 1409\cdot 1873^2\cdot 4201^3\end{align*}
I want to check if this is a Gödel number of a Turing machine.
From...
Can someone express the Godel metric line element in cylindrical coordinates? I keep looking for this line element, but no source clearly gives it to me. Can you please express it using the (- + + +) signature and while retaining all c terms?
Thanks.
Here is the line element in Cartesian...
Gödel numbers are used to encode wffs of formal systems that are strong enough in order to deal with Arithmetic.
In my question, Gödel numbers are used to encode wffs as follows:
Syntactically (by formalism without semantics) there is set A (the set which is postulated to be infinite), such...
Gödel's incompleteness theorem only applies to logical languages with countable alphabets. So it does not rule out the possibility that one might be able to prove 'everything' in a language with an uncountable infinite alphabet.
Is that a loophole in Godel's Incompleteness Theorem?
Doesn't...
Homework Statement
Consider the Godel Metric in spherical coordinates as on page 6 here;
ds^2=4a^2\left[-dt^2+dr^2+dz^2-(\sinh^{4}(r)-\sinh^{2}(r))d\phi^2+2\sqrt{2}\sinh^{2}(r)dt d\phi)\right]
This is a solution to Einstein's Equations if we have ##a=\frac{1}{2\sqrt{2\pi\rho}}## and ##\Lambda...
Lately, I've been hooked on Douglas R. Hofstadter's book Gödel, Escher, Bach. In it, he discusses the idea of "strange loops"—often apparent logical paradoxes—and argues that they are the key to understanding consciousness. He includes witty dialogues, as well as examples of "strange loops" in...
Consider the following sentence:
"Prof. Godel cannot prove this sentence."
Is this sentence true? If it is true, can Prof. Godel prove it? If he can't, does it tell us anything about Prof. Godel? More generally, does it tell as anything about creative human mathematicians (who are supposed to be...
Let Q denote the theory of Robinson Arithmetic. A theory T is nice iff T is consistent, is p.r. adequate and extends Q. The fixed-point lemma states that for all nice theories T, for any formula φ, there is a sentence σ such that
T ⊢σ↔φ("σ")...
I can readily accept that the Godel sentence The theorem is that "This theorem is not provable" can be expressed in the language of Peanno Arithmetic.
2. Godel on the other side of a correspondence with the above, first translates the Godel sentence using the Godel numbering system
3. Having...
I have been working with the Godel solution to the Einstein field equations which is known to contain closed time-like curves.
The metric I am using is the following:
ds2 = dt2/(2ω2) + (exdzdt)/ω2 + (e2xdz2)/(4ω2) - dx2/(2ω2) - dy2/(2ω2)
This is sign convention (+ - - -)
Now from what I've...
I am reading the book Mathematical Logic by Ian Chiswell and Wilfred Hodges ... and am currently focused on Chapter 3: Propositional Logic ...
I need help with Exercise 3.2.5 which reads as follows:Can someone please help me with reconstructing the formula of the Gödel number that is given...
I have recently derived both the purely covariant Riemann tensor as well as the purely covariant Weyl tensor for the Gödel solution to Einstein's field equations. Here is a wiki for the Gödel metric if you need it:
http://en.wikipedia.org/wiki/Gödel_metric
There you can see the line element I...
Hi,
So I was just going through my copy of The Emperor's New Mind, and I'm having a little difficulty accepting Godel's theorem , at least the way Penrose has presented it.
If I'm not wrong, the theorem asserts that there exist certain mathematical statements within a formal axiomatic system...
Can someone please type out the line element for the Godel metric (including any and all c terms and any other terms that one might omit if they were using natural units to set terms like c = 1)? I ask this because different sources on line have it written out in different ways which look...
My questions arose when reading an article about artificial intelligence, and the argument of Penrose that says that humans can see the truthfulness of statements that machines cannot. But it doesn't say what those "Godel sentences" are...
First, this is not the same question as
https://www.physicsforums.com/threads/goedel-numbering-decoding.484898/
It concerns a different encoding procedure, hence a different decoding one.
My question concerns the argument in http://en.wikipedia.org/wiki/G%C3%B6del_numbering_for_sequences
for...
I am confused, since some claims about the first Godel incompleteness theorem and real numbers seem mutually contradictory. In essence, from one point of view it seems that the Godel theorem applies to real numbers, while from another point of view it seems that the Godel theorem does not apply...
I'm a starting amateur mathematician. I'm studying Gödel's incompleteness theorem and have a couple of rookie questions that I can't seem to sort out.
1) In the text I'm reading it talks repeatedly about systems containing "addition and multiplication". Since multiplication can be derived from...
Gödel-numbering (in its broadest meaning, not necessarily the one Gödel used): On one side, it would seem that an assignment of a symbol to a number is just a first order function, and the recursion set up to translate a formula into numbers would be first-order, but on the other hand the...
Hi, I'm doing the master in science and one of things that I have to study is the Gödel metric. His paper have a high level for me and I'm seeking theses and dissertations about the Gödel universe. At moment I got three theses about the subject in english and portuguese-BR and one dissertation...
I am working through a computability theory textbook and right now the author is discussing assigning Godel numbers to each Turing Program. To do this, he suggests assigning each internal state, each of the elements of {1,B} and each of the elements of {L,R} a number. Then using these numbers...
(Hopefully, Part 1 of 2)
This is one of my favorite metrics, and I decided that while tedious, and old-fashioned, I would practice for my GR studies by finding the Christoffell symbols and write out the equations for geodesics using the Gödel metric, then attempting to solve them.
First...
I'm ok with encoding, but I m confused about decoding a natural number back into a sequence of natural numbers.
For example, to decode a natural number N back to the sequence <x1,x2,...xn>
I was once told that Goldbach's conjecture could perhaps fall into Gödel's first incompleteness theorem, and be true but not provable. Is that really the case?
I mean, if Goldbach's conjecture were false it would be easily provable, as it would mean that an even number exists that is not the...
Burton Feldman, in his book "112 Mercer Street" (Einstein's address during his tenure at Princeton) tells of a comment that Einstein made to a friend: "...when he felt old and his own work no longer meant much, he came to the Institute mostly for the privilege of walking home with Godel." Godel...
Hello all
Does Godel's incompleteness theorem still hold true for fuzzy sets?
My feeling is that it doesn't since the http://en.wikipedia.org/wiki/Law_of_excluded_middle" no longer applies.
Is this reasoning correct?
Wolfgang Rindler has an interesting article,
Godel, Einstein, Mach, Gamow, and Lanczos: Godel's remarkable excursion into cosmology,
in this month's American Journal of Physics. Rindler writes about the history, context, philosophy, and physics of Godel's work. Unfortunately, this paper is...
I've been re-reading https://www.amazon.com/dp/0465026567/?tag=pfamazon01-20 and came across an interesting algorithm.
Start with any whole number.
If it is even, halve it.
If it is odd, triple it and add 1.
Repeat until the number reaches 1.
Count # of steps it took.
Number/Count...
The essence of the 1. Godel theorem can be reduced to the fact that one can always find a self-referring sentence. It is intuitively clear that such sentences lead to problems, which, indeed, is the source of the Godel theorem. Can someone explain to me why it is not possible to construct a...
Hi,
I'm sorry for being lazy again and asking for help here instead of looking stuff for myself, but I'm being lazy merely because I've tons of other stuff to read.
What I want to understand is:
1) Under what conditions does Gödel's incompleteness theorem 1 hold? (That for theories...
Penrose seems to argue that computers will never have minds or understanding as humans do due to Godel's Incompleteness theorem. I think he is right about this one as computers just are formal systems. But why then are there still so many critics that claim that AI is possible?
I was thinking about Godel's Incompleteness Theorem and was wondering if this is a fair conclusion: Godel seems to have demonstrated that within axiomatizations of arithmetic, that is of a sufficiently rich axiomatized system which could generate arithmetic, there are statements which can not...
Godel and the Nature of Mathematical Truth
A Talk with Rebecca Goldstein
http://edge.org/3rd_culture/goldstein05/goldstein05_index.html
A fascinating read! Highly recommended. In addition to discussing Godel's Incompleteness Theorem in the context of his metaphysical views, it also...
I am aware of Godel's proof of the incompleteness of formal systems that allow for defining the natural numbers.
I noted recently in the Wikipedia entry for Godel's Incompleteness Theorem
"that both the real numbers and complex numbers have complete axiomizations".
Is this true?
Can...
I was just reading about Godel's Theorem. I was unable to grasp the exact meaning of this sentence:
from the paragraph:
I don't understand what is meant by "..retruning a Godel proposition.."
As we cannot prove that Godel's system of axioms (ZFC?) is consistent, is it possible that it is inconsistent, that the Godel sentence is false, and that we yet prove it to be 'true'?