Lego i maszyna Turinga

Rozmyślając o posthumanizmie nie można pominąc jednego z kluczowych dla tych rozważań tekstów, „On Computable Numbers, with an Application to the Entscheidungsproblem” Alana Turinga z 1936 r. W artykule tym Turing zdefiniował komputer – maszynę uniwersalną, zdolną na podstawie dostarczonego oprogramowania odwtorzyć każdą inną maszynę. Przy okazji Turing wykazał fundamentalne ograniczenia maszyny uniwesralnej, pozostawiając pytanie: czy świat jest maszyną uniwersalną z wykazanymi przez Turinga ogranieczeniami, czy też jest zupełnie inną konstrukcją? Doskonałym przewodnikiem po tekście Turinga jest książka „The Annotated Turing. A Guided Tour through Alan Turing’s Historic Paper on Computability and the Turing Machine” Charlesa Petzolda. Petzold czyta artykuł Turinga paragraf po paragrafie tłumacząc w „ludzkim” języku, o co chodziło byrtyjskiemu matematykowi, jednocześnie nakreśla historyczny kontekst. W istocie więc książka Petzolda to przewodnik po świecie matematyki od przełomowych prac Georga Cantora nad teorią zbiorów i nieskończością. Z kolei filmik, jakim zaczynam wpis pokazuje w kapitalny sposób można zrealizować maszynę Turinga wykorzystując do tego zestaw Lego Mindstorms. Mindstorms to najgenianiejsza, po drewnianych klockach, zabawka. Kupiłem sobie, to znaczy synowi pod choinkę. Co najmniej kilka zestawów powinna mieć każda szkoła.