MATH
Login Or Sign up

List Question

15
214
Views

Proving fundamental theorem of arithmetic using primitive recursive functions

Published on
#logic #incompleteness
258
Views

Why Godel's theorem influences Hilbert's programme?

Published on
#logic #incompleteness
277
Views

Reference textbook for Godel's incompleteness theorems proved in PRA or PA metatheory

Published on
#logic #reference-request #incompleteness
45
Views

Can the Incompleteness Theorems be proven in the context of other logics, for example with Paraconsistent Logic?

Published on
#logic #incompleteness
280
Views

Gödel's incompleteness 1: construction of the formula relating Gödel number of proof to Gödel number of proven statement

Published on
#logic #first-order-logic #incompleteness
2.8k
Views

Why can't we prove consistency of ZFC like we can for PA?

Published on
#logic #set-theory #model-theory #incompleteness
198
Views

Why is $\forall x (x = x)$ an example of a first order sentence that is neither provable nor disprovable?

Published on
#first-order-logic #incompleteness
114
Views

Recursion Theory/Incompleteness Theorems: Computability of sets of formulas in first order logic

Published on
#logic #first-order-logic #computability #incompleteness #decidability
1.2k
Views

Gödel's completeness theorem and the undecidability of first-order logic

Published on
#logic #first-order-logic #computability #incompleteness #decidability
943
Views

How can a formal system ever be non-obviously unsound?

Published on
#logic #model-theory #incompleteness
2.5k
Views

Example of incomplete, but decidable theory, and of complete and undecidable theory, question

Published on
#logic #first-order-logic #computability #incompleteness #decidability
77
Views

Is every theory meeting Gödels incompleteness, also incomplete below its consistency level?

Published on
#first-order-logic #incompleteness
136
Views

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

Published on
#foundations #proof-theory #incompleteness #meta-math #provability
231
Views

An alternative formulation (or corollary) of Tarski's theorem? [Or just a typo?]

Published on
#logic #proof-theory #incompleteness #meta-math #provability
250
Views

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

Published on
#logic #proof-theory #incompleteness #meta-math #provability

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.