Category Archives: Logiikka

Matematiikan historiassa 6. tammikuuta

Vuonna 1900 tammikuun 6. päivänä Gottlob Frege kirjoitti Hilbertille: “Oletetaan tiedetyksi, että väitteet (1) A on älykäs olento, (2) A on kaikkialla oleva, (3) A on kaikkivoipa , yhdessä kaikkinen seurauksineen eivät ole ristiriidassa keskenään. Voimmeko tästä päätellä että on … Continue reading

Posted in Frege, Henkilöitä, Historiaa, Logiikka, Russel | 1 Comment

Matematiikan historiassa tänään 2. marraskuuta

1815 marraskuun 2. päivänä syntyi englantilainen matemaatikko George Boole Lincolnshiren Lincolnissa (kuoli 8. joulukuuta 1864 Ballintemplessä Corkin kreivikunnassa, Irlannissa). Boole kehitti tavan esittää modernia symbolista logiikkaa ja logiikan algebraa, jota nykyisin kutsutaan Boolen algebraksi. Se on kaiken nykyaikaisen tietokonearitmetiikan perusta. … Continue reading

Posted in Henkilöitä, Historiaa, Logiikka | 1 Comment