kurt goedel

• (1906-1978) czech mathematician and logician