[FOM] "not predicatively provable"
steve newberry
stevnewb at ix.netcom.com
Mon Jun 9 16:51:52 EDT 2003
Dear Professor Friedman,
In your "G"odel Lecture Unedited" (June 28, 2002), you use the phrase,
"not predicatively provable". I am very interested in the subject of
predicativity, and would be most appreciative if you would be so kind
as to inform me as to where I might find the simplest definition of
that phrase as you employ it.
Please advise,
Cordially,
Steve
More information about the FOM
mailing list