Programmeerimiskeel
TTT TTT VT TT T
TVV TTV TV TVV
VVT VTT VTT
VVV VVV VTV
Kaasaegse loogika alus: Gottlob Frege
1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse predikaatarvutuse
Näide: Isa(Jaan,Mihkel), Isa(Jaan,Ants), Isa(Ants,Peeter).
Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z).
Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u).
Frege filosoofina: logitsist
Hollerith’i perfokaardid
1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks
Hollerith’i firmast tekkis IBM.
Vaakumtorud- 1900: vaakumdiood, Lee de Forest: 1906: vaakumtriood.
Hulgateooria: Georg Cantor
Elas 1845-1918. Hulgateooria rajaja. Paradokside avastamine matemaatikas. Matemaatika alused
korraga ebakindlad.
Russell & Whitehead
1910-1913: massiivne loogikatraktaat. Principia Mathematica: Paradoksid -> tüüpide teeoria.
annaabi.ee 
