Gödel, Kurt (1906-1978)
