"goedel" - 1 õppematerjal

Referaat loogikust Kurt Gödel

väidab: A pole tõestatav. Tõepoolest, kui A oleks tõestatav, siis oleks A sisu ("A ei ole tõestatav") vale, see on aga, nagu näidatud, võimatu. Kokkuvõtteks, A on õige, aga ei A ega A eitus pole tõestatavad." Kokkuvõte Oma elu jooksul andis Kurt Gödel loogikale väga palju tagasi. Ta töötas välja ja avalikustas mittetäiuslikkuse teoreemid, hulga artikkleid nind muud huvitavat. Kasutatud allikad: http://plato.stanford.edu/entries/goedel/ http://et.wikipedia.org/wiki/G%C3%B6deli_mittet%C3%A4ielikkuse_teoreem http://et.wikipedia.org/wiki/Kurt_G%C3%B6del http://et.wikipedia.org/wiki/Viini_ring http://cs.ttu.ee/kursused/itv0010/various/lrttyld.html http://et.wikipedia.org/wiki/S%C3%BCmbolloogika http://et.wikipedia.org/wiki/Traditsiooniline_loogika http://et.wikipedia.org/wiki/Formaalne_loogika http://et.wikipedia.org/wiki/Loogika