"seisunditevahelised" - 1 õppematerjal

Sissejuhatus vaimufilosoofiasse

idealiseeritud digitaalset arvutit (Turingi masinat), mille toimimist saab täielikult kirjeldada tema programmi (masina tabel) kaudu, mis koosneb instruktsioonidest järgmisel kujul (eeldusel, et seisundite, sisendite ja väljundite hulk on lõplik): Kui masin on seisundis Si ning tema sisendiks on Ij, siis läheb ta seisundisse Sk ning tekitab väljundi On. Turingi masin on deterministlik. Putnam kirjeldab Tõenäosuslikku automaati, mille seisunditevahelised üleminekud on tõenäosuslikud. Kui masin on seisundis Si ning tema sisendiks on Ij, siis läheb ta tõenäosusega p1 seisundisse Sk ning tekitab tõenäosusega p1 väljundi On. Coca-Cola masin: Cn on seisund, et saadaval on n coca-cola pudelit. En on seisund, et vajalik summa on makstud/ei ole makstud. Näiteks kui masin on seisundis C2E0 ning saab sisendiks 1€, siis läheb ta seisundisse C2E1 (“leidub kaks coca-cola pudelit ning makstud on 1€”). Seejärel väljastab ta coca-