"bcmbolloogika" - 1 õppematerjal

Referaat loogikust Kurt Gödel

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