[FOM] Consistency of first-order logic

Martin Davis martin at eipye.com
Sun May 1 17:09:18 EDT 2011

One of our FOM editors has pointed out that when Chow and Eskew each 
refer to "a Turing machine that halts if and only if something is 
consistent" they surely mean one that halts if and only if that 
something is *inconsistent*.

Martin Davis
Professor Emeritus, Courant-NYU
Visiting Scholar, UC Berkeley
eipye + 1 = 0

More information about the FOM mailing list