GÖDEL, Kurt (1906-1978), logician și matematician american de origine austriacă. Autorul teoremelor despre incompletitudinea sistemelor formale, care evidențiază imposibilitatea formalizării totale a gândirii omenești și despre imposibilitatea demonstrării necontradicției unui sistem formal prin mijloacele sistemului însuși („Aritmetizarea sintaxei”).