Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now

# 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".

64 questions
Filter by
Sorted by
Tagged with
2k views

### Gödel's theorem and God

I have seen it argued that Gödel's Incompleteness Theorems have implications regarding the existence of God. Arguments for the existence of God run mostly along the lines: "Because of Gödel's Theorem, ...
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, ...
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 ...
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 ...
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 ...
322 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 ...
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/...
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 ...
719 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. ...
215 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 ...
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 ...
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 ...
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 ...
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 (...
831 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 ...
11k views

### Is Kurt Gödel's Incompleteness Theorem a “cheap trick”?

I found a throw-away critique of Kurt Gödel's Incompleteness Theorem in an essay about Deconstruction: The basic enterprise of contemporary literary criticism is actually quite simple. It is based on ...
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, ...
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-...
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....
230 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, ...
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 ...
12k views

### What are the philosophical implications of Gödel's First Incompleteness Theorem?

Gödel's First Incompleteness Theorem states Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any ...
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 ...
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 ...
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 ...
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. ...
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, ...
157 views

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?
503 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 ...
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 ...
266 views

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 ...
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 ...
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 ...
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 ...
10k views

### Did Russell understand Gödel's incompleteness theorems?

Russell was active in philosophy (although no longer in math) for many years after the Gödel's 1931 publication. Gödel's paper were not obscure, and Russell would have been aware of their effect on ...
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. ...
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 ...
3k views

### How is Gödel's incompleteness theorem interpreted in intuitionistic logic?

Classically, one sets up an axiomatic system with a formal deduction system & an interpretation in a model. Generally it is sound, that is: a formally deduced theorem is also true when interpreted ...
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?
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?
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
203 views

### Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves T(Godel numeric number of A) iff A

I am new to logic but I believe this is not a difficult problem, yet I am still soo confused, and the reason for that is because there are so many gaps in my knowledge or maybe I have overlooked so ...