Logiikan ja komputaation historiaa

Esitys aiheesta: "Logiikan ja komputaation historiaa"— Esityksen transkriptio:

1 Logiikan ja komputaation historiaa

2 Helmitaulu n.1000 eKr. Digitaalinen lukujen käsittely ”Vain laskin”
ennen paikkanotaatiota Digitaalinen lukujen käsittely ”Vain laskin” yhteenlasku, vähennyslasku, kertolasku, jakolasku digitaalinen  elektroninen

3 Antiikin kreikka Aristoteleen syllogismit Stoalaisten lauselogiikka
Muodollisen pätevyyden idea Tiedon ”formaali koodaaminen”

4 Keskiaika (i) Skolastiikka: Raamatun ja Aristoteleen teosten looginen analyysi tarkat loogiset erottelut

5 Keskiaika (ii) Arabialaiset numeraalit algoritmin idea
paikkanotaatio algoritmin idea Komputationaalinen  automaattinen

6 Leibniz Matemaattisten laskentamenetelmien kehittäminen
Differentiaali ja integraalilaskenta Calculus ratiocinator Characteristica universalia Kaiken ”inhimillisen tiedon” formalisoinnin ideaali

7 Boole Frege Algebrallinen logiikka ”Ajattelun lait” Begriffschrift
Boole ei tiennyt Leibnizista ”Ajattelun lait” Frege Begriffschrift 1.kl.predikaattilogiikka riittävän ilmaisuvoimainen kaavakieli todellisen matemaattisen päättelyn esittämiseen

8 Babbage & Lovelace Difference engine & analytical engine
tekninen kehitys Yleiskäyttöisen komputationaalisen automaatin idea ohjelman idea

9 Teollinen vallankumous
Jacquardin kangaspuut Yhdysvaltain väestönlaskennan tiedonkeruun automatisointi Remington arms company International Business Machines… II Maailmansota: elektroniikan kehittyminen salakirjoituksen purku

10 Turing Komputationaalisen menetelmän matemaattinen analyysi
”mekaaninen laskenta” Turing kone Universaalin komputationaalisen menetelmän idea universaali ”Turing kone”