XX wiek - Maszyna Turinga

Alan Turing (1912 - 1954)

Postać Alana Turinga bardzo znacząco przyczyniła się do powstania komputerów. Ten angielski matematyk i kryptolog stworzył w 1936r. abstrakcyjną maszynę, która była w stanie wykonywać zaprogramowaną matematyczną operację czyli tzw. algorytm. Maszyna mogła wykonać jednak tylko jeden, określony algorytm, na przykład mogła podnieść liczbę do kwadratu, podzielić, dodać, odjąć. W swojej pracy Turing opisał wiele takich maszyn,  które uzyskały wspólne miano Maszyn Turinga. Następnie opracował tak zwaną uniwersalną maszynę Turinga, która w zależności od instrukcji zapisanej na taśmie, miała wykonywać dowolną operację. Udowodnił, że nie istnieje algorytm pozwalający odpowiedzieć na pytanie dotyczące nierozstrzygalności każdego innego twierdzenia, a zatem nawet uniwersalna maszyna Turinga nie była w stanie zidentyfikować wszystkich nierozstrzygalnych stwierdzeń.

W informatyce "automat Turinga" jest teoretycznym modelem komputera.

model maszyny Turinga