K
urt Godel sinh ngày 28 tháng 4 năm 1906 tại Tiệp Khắc (nay là cộng hòa Séc). Ông sang Mỹ năm 1940, và trở thành công dân Mỹ năm 1948. Từ năm 1953, ông là giáo sư toán của Đại học Princeton.
Ngoài “Định lý bất toàn”, công bố năm 1931 khi mới 24 tuổi, Godel còn có các công trình quan trọng như: “The Consistency of the Continuum Hypothesis” (1940), “Rotating Universes in General Relativity Theory” (1950).
Theo một nguồn tài liệu, Godel là một người lập dị. Những năm cuối đời, ông rất sợ vi trùng nên luôn lau chùi kỹ bát đĩa khi ăn uống và đi đâu cũng đeo mặt nạ. Ông mất năm 1978 vì không chịu ăn gì cả (chắc do việc sợ có vi trùng!), thọ 72 tuổi.
Có thể nói, Kurt Gödel là nhà toán học và logic học nổi tiếng người Áo, được tờ tạp chí danh tiếng Times bình chọn là nhà toán học lớn nhất thế kỷ XX.
Ông là tác giả của một định lý nổi tiếng trong toán học: “Định lý bất toàn”, một định lý được giới khoa học so sánh với thuyết tương đối của Einstein và nguyên lý bất định của Heisenberg. Định lý này khẳng định, bất kỳ một hệ tiên đề hình thức độc lập nào đủ mạnh để miêu tả số học cũng hàm chứa những mệnh đề không thể khẳng định mà cũng không thể phủ định.
Được chứng minh vào năm 1930 và công bố một năm sau đó, định lý này đã đập tan niềm tin tuyệt đối của các nhà toán học vào sức mạnh của các công cụ hình thức vốn được David Hilbert và các cộng sự công bố nhằm loại bỏ những mâu thuẫn và nghịch lý ra khỏi toán học.