Alan Turing

Maszyna Turinga i podstawy informatyki

Turing opisał, jak wyglądałby „idealny” krok po kroku proces liczenia — dziś to fundament komputerów. Łączył logikę z zagadkami szyfrowania, pokazując, że matematyka to też myślenie: co wynika z założeń, a co można udowodnić.

Podczas II wojny światowej Turing pracował nad łamaniem szyfrów Enigmy. Jego maszyna Turinga to model tego, co dziś robi każdy procesor — wykonuje listę instrukcji krok po kroku.

Jeśli liczba jest nieparzysta, dodaj 1. Jeśli jest parzysta, podziel ją przez 2. Powtarzaj do 1.

Dokąd prowadzi prosty algorytm rozpoczęty od 5? 5 → 6 → 3 → 4 → 2 → 1. 5 jest nieparzyste, więc otrzymujemy 6. 6 / 2 = 3, potem 3 + 1 = 4. 4 / 2 = 2 i 2 / 2 = 1. Odpowiedź: Po pięciu krokach algorytm dochodzi do 1.

Algorytm musi dokładnie opisywać warunek, działanie i moment zakończenia.