MATH
Login Or Sign up

List Question

15
2.8k
Views

True but unprovable?

Published on
#logic #soft-question #incompleteness #provability
385
Views

How can Goodstein's theorem be expressed in PA

Published on
#proof-theory #incompleteness #peano-axioms #provability
130
Views

Existence(?) of a set whose cardinality cannot be determined in ZFC

Published on
#set-theory #cardinals #provability
523
Views

Theorems of GL in modal logic

Published on
#logic #arithmetic #modal-logic #provability
38.6k
Views

What is a simple example of an unprovable statement?

Published on
#logic #incompleteness #provability
359
Views

Provably total functions?

Published on
#provability
1k
Views

Goldbach's conjecture can't be proved to be undecidable?

Published on
#prime-numbers #philosophy #natural-numbers #provability #goldbachs-conjecture
489
Views

$\omega$-consistent in Gödel I

Published on
#logic #incompleteness #provability
327
Views

is this formula provable in predicate logic? ⊢ (∀x)(∀y)(f(x1) = y1 → ((∀z)g(z) = f(x1) ≡ (∀z)g(z) = y1))

Published on
#logic #predicate-logic #provability
65
Views

Theorem proved only when assumed provable, Löbs theorem

Published on
#first-order-logic #provability
1.7k
Views

Prove the inequality is true

Published on
#inequality #provability
85
Views

To be provable and to be complete is the same?

Published on
#logic #incompleteness #provability
269
Views

Provability and computability

Published on
#computability #provability
29
Views

Reliability and Provability

Published on
#statistics #provability #reliability
131
Views

Faulty argument that all statements are provably undeciable, provable, or unprovable

Published on
#logic #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.