Maszyna Turinga
Maszyna Turinga
– maszyna logiczna realizująca algorytm, pierwowzór komputera, ściśle zdeterminowana.
Pierwsze wyraźne postawienie problemu: czy komputery potrafią myśleć? Odpowiedź – tak
paralelizm funkcjonalny, obliczeniowość, modelowanie
Test Turinga
(Umysł niezdeterminowany na poziomie kwantowym?)
Cantor – istnieją zbiory nieprzeliczalne (nie można wyliczyć elementów po kolei po ich uporządkowaniu), zbiór liczb niewymiernych jest nieprzeliczalny.
Dowód przekątniowy: mamy ciągi liczb uporządkowane rosnąco, w których następny wyraz jest większy. Zawsze można stworzyć liczbę, która nie ma dotąd żadnej interpretacji, przez dodanie do każdego wyrazu jedynki. Przynajmniej na jednym miejscu różni się od innych. W nieskończoność można konstruować nowe liczby.
Turing – kontynuacja Cantora: istnieją liczby nieobliczalne – takie, do których nie prowadzi żaden algorytm.
Czy dla każdej liczby niewymiernej istnieje maszyna Turinga, która ją generuje? Nie – istnieją liczby nieobliczalne. Różnią się na n-tym miejscu od liczby z n-ej maszyny.
Dowód na siłę redukcjonizmu.
Maszyna Turinga
Dwuwymiarowa maszyna Turinga – Układ ściśle zdeterminowany przez reguły operacyjne. Samoorganizujące się zbiory elementów, pewne struktury stabilne, odtwarzające się na nowym miejscu.
Gavagai.pl