The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.

Published in: Synth. (2003)

Keyphrases

computer programs
natural deduction
practical experience
proof search
automated theorem proving
theorem prover
genetic algorithm
inference rules
consistency checking
computer algebra
data sets
real world
theorem proving
decision procedures
program execution
formal proof