"matematilise" - 1 õppematerjal

Loogika konspekt 1-5

predikaat. Süllogismid. Modaalsed väited. Stoikud: Zenon Kitionist (333-264) ja eriti Chrysippos (279-206). Lausearvutuse elemendid. Keskajal Boethius (480-525). Aristoteles ladina keelde. Skolastikud panevad aluse ka analüütilisele filosoofiale. Raimon Lull (1235-1315) Võtab kasutusele sümbolid. G. W. Leibnitz (1646-1716). Idee ­ luua universaalne sümbolkeel, mida võib kontrolloda ka masinaga. Tegi palju matematilise loogika jaoks, kuid ei avaldanud. G. Boole (1815-64) Lausearvutus. Seda arendas A. de Morgan. (1806-1871). Gottlob Frege (1848-1925) Esimest järku predikaatarvutus. Georg Cantor (1845-1918). Hulgateooria ja paradoksid. Bertrand Russell (1872-1970). Paradoksid, tüüpide teooria Alfred Tarski (1902-1983). Objektkeel ja metakeel. Kurt Gödel (1906-1978). Mittetäielikkuse teoreem. Alan Turing (1912-1954). Universaalne programmeeritav arvuti.