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?
is_impossible: yes

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

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

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

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

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ł
answer_end: 176
generative_answer: nie
is_impossible: no

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

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

question: Jaki zarzut postawiono Turingowi?
answers: text: naruszenie moralności publicznej
answer_end: 745
generative_answer: naruszenie moralności publicznej
is_impossible: no

question: Na czym polegała terapia, w której musiał uczestniczyć Murray, zgodnie z wyrokiem sądu?
is_impossible: yes