Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Kreisel Conjecture

    Definition

    The Kreisel conjecture is a conjecture in proof theory that postulates that, if ϕ(x) is a formula in the language of arithmetic for which there exists a nonnegative integer k such that, for every nonnegative integer n, Peano arithmetic proves ϕ(n) in at most k steps, then Peano arithmetic proves its universal closure, for all x ϕ(x). A special case of the conjecture was proven true by M. Baaz in 1988.

    Related term

    decidable

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.