[FOM] Historical query (on the very idea of a formalized theory)

Peter Smith ps218 at cam.ac.uk
Tue Nov 30 18:10:02 EST 2004

Church in his Intro. to Math. Logic (pp. 50 - 51) very clearly spells it 
out that, for a properly defined "logistic system", the definition of a wff 
has to be effective, the specification of the axioms has to be effective, 
and it has to be effective what counts as a proof by the rules of 

I was wondering: at what point between did people become explicit and clear 
about this sort of effectiveness requirement on a properly formalized 

Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
(for the "LaTeX for Logicians" page) 

More information about the FOM mailing list