[FOM] Provability of Consistency

Mikhail Katz katzmik at macs.biu.ac.il
Mon Apr 1 11:59:30 EDT 2019

Artemov's theorem is a fascinating challenge to Goedel's
interpretation of Hilbert's consistency program.  On the other hand,
Artemov's article appears to adopt Goedel's philosophical hypothesis
concerning the existence of a so-called standard model of the natural
numbers.  Is this really necessary for the argument of Artemov's paper
or could one just as well have expressed it in terms of any fixed
reference model, eschewing Goedel's philosophical assumptions?

Mikhail Katz

More information about the FOM mailing list