Luca Bellotti (Civilta' e Forme del Sapere, Univ. Pisa)
Sulla dimostrazione di coerenza di Von Neumann

Considereremo la dimostrazione di coerenza (di solito ignorata, e di 
notevole difficolta') per un debole frammento dell'aritmetica (con la 
sola funzione di successore e senza induzione) elaborata da John von 
Neumann nel 1925. Spiegheremo le peculiarita' tecniche del suo metodo 
di prova rispetto alle altre prime dimostrazioni di coerenza nella scuola 
hilbertiana.


Von Neumann's consistency proof
We consider the rather neglected and difficult consistency proof for a 
weak fragment of arithmetic (with the successor function only, and 
without induction) carried out by John von Neumann in 1925. We explain 
the technical peculiarities of his method of proof with respect to the 
other early consistency proofs in the Hilbert School.