Kurt Gödel itu apa sih?

Kurt Friedrich Gödel (; ; ) adalah seorang ahli matematika, logika dan filsuf asal Austria, yang kemudian beralih menjadi warganegara Amerika Serikat. Bersama dengan Aristoteles dan Gottlob Frege, ia dianggap sebagai tokoh logika paling penting dalam sejarah, di mana Gödel memberikan dampak luar biasa pada pemikiran ilmiah dan filsafat pada abad ke-20, ketika tokoh lain seperti Bertrand Russell,<ref name="Stanford&Son">For instance, in their [http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica] (Stanford Encyclopedia of Philosophy edition).</ref> A. N. Whitehead, dan David Hilbert mempelopori penggunaan logika dan teori himpunan untuk memahami dasar-dasar matematika.

Gödel mempublikasikan kedua teorema ketidaklengkapan hasil pemikirannya pada tahun 1931 ketika ia berusia 25 tahun, setahun setelah meraih gelar doktor pada University of Vienna.