[FOM] the continuing thread

[Martin Davis]

I have neither an opinion about nor the least 
understanding of Voevodsky's technical work. But 
referring to that work in the context of the 
silly notion that Gödel's work casts serious 
doubt on the consistency of PA does not make this 
silly idea less silly.  The posts of Vaughan 
Pratt, Joe Shipman, and Harvey Friedman make this very clear.

Martin

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