FOM: Intuitionism (Tait)

Vladimir N.Krupski kru at
Tue Jun 18 11:34:06 EDT 2002

Sorry, there was a misprint in the fixed poin equation from my
previous posting. The definition of a recursive proof predicate
which satisied the Tait's condition should be:
 Prf(n,F) <->
 "n is a Godel number of a (standard) proof of some
 formula G and G is the shortest formula for which
 F = Prf(n,Prf(n, ... Prf(n,G)...))".

Vladimir N. Krupski
Associate Professor
Department of Mathematical Logic and Theory of Algorithms
Moscow State University, Russia.

e-mail: krupski at  (office)
        kru at      (home)

More information about the FOM mailing list