The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [goedel]

Questions related to the work of Kurt Gödel. Please mind the spelling of his last name: "Gödel". If you cannot or don't know how to create the "ö", you might also write his name as "Goedel". In all cases, please avoid "Godel". If you want to create a (hyper)link to, say, a Wikipedia entry, you might have to manually change the "ö" to "%F6".

Filter by
Sorted by
Tagged with
1
vote
0answers
48 views

Source of Godel's quote on materialism

In an interview, David Berlinski quoted Godel's view on materialism: It [materialism] succeeds to the extent that the materialists assign material objects all the properties that used to be ...
3
votes
1answer
300 views

The origin of a particular self-reference paradox

This is a simple reference request, for the origin of a particular type of paradoxical statement. The example I remember is Roger Penrose can't consistently claim this statement to be true. It's a ...
1
vote
1answer
60 views

Why does one need to specify that the language is “well-orderable” for first order logic to be complete?

While reading Wikipedia I noticed the phrase "well-ordered language" in the following related to Gödel's completeness theorem: The completeness theorem then says that for any first-order theory T ...
0
votes
1answer
117 views

What is the relationship between computation and Gödel's incompleteness theorems? [closed]

In what way do Godel's incompleteness theorems impact computers/hypercomputers? Do they somehow prevent them from being capable of computing everything (of computing literally all uncomputable/...
3
votes
1answer
111 views

Why is ZFC not as susceptible to Gödel's incompleteness as was the Principia Mathematica?

So, from what little I have read (such as this answer), it appears to be that one reason why the program of Logicism, as laid out in the Principia Mathematica, failed was that its goals (of finding a ...
8
votes
1answer
714 views

Gödel's incompleteness theorems - what are the religious implications?

Apparently Kurt Gödel believed that his incompleteness theorems have some kind of religious implications. Despite Gödel's belief in a personal God, this was still somewhat surprising to me. ...
0
votes
1answer
214 views

Gödel's Results and Philosophy of Mathematics [closed]

Gödel's results essentially conclude that there are True but Unprovable statements in arithmetic. My thoughts are as follows: Axioms form the foundation of mathematics -because we need to assume ...
7
votes
2answers
321 views

Is Propositional Logic Sound and Complete

After reading Gödel's incompleteness theorem, I wonder if there are any systems whose axioms are sound and complete. I realize that Gödel's arguments (at least from my sources) only apply to ...
10
votes
6answers
2k views

How does Gödel's incompleteness theorem apply to materialism and the mind

Assertion 1: Humans use some logical system to understand the universe Assertion 2: Gödel proved through a formal logic what is provable about a logical system is a subset of what is true about it, ...
3
votes
2answers
229 views

Gödel's incompleteness theorem and non-standard logics/foundational systems

I am amateur in the field of mathematical logic, so sorry for any confusing parts of this question. It is well known that Gödel's incompleteness theorem shows there are great limits to what first-...
1
vote
2answers
110 views

Godel's theorems

The result of Godel's theorems was that we knew for sure that a formal axiomatic system wasn't capable to derive all of mathematics. The math derived under the system cannot be consistent and complete....
5
votes
2answers
140 views

How is ω-consistency different from ordinary consistency?

I've read Gödel's explanation and others but my understanding is unclear. Answers to the followup questions below would help: does ω-consistency have any relevance to methods or ideas not connected ...
6
votes
1answer
229 views

Did Gödel do philosophy beyond logic?

On Wikipedia Gödel is described as a philosopher and since I do know of his logical works (as far as I am able to understand what I've read and heard of it). I wanted to know if he wrote more stuff, ...
6
votes
1answer
866 views

Why did Gödel believe that there was a conspiracy to suppress Leibniz's works?

It is known that Gödel was obsessed with Leibniz, and apparently he even believed that their was a worldwide conspiracy among academics to suppress Leibniz's works. Does anyone know where this came ...
1
vote
0answers
45 views

Are semantic inferences between undecidable sentences in a system possible?

For example from the Gödel sentence "G iff ¬P([g])", where g is G's Gödel-number, is it possible to make semantic inference (not syntactic, only at the level of truth between the undecidable sentences ...
0
votes
1answer
501 views

Is it valid to prove the axioms of a system from themselves? How does it square with Gödel's incompleteness?

I recently asked whether the axioms are tautologies, and got comments that seemed to me highly suspicious. Namely, that you can always prove an axiom from itself, that you can trivially say A ...
4
votes
3answers
1k views

Are axioms tautologies?

My understanding is that axioms are the unprovable statements upon which systems are built. Tautologies are in essence things that can't be false. Godel's Incompleteness Theorem, though, shows that ...
2
votes
1answer
411 views

Existence as a predicate and Godel's ontological argument

I am referring to this paper https://github.com/FormalTheology/GoedelGod/blob/master/GodProof-ND.pdf which has formalized the ontological argument. If I am not mistaken, watered down, the argument ...
6
votes
3answers
830 views

Can you list examples of problems that can not be solved within a formal system but human beings have solved through construction or creativity?

This kind of problem is mentioned in a book I have read, but the book did not give a concrete example. If any such problem existed, this might help me understand human creativity. I think it would ...
5
votes
3answers
552 views

Gödel: Why is a proposition undecidable?

Gödel has proved the existence of undecidable propositions for any system of recursive axioms capable of formalizing arithmetic. But do we know the logical causes of this state of undecidability? In ...
0
votes
3answers
227 views

Gödel's Incompleteness Theorems and Implications for Science

A few days ago, I heard a biologist mention that one implication from Gödel's Incompleteness Theorems is that an unlimited number of general statements can account for a given set of observations. ...
3
votes
2answers
157 views

What motivated Gödel to arithmetize syntax?

What were the benefits of arithmetizing syntax for Gödel? What did the arithmetization of syntax allow for Gödel that was otherwise not possible?
6
votes
4answers
843 views

Is there a way to avoid Gödel's incompleteness affecting mathematics as a whole?

I have been thinking about Gödel's incompleteness theorems and their ramifications for the whole of mathematics. In this question I assume some fixed formal system F expressive enough for the ...
2
votes
1answer
185 views

Poignancy because of Gödel's theorems - why?

Why do Gödel's incompleteness theorems make mathematicians so sad? There are complete, decidable and consistent fragments of mathematics like the arithmetic of real numbers, complex numbers, ...
6
votes
5answers
1k views

Can Gödel's incompleteness theorems be applied to ethics?

It seems, that simplistically, that Gödel's incompleteness theorems can be applied to ethics in a very straightforward way by: Replacing "True" and "False" with "Right" and "Wrong" Assuming real ...
9
votes
3answers
1k views

Was Kant anticipating Gödel's incompleteness in his antinomies?

Kant's attempts to prove that there's a limit to pure reason based on the existence of antinomies, i.e. pairs of propositions where each one is rational, but the propositions contradict each other. ...
8
votes
2answers
380 views

Did Gödel oppose or agree with the Logical Positivists?

Gödel was a member of the Vienna Circle, whose philosophical position as a group was Logical Positivism, or Logical Empiricism. The SEP article on him states that among his philosophical views were ...
3
votes
2answers
295 views

Quantum Mechanics has formally undecidable problems. What is the philosophical significance of this?

A certain problem is quantum mechanics has been shown to be uncomputable. This means that although it is in a certain sense making a prediction, there is no systematic way to determine what prediction ...
16
votes
3answers
666 views

What are the philosophical consequences of the undecidability of the spectral gap in quantum theory?

An article published in Nature yesterday proves that finding the spectral gap of a material based on a complete quantum level description of the material is undecidable (in the Turing sense). One of ...
5
votes
5answers
1k views

Do Gödel's incompleteness theorems have any consequences for epistemology?

Do Gödel's results have any impact on the theory of knowledge: realism vs anti-realism, the existence of the noumenal, the existence of synthetic a priori truths, etc... or are they just relevant to ...
10
votes
6answers
1k views

Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole?

In "Raatikainen, P., 2005, “On the Philosophical Relevance of Gödel's Incompleteness Theorems,” , the author argues that Penrose's and others use of Gödel's theorem as an argument against mechanism (...
13
votes
1answer
794 views

What sources discuss Russell's response to Gödel's incompleteness theorems?

In his book My Philosophical Development Russell writes, In my introduction to the Tractatus, I suggested that, although in any given language there are things which that language cannot express, ...
2
votes
6answers
820 views

If the ZFC axioms cannot be proven consistent, how can we say for certain that any theorems in mathematics have been proven?

The ZFC axioms are the basis of modern mathematics. But Gödel's 2nd Theorem says that it is impossible to prove that these axioms are consistent. Hence, it is possible (if ZFC is inconsistent) that ...
9
votes
1answer
336 views

Where did Gödel write that first-order logic is the “true” logic?

In "On How Logic Became First-Order" Matti Eklund writes (p. 2/148): It appears to be widely held today that arguments from Skolem and Kurt Gödel, both alleged proponents of the thesis that ...
12
votes
1answer
1k views

Was Wittgenstein anticipating Gödel?

The Tractatus 6.123: 6.123 Clearly the laws of logic cannot in their turn be subject to laws of logic. (There is not, as Russell thought, a special law of contradiction for each 'type'; one law is ...
1
vote
2answers
372 views

Are there any work around after Godel's incompleteness theorems?

It seems to me that mathematicians or computer science theorists are still trying to come up a proof for conjecture they made in first or second order logic. By Godel's incompleteness theorems there ...
12
votes
3answers
2k views

How did the logical positivists respond to Gödel's incompleteness theorem?

In a lecture on philosophy of science I recently listened to, it was stated that Quine was the one who decisively refuted the logical positivist program. I've also read that Quine and Popper were ...
1
vote
1answer
94 views

Is this enough to conclude that G is false?

Let us assume a logical system with only 3 axioms (laws of thought): Axiom 1: A statement that is true will remain true till a change is made in the system. Axiom 2: A statement may not be true and ...
15
votes
4answers
3k views

How does Gödel's theorem apply to daily life?

I came across a simplified description of Gödel's theorem and the discussion touches on a concept of honesty (truth?) and completeness. How does Gödel's theorem apply to everyday interactions?
2
votes
1answer
157 views

About Godel and Anselm

Was Godel's work on trying to make Anselm's Ontological Argument more 'feasible' with modal logic successful or has this work just been lost in the many abstract debates that confuse the issues?
0
votes
2answers
226 views

Regarding Godel's theorems

Given a formal logic system W with it's set of axioms, if it is capable of 'handling' basic arithmetic then W can not be used to 'prove' its own consistency. In other words there will always be a ...
3
votes
5answers
266 views

Provable and contradictory?

For each consistent formal theory T having the required small amount of number theory, the corresponding Gödel sentence G asserts: "G cannot be proved within the theory T". This interpretation of G ...
5
votes
1answer
890 views

Does Gödel's second incompleteness theorem interact with logical positivism?

Gödel's second incompleteness theorem (GSIT), informally stated, says: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal ...
1
vote
3answers
515 views

Gödel's ontological proof and the incompleteness theorem

In Gödel's ontological proof, he concludes: "necessarily, God exists" (Theorem 4) Does Gödel's second incompleteness theorem apply to this proof?
4
votes
1answer
121 views

Does the finitary proof of the consistency of relevant PA shows that first order PA is irrelevant?

Relevance logic takes a closer look at the implication operation in first-order logic. It suggests that implications such as: p and not p -> q cannot hold; in ordinary English, an example of this ...
2
votes
2answers
174 views

Can we expand the notion of truth in Godels incompleteness theorem?

Godels incompleteness theorem, which really should be called the undecidability theorem given that the paper of Godels which this theorem is taken from is named 'On formally undecidable propositions ...
3
votes
3answers
485 views

What is the connection between provability logic & Gödel's first incompleteness theorem?

Provability logic is a modal logic that interprets the modal operator of K as provability and an additional axiom derived from Löb's theorem. Now the SEP shows that it's possible to derive Gödel's ...
3
votes
1answer
211 views

Is there a finitistic set theory, and if there is, is it provably consistent?

ZFC is the mainstream set theory. It has an axiom of infinity which claims that there is at least one infinite set. Now suppose like Aristotle, we object and say that there are no actually infinites ...
4
votes
1answer
700 views

What is the impact of paraconsistency on Gödel's theorem?

Russell's paradox forced a restriction of the natural abstraction principle (that every predicate determines a set) so that set theory could be consistent; the standard one being ZF. However ...
5
votes
2answers
614 views

Is Gödel's incompleteness theorem still valid if one uses a higher-order logic?

Gödel's incompleteness theorem is wholly formal (in my understanding), and relies on a proof system that I assume is first-order. Does it make any difference to the theorem if higher-order logic is ...