No subject

Juliette Kennedy jkennedy at cc.helsinki.fi
Tue Oct 12 03:19:29 EDT 1999



Does anyone happen to know what system Hilbert proved the consistency of?
Aside from the geometry in 1899 which gave a relative consistency proof,
the result I have in mind was the first consistency result of Hilbert or
possibly one of his students during the, I think, 1920's.

Thanks,
Juliette Kennedy
Helsinki






More information about the FOM mailing list