Harvey Friedman asks:
<<By the way, did the T(min) people ever notice that it generates Peano
Arithmetic?>>
Yes. See my ancient paper referenced in a recent posting.
Martin
Martin Davis
Visiting Scholar UC Berkeley
Professor Emeritus, NYU
martin at eipye.com
(Add 1 and get 0)
http://www.eipye.com