Questions about Gödel's incompleteness theorems and related topics.

learn more… | top users | synonyms

-3
votes
1answer
97 views

Does Gödel’s theorem affect anything but the arithmetic of the natural numbers? [closed]

Влияют ли теоремы Гёделя на что-нибудь кроме арифметики натуральных чисел? Существуют ли интересные независимые от ZFC утверждения ,которые рождены теоремами Гёделя о неполноте, и которые ...
0
votes
0answers
22 views

Why is it impossible to prove absolute consistency of a theory falling prey to Godel's theorems?

Why is it impossible to prove absolute consistency of a theory T falling prey to Godel's theorems? I understand that a theory falling prey to Godel's second incompleteness theorem cannot prove its own ...
3
votes
1answer
84 views

Why can't we keep adding axioms forever?

Let F be a formal system falling prey to Gödel's incompleteness theorems, implyng there is a true but unprovable statement, call it $G_1$. Of course, adding $G_1$ to the axioms of F doesn't solve the ...
0
votes
0answers
17 views

Can there be true but unprovable statements about object other than numbers?

In ZFC, everything is a pure set, and because the necessary amount of arithmetic for the Gödel's incompleteness theorems to go through is interpretable within ZFC, there are undecidable statements ...
0
votes
2answers
49 views

Impossibility of proving a foundation to be consistent

An argument came to my mind that seems really mind-blowing and I haven't found it anywhere. Here's how it goes: We call a formal system F embodied in classical logic a foundation of mathematics when ...
1
vote
0answers
27 views

Can we prove undefinability theorem first (using techniques that are different from Godel's) and then deduce Incompleteness from it?

I asked a related question about the matter here in philosophy platform where it was suggested to ask a modified version of the question on Math.se My question is, Is there any known way to prove ...
0
votes
1answer
34 views

Any foundational theory of math falls prey to the incompleteness theorems - true or false?

I heard somewhere on the internet once something along the following lines: Any conceivable foundational theory of mathematics (be it ZFC or, if ZFC was found to be inconsistent, some modification ...
3
votes
1answer
56 views

What is the simplest formal system falling prey to Gödel's incompleteness theorems?

What is the the simplest formal system falling prey to Gödel's incompleteness theorems? Is the answer different for the first and second theorems? Is the answer Q for the first theorem and PRA for ...
0
votes
0answers
13 views

Exercise Henkin Theory

I'm doing some excercises from the book "The Incompleteness Phenomenom" from Goldstern and Judah. I have to do this excercise: Assume that Γ is a theory satisfying the following: Γ is a Henkin ...
0
votes
0answers
15 views

Same number of provable as unprovable statements?

Building on this question: Infinitely many nonequivalent unprovable statements in ZFC because of Gödel's incompleteness theorem? is the infinity of provable statements the same infinity of ...
2
votes
1answer
35 views

First Incompleteness Theorem: Does the limit of $\mathsf{T}_n\cup\{\rho_{\mathsf{T}_n}\}$ exist?

Suppose $\mathsf{T}$ is a consistent, computably axiomatizable theory extending $\mathsf{Q}$, Robinson arithmetic. Then by the First Incompleteness theorem there is a sentence $\rho_\mathsf{T}$ such ...
62
votes
7answers
5k views

Is linear algebra more “fully understood” than other maths disciplines?

In a recent question, it was discussed how LA is a foundation to other branches of mathematics, be they pure or applied. One answer argued that linear problems are fully understood, and hence a ...
2
votes
2answers
62 views

Help understanding Gödel's theorems?

What are the prerequisites to even begin to understand Gödel's theorems? I'm reading Hofstadter's book but would like a more fundamental approach to understanding these theorems. I have no knowledge ...
3
votes
1answer
74 views

Godel's proof for dummies [closed]

Can someone give me as simple-a-proof as possible for Godel's Incompleteness Theorem? I'd love to understand it more.
2
votes
1answer
183 views

Informal proof of Godel's second incompleteness theorem

This relates to two previous threads: Question about Godel's first incompleteness theorem and the theory within which it is proved Explanation of proof of Gödel's Second Incompleteness ...
0
votes
0answers
40 views

Does Gödel sentence depend on numbering?

If we change Gödel's numbering definition of the $Prov$ predicate will change as well, but the meaning won't. How is that going to affect $G$? It seems to me like it will change as it is actually ...
3
votes
1answer
60 views

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

Gödel's second incompleteness applies, for instance, to r.e. extensions of PA. I am wondering if it applies more generally to arithmetically definable extensions of PA. I see that there is a complete ...
1
vote
3answers
65 views

Gödel's Incompleteness Theorem and Numerical Analysis

I am no expert in Mathematical Logic so I can't really express my question formally but I do hope that it will make sense. As far as I know the implication of Gödel's incompleteness theorem for ...
2
votes
1answer
37 views

Does the existence of uncomputable functions imply that a theory is incomplete?

For example Kolmogorov complexity is uncomputable and Chaitin used that fact to prove incompleteness. If this is not the case, can you give me a counter example? Set of axioms is countable.
2
votes
2answers
62 views

Trying to understand self-reference as it relates to Godel's Second Incompleteness Theorem

As noted in this post, I'm trying to understand how a sufficiently powerful consistent theory $T$ can prove statements about itself without contradicting Godel's Second Incompleteness Theorem. Let ...
0
votes
2answers
68 views

Is it possible to formalize $T \models \sigma$ within the deductive calculus?

I know that the notion of $T \vdash \sigma$ is formalizable within any sufficiently powerful theory $T$ but is $T \models \sigma$ formalizable as well? How is this possible if there are infinitely ...
3
votes
2answers
85 views

What is wrong with this deduction of $\text{ZF} \vdash \text{Cons ZF}$

I realize from the answer to this post that the fallacy in my "proof" of "ZF is inconsistent" was that I was not considering that there are models with non-standard integers. However now I think I ...
1
vote
2answers
53 views

What does this deduction involving provability imply?

I recently asked this question asking why my reasoning for ZF being inconsistent was wrong. I didn't realize that we have to account for models with non-standard integers. However, I'm left with the ...
7
votes
1answer
86 views

What's wrong with this proof of ZF being inconsistent?

I'm studying (independently) mathematical logic and in investigating self-referential statements I developed a result which I don't know how to interpret. I'll use the notation from Enderton's "A ...
0
votes
1answer
100 views

Analogy between a Gödelian puzzle and Gödel's first incompleteness theorem

I'm studying Gödel's incompleteness theorems. And I have the following slide that defines a version of Gödel's first incompleteness theorem. The point is that one can always follow the math and get ...
0
votes
2answers
72 views

How can Godel's theorem apply to every formal system?

How can Godel's theorem apply to any formal system of logic, if the truth of the theorem itself is only relative to the axioms and rule of inference that were used to generate it. In other words ...
1
vote
2answers
80 views

How does Gödel's second incompleteness apply to any theory containing arithmetic?

If I understand correctly, there are two facts proven by Gödel's second incompleteness theorem, for a formal theory containing arithmetic 1) It is possible to express the consistency of the theory ...
1
vote
1answer
38 views

Expanding arithmetic to a complete theory by a transfinite sequence of expansions.

We all know that Godel first incompleteness theorem states that any recursive sufficiently strong theory to express arithmetic is incomplete. in particular, arithmetic is not complete. It's common ...
0
votes
1answer
53 views

Gödel's Incompleteness theorem in modal logic

I think I once taught that the statement of the Gödel's Incompleteness theorem is equivalent to : $ \diamond \neg \square \square p $, if p is a complex enough system. Is this right?
2
votes
1answer
50 views

Is there a result for second-order theories analogous to Gödel's second incompleteness theorem?

One formulation of Gödel's second theorem says that, if $T$ is a consistent, axiomatisable extension of $PA$, and then $T$ cannot prove $\neg Prv(\ulcorner 0=1 \urcorner)$, where $Prv(-)$ is a ...
0
votes
0answers
33 views

Arithmoquine function in Gödel's proof

Could someone explain as detailed as possible how the Arithmoquine{a,a'} function works or is the defined in Gödel's proof of the incompleteness theorem? To describe my question better... In this ...
5
votes
2answers
761 views

What does Gödel's Incompleteness Theorem prove?

Does Gödel's incompleteness theorem only prove that you can't have a formal system which describes number theory which is both complete and consistent, or is it more general? In other words: does it ...
0
votes
1answer
32 views

How to show factorial is recursive?

In my textbook Fact : Given recursive $G:\omega^{n}\rightarrow\omega$ and $H:\omega^{2}\times\omega^{n}\rightarrow\omega$ , a function $F:\omega\times\omega^{n}\rightarrow\omega$ defined by ...
1
vote
1answer
54 views

understanding gödel's 1931 paper - number theoritical formulae

I am reading a translation of Gödel's original paper about in completeness theorem and there are a couple things i don't understand. Here is the document i am using primarily : ...
1
vote
0answers
22 views

How to show that F is recursive?

In the road to Godel's incompleteness theorem, Problem saying: Show that Frame For $G:\omega\times\omega\times\omega^{n}\rightarrow\omega$ a recursive function, the function ...
0
votes
1answer
47 views

Can any statement about natural numbers be written in TNT?

I was trying to understand Godel's theorem from here Godel's First Incompleteness theorem. I still do not completely understand the theorem, but have a broad idea about it. As the link mentions ...
1
vote
1answer
31 views

What is the diagonalization of ‘∀x¬Gdl(x,y)'?

Correct me if I am wrong here.‘∀x¬Gdl(x,y)' simply states that There does not exist godel number for a given number y, right? So if we say that there exist a diagonalization of ‘∀x¬Gdl(x,y)', then we ...
6
votes
1answer
97 views

How do inconsistent arithmetics get around Gödel incompleteness?

Gödel theorems imply that arithmetic can not be complete under recursive axiomatization and consistency assumptions. Unexpectedly, consistency can be dropped in a meaningful way by switching to a ...
4
votes
1answer
85 views

Proving that the existence of strongly inaccessible cardinals is independent from ZFC?

ZFC can't prove that strongly inaccessible cardinals exist, or else it would prove that a model of itself exists and hence $Con(ZFC)$. So this leaves us with two options: ZFC proves there are no ...
5
votes
0answers
55 views

Vaught's essentially undecidable set theory

Today I was reading this paper, which includes discussion of essential undecidability of various weak theories. On page 24, I was surprised to find out that Vaught has showed that set theory with the ...
0
votes
1answer
72 views

Concerning the canonical example for Gödel's first incompleteness theorem

Concerning the canonical example for Gödel's first incompleteness theorem: G cannot be proved within the theory T If G were provable under the axioms and rules of inference of T, then T would ...
3
votes
2answers
51 views

Gödel's theorems and nonstandard model of $PA$

According to the Second incompleteness theorem $Con(PA)$ is independent of $PA$. So if $PA$ is consistent $PA + \neg Con(PA)$ is also consistent which means that there exist a number $t$ which codes a ...
0
votes
1answer
90 views

understanding gödel's 1931 paper - elementary formulae

I am trying to understand Gödel's first incompleteness theorem from his original 1931 paper. Here is a translation i am using for my studies : ...
0
votes
1answer
59 views

understanding gödel's 1931 paper - proof of theorem / proposition V 5

I am trying to fully understand gödel's proof of the first incompleteness theorem from it's original 1931 paper. Here is the document I am using : ...
0
votes
0answers
37 views

Standard model of the Meta theory in the proof of arithmetic incompleteness

I have a question about the incompleteness of arithmetic. I wonder in which meta theory we are reasoning. For example, if we are in ZFC, then there are some non standard models of ZFC. As far as I ...
0
votes
0answers
20 views

Completeness of the space $C_{2\pi} \left ( \mathbb{R} \right )$ [duplicate]

Denote $C_{2\pi} \left ( \mathbb{R} \right )$ is the set of complex-value, continuous on $\mathbb{R}$, periodic functions with period $2\pi$. Fix $p \in \left [1, \infty \right )$. For each $x \in ...
3
votes
1answer
143 views

understanding gödel's 1931 paper - the undecidability theorem

I am reading a translation of Gödel's original paper about in completeness theorem and there are a couple things i don't understand. Here is the document i am using primarily : ...
1
vote
1answer
67 views

Infinitely many nonequivalent unprovable statements in ZFC because of Gödel's incompleteness theorem?

Am I right in thinking that there are countably infinitely many nonequivalent unprovable statements in ZFC due to the Gödel's first incompleteness theorem? If not, why?
11
votes
2answers
133 views

Proportion of true statements that are provable

In an axiomatic system, there are true statements, some but not all of which are provable. Is there any sense in which we can quantify the proportion of those statements that are true? Here's an ...
1
vote
3answers
138 views

[Paradox]How can Godel prove that Godel sentence is unprovable but true, if such proof itself proves that Godel sentence is true?

Isn't the proof that Godel sentence is unprovable but true a proof itself that Godel sentence is true? Godel in the preface of his proof remarked: “From the remark that [the unprovable statement] ...