Alan Turing

Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow k. Manchesteru) – brytyjski matematyk, kryptolog, twórca koncepcji maszyny Turinga i jeden z twórców informatyki. Uważany za ojca sztucznej inteligencji.

context: Przebywając w Cambridge Turing napisał swoją prawdopodobnie najważniejszą pracę matematyczną On Computable Numbers With An Application To The Entscheidungsproblem, czyli O liczbach obliczalnych i ich zastosowania do problemu Entscheidungsproblem, której celem było rozwiązanie problemu rozstrzygalności, który został przedstawiony przez Davida Hilberta w 1928. To właśnie w niej wprowadził abstrakcyjną maszynę, która była w stanie wykonywać zaprogramowaną matematyczną operację, czyli algorytm. Maszyna mogła wykonać tylko jeden, określony algorytm, na przykład mogła podnieść liczbę do kwadratu, podzielić, dodać, odjąć. Według Turinga liczby miały być podawane maszynie za pomocą papierowej taśmy podobnej do taśmy z melodią zapisaną dla pianoli. W swojej pracy Turing opisał wiele takich maszyn, które uzyskały wspólne miano maszyn Turinga. Rozszerzeniem tej koncepcji była tak zwana uniwersalna maszyna Turinga, która w zależności od instrukcji zapisanej na taśmie miała wykonywać dowolną operację. Turing sprowadził problem rozstrzygalności do problemu stopu, czyli czy jest możliwość napisania algorytmu, który wskaże czy program się zatrzyma, czy może będzie działał w nieskończoność. Turing dowiódł, że taki algorytm nie istnieje. Zatem nawet uniwersalna maszyna Turinga nie była w stanie zidentyfikować wszystkich nierozstrzygalnych stwierdzeń. Było to ostateczne rozwiązanie problemu Hilberta. Dowód tego twierdzenia nazywany został dowodem Turinga. W tym samym czasie Alonzo Church, opiekun naukowy Turinga, niezależnie doszedł do takich samym wniosków używając własnego rachunku lambda. Turing i Church innymi metodami doszli do tych samych wniosków, nazywanych Tezą Churcha-Turinga.
qas: question: Jaki tytuł nosi najważniejsza publikacja Turinga?
plausible_answers: text: On Computable Numbers With An Application To The Entscheidungsproblem
generative_answer: On Computable Numbers With An Application To The Entscheidungsproblem

question: Jaki był zamysł publikacji matematyka?
answers: text: rozwiązanie problemu rozstrzygalności
generative_answer: rozwiązanie problemu rozstrzygalności

question: Kto po raz pierwszy zaprezentował problem rozstrzygalności?
answers: text: Davida Hilberta
generative_answer: David Hilbert

question: W jaki sposób maszyna matematyka odczytywała liczby?
answers: text: za pomocą papierowej taśmy
generative_answer: za pomocą papierowej taśmy

question: Z czego skorzystał Church do rozwiązania problemu rozstrzygalności?
answers: text: własnego rachunku lambda
generative_answer: własnego rachunku lambda

context: W styczniu 1952 Turing spotkał w kinie w Manchesterze Arnolda Murraya. Po lunchu, Turing zaprosił go na weekend do swojego domu. Murray przyjął zaproszenie, ale się nie pojawił. Spotkali się ponownie w Manchesterze w poniedziałek po weekendzie i Murray zgodził się towarzyszyć Turingowi do jego domu. Kilka tygodni później Murray odwiedził dom Turinga ponownie i spędził tam noc. Tego samego roku włamano się do domu Turinga, o czym poinformował on policję. W trakcie śledztwa Turing potwierdził, że jest homoseksualistą. Seks homoseksualny był w Wielkiej Brytanii w tym czasie nielegalny i obaj zostali oskarżeni zgodnie z § 11 prawa karnego znowelizowanego ustawą z 1885 roku. Wówczas Turing został oskarżony o naruszenie moralności publicznej – za homoseksualne stosunki z 19-latkiem i wytoczono przeciwko niemu proces. Sąd dał mu wybór: więzienie albo terapię hormonalną. Turing wybrał terapię – konsultacje z psychiatrą i roczną kurację hormonalną – polegającą na przyjmowaniu estrogenu (kastracja chemiczna). Skutkiem ubocznym kuracji była między innymi ginekomastia.
qas: question: Czy Arnold Murray dotarł na umówione weekendowe spotkanie z Alanem Turingiem?
answers: text: Po lunchu, Turing zaprosił go na weekend do swojego domu. Murray przyjął zaproszenie, ale się nie pojawił
generative_answer: nie

question: Czy Alan Turing wyjawił funkcjonariuszom policji swoją orientację seksualną?
answers: text: W trakcie śledztwa Turing potwierdził, że jest homoseksualistą
generative_answer: tak

question: Na podstawie jakiego przepisu wszczęto śledztwo przeciwko Turingowi i Murray'owi?
answers: text: § 11 prawa karnego znowelizowanego ustawą z 1885 roku
generative_answer: § 11 prawa karnego znowelizowanego ustawą z 1885 roku

question: Jaki zarzut postawiono Turingowi?
answers: text: naruszenie moralności publicznej
generative_answer: naruszenie moralności publicznej

question: Na czym polegała terapia, w której musiał uczestniczyć Murray, zgodnie z wyrokiem sądu?
plausible_answers: text: konsultacje z psychiatrą i roczną kurację hormonalną – polegającą na przyjmowaniu estrogenu (kastracja chemiczna)
generative_answer: konsultacji z psychiatrą i rocznej kuracji hormonalnej – polegającej na przyjmowaniu estrogenu (kastracja chemiczna)