Referaat loogikust Kurt Gödel
Mathematical Logic". Oma teise teksti avaldas ta aastal 1947, pealkirjaks ,,What is
Cantor's Continuum Hypothesis?". 1949. aastal avaldas ta oma kolmanda teksti,
mille pealkirjaks sai ,,A Remark on the Relationship between Relativity Theory and
Idealistic Philosophy". Gödeli filosoofilised tekstid ei piirdunud vaid kolmega, lisaks
neile kolmele avaldas ta veel palju teisi ning isegi andis loengu 1941. aastal Yale'i
Ülikoolis, teemal ,,In What Sense is Intuitionistic Logic Constructive?".
Gödeli täielikkuse teoreem ja mittetäielikkuse teoreemid.
Gödeli teoreem on formaalse aritmeetika mittetäielikkuses. Gödel väitis, et igas
formaalses aritmeetikas leidub tõene lause, mis ei ole antud formaalses
aritmeetikas tõestatav.
Täielikkuse teoreem;
http://cs.ttu.ee/kursused/itv0010/various/lrttyld.html : ,,1930. aastal tõestas Gödel, et
loogika baaskeel, Fregest lähtuv ja Russelli, Whiteheadi, Hilberti, Tarski, Gentzeni
annaabi.ee 
