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
2
votes
2answers
181 views

Some doubts on Incompleteness Theorems

An important point to note about first incompleteness theorem is that while a certain formula is "true" but unprovable, it is "true" on the basis of my understanding (intended ...
5
votes
3answers
170 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 ...
1
vote
2answers
288 views

Question on Godel's Remark on Algorithmic Nature of Mind

Gödel claimed that what the Theorems do entail (specifically, the Second Theorem) is that mathematics is inexhaustible: It is this theorem [i.e., the Second Theorem] which makes the incompletability ...
1
vote
4answers
174 views

Is logic about a priori mind?

What is logic? One can imagine Turing, Godel or Post writing a paper on logic. What provides the "validity" to the content they write? One proper answer to this question is the a priori &...
3
votes
2answers
231 views

Does Godel's second incompleteness theorem mean it's impossible to know whether a proven statement cannot also be disproven?

I am trying to understand Godel's Second Incompleteness Theorem which says that any formal system cannot prove itself consistent. In math, we have axiomatic systems like ZFC, which could ultimately ...
84
votes
11answers
14k 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 ...
1
vote
1answer
67 views

Is there a weaker/general version of Incompleteness Theorem which holds for every formal axiomatic system?

Is there a general version of Godel's Incompleteness Theorem which holds for any formal axiomatic system (and not just those capable of modelling basic arithmetic)? If no, is it absurd to ask why such ...
46
votes
4answers
13k 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 ...
0
votes
0answers
58 views

Does Gödel believe in the existence of his rotating universe?

I am wondering whether Gödel believe ain the existence of his rotating universe since he is a mathematical Platonist. I am also wondering in what entities believe mathematical platonists. For example: ...
13
votes
6answers
3k 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, ...
10
votes
4answers
2k 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. ...
0
votes
2answers
166 views

Why is Turing claiming that a complete and computable axiomatization of arithmetic would imply the decidability of first-order logic?

So I'm reading the famous paper of Turing "On Computable Numbers, with an Application to the Entscheidungsproblem". At the beginning of his proof of the undecidability of first-order logic (FOL), he ...
0
votes
2answers
174 views

Non-consistent mathematical axioms

It is known that axioms are the building blocks of mathematics. Differents sets of axioms different "games". What I don't understand is how do we know that we pick axioms that are consistent? . Does ...
0
votes
4answers
322 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. ...
7
votes
6answers
1k views

What's the big deal with Gödel's second incompleteness theorem?

Edit: My question is specifically about Gödel's second incompleteness theorem. I get the significance of his first incompleteness theorem, which is of course completely amazing. According to the ...
2
votes
1answer
284 views

Why does Gödel's incompleteness theorem apply to multiple formal systems?

Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor ...
3
votes
2answers
181 views

In non-platonism, can undecidable statements have truth value?

Most sources I can find about Gödel's incompleteness theorems summarize the result as "there exist true arithmetical statements that have no proof." It seems coherent to say that there exist ...
2
votes
3answers
153 views

Before Gödel, was undecidability of axiomatic systems an issue at all?

Before Gödel, was the issue raised that there may be undecidable statements within axiomatic systems of thought? Gödel managed to answer affirmatively by proving that the assumption of the ...
1
vote
3answers
372 views

Was Gödel the first person to bring up that truth always exceeds the grasp of proof?

Was Gödel the first person to pose and solve this question in mathematics? In the larger philosophical debate, has this question been posed before? Say by Plato or Aristotle? One could interpret for ...
8
votes
2answers
1k views

What did Gödel mean by "positive property" in his ontological argument?

In his ontological proof, Gödel states (Axiom 1) If a property is positive, then its negation is not positive. What does he meant by this term? I have come across authors who replace this notion ...
4
votes
2answers
554 views

How to show (in a hand waving manner) that the Godel sentence is true

I have been reading Graham Priest's The Logic of Paradox, and there is a section where he tried to show that our informal proof argument (in Priest's terminology, naive proof procedure) is more ...
3
votes
1answer
153 views

What evidence is there that Gödel believed the mind to be non-physical?

On the Stanford Encyclopedia of Philosophy's article on Platonism in Metaphysics, the author writes that "Gödel's version of this view — and he seems to be alone in this — involves the idea that the ...
3
votes
3answers
2k views

Relation of Gödel's incompleteness theorems and Karl Popper falsification

Falsifiability is considered a positive (and often essential) quality of a hypothesis because it means that the hypothesis is testable by empirical experiment and thus conforms to the standards of ...
0
votes
1answer
70 views

SELF-REFERENCE AND THE LANGUAGES OF ARITHMETIC

Hello can someone explain me exacty how in this fragment of the paper (SELF-REFERENCE AND THE LANGUAGES OF ARITHMETIC, RICHARDG.HECK,JR.): (9) Tr(x) ≡∃y(rhs(x,y)∧¬Tr(y)), where rhs(x,y) is a formula ...
2
votes
1answer
194 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, ...
1
vote
0answers
65 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
315 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 ...
0
votes
1answer
103 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 ...
7
votes
2answers
673 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 ...
0
votes
1answer
176 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/...
2
votes
1answer
164 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
1k 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
235 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 ...
6
votes
5answers
2k 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 ...
4
votes
2answers
164 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 ...
5
votes
3answers
2k 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 ...
11
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 (...
6
votes
3answers
2k 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 ...
10
votes
6answers
3k 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
283 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
122 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....
6
votes
1answer
266 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, ...
8
votes
1answer
2k 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 ...
31
votes
4answers
14k 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 ...
9
votes
1answer
371 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 ...
8
votes
2answers
502 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 ...
18
votes
3answers
763 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 ...
13
votes
1answer
951 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, ...
3
votes
1answer
186 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
1answer
566 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 ...