MATH
Login Or Sign up

List Question

15
579
Views

Primitive recursive functions of bounded sum

Published on
#logic #first-order-logic #recursion #incompleteness
2.5k
Views

Difference between provability and truth of Goodstein's theorem

Published on
#logic #philosophy #foundations #incompleteness #peano-axioms
1.3k
Views

Decidability and "truth value"

Published on
#logic #first-order-logic #model-theory #philosophy #incompleteness
2.5k
Views

What axioms Gödel is using, if any?

Published on
#logic #axioms #incompleteness
207
Views

A tricky proof of a Diophantine equation is valid?

Published on
#logic #set-theory #diophantine-equations #incompleteness
161
Views

Can all unprovable statements in a given mathematical theory be determined with the addition of a finite number of new axioms?

Published on
#logic #foundations #incompleteness
275
Views

Incompleteness Theorem gives a contradiction?

Published on
#logic #set-theory #incompleteness
145
Views

Is it possible to construct a formal system such that all interesting statements from ZFC can be proven within the system?

Published on
#logic #axioms #philosophy #incompleteness
81
Views

How simple it can be?

Published on
#axioms #incompleteness
772
Views

What is finitistic reasoning?

Published on
#logic #terminology #definition #proof-theory #incompleteness
184
Views

Language of an Axiomatic System in the Incompleteness Theorem

Published on
#logic #examples-counterexamples #axioms #incompleteness #formal-systems
221
Views

A statement in second-order-arithmetic which proves second-order-arithmetic consistency

Published on
#incompleteness #second-order-logic
922
Views

How/why does Gödel's incompletness theorem apply to set theory?

Published on
#set-theory #incompleteness
3.4k
Views

How can we know we're not accidentally talking about non-standard integers?

Published on
#logic #model-theory #proof-theory #turing-machines #incompleteness
148
Views

Write a relatively simple, recursive claim in arithmetic which is equivalent to Tarski's indefinability of truth

Published on
#logic #stopping-times #incompleteness

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.