400
Østrigsk logiker og matematiker kendt for sine to ufuldstændighedssætninger:
I ethvert modsigelsesfrit matematisk system, der kan regne med hele tal, findes der sande matematiske sætninger, der ikke kan bevises.
I ethvert modsigelsesfrit bevissystem, der kan regne med hele tal, er det med systemets egne metoder umuligt at bevise, at systemet er modsigelsesfrit.
Hvem var Kurt Gödel?