Skip to content
  • About

XOR’s Hammer

Some things in mathematical logic that I find interesting

Category: Proof Theory

Written by mkoconnorAugust 13, 2008August 23, 2008

Kreisel’s No-Counterexample Interpretation: How can we turn proofs in elementary number theory into programs?

For every true number-theoretic statement of the form “For all n there is an m such that P(n, m)” there is a witnessing function f such that for all n, P(n, f(n)) is true. For example, a witnessing function for the statement “For all n there is an m such that m > n and […]

Blog at WordPress.com.
  • Follow Following
    • XOR's Hammer
    • Join 91 other followers
    • Already have a WordPress.com account? Log in now.
    • XOR's Hammer
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar