Home UK English proof-theoretically

Meaning of proof-theoretically in English:

proof-theoretically

adverb

Mathematics

  • With regard to proof theory; by means of proof theory.

Origin

1950s; earliest use found in Stephen Kleene (b. 1909).