Robin Gandy - Robin Gandy

Robin Oliver Gandy (22 września 1919 – 20 listopada 1995) był brytyjskim matematykiem i logikiem . Był przyjacielem, studentem i współpracownikiem Alana Turinga , który był nadzorowany przez Turinga podczas jego doktoratu na Uniwersytecie w Cambridge , gdzie pracowali razem.

Edukacja i wczesne życie

Robin Gandy urodził się w wiosce Rotherfield Peppard w hrabstwie Oxfordshire w Anglii. Był synem Thomasa Halla Gandy'ego (1876-1948), lekarza rodzinnego , i Idy Caroline z domu Hony (1885-1977), pracownika socjalnego, a później pisarki. Był praprawnukiem architekta i artysty Josepha Gandy'ego (1771-1843).

Wykształcony w Abbotsholme School w Derbyshire, Gandy odbył dwa lata zajęć matematycznych w King's College w Cambridge , zanim zaciągnął się do służby wojskowej w 1940 roku. Podczas II wojny światowej pracował nad sprzętem do przechwytywania sygnałów radiowych w Hanslope Park , gdzie pracował Alan Turing projekt szyfrowania mowy i stał się jednym z wieloletnich przyjaciół i współpracowników Turinga. W 1946 ukończył III część Triposu Matematycznego, po czym rozpoczął studia doktoranckie pod kierunkiem Turinga. Pracę magisterską O systemach aksjomatycznych w matematyce i teoriach fizyki obronił w 1952 roku. Był członkiem Cambridge Apostles .

Kariera i badania

Gandy zajmował stanowiska na University of Leicester , University of Leeds oraz University of Manchester . W latach 1966-1967 był profesorem wizytującym na Uniwersytecie Stanforda , aw 1968 zajmował podobne stanowisko na Uniwersytecie Kalifornijskim w Los Angeles . W 1969 przeniósł się do Wolfson College w Oksfordzie , gdzie został wykładowcą logiki matematycznej.

Gandy jest znany ze swojej pracy w teorii rekurencji . Jego wkład obejmuje twierdzenie Spectora-Gandy'ego, twierdzenie Gandy Stage Comparison oraz twierdzenie Gandy Selection. Wniósł też znaczący wkład w zrozumienie tezy Churcha-Turinga , a jego uogólnienie maszyny Turinga nazywa się maszyną Gandy'ego.

Gandy zmarł w Oksfordzie w Anglii w dniu 20 listopada 1995 r.

Dziedzictwo

The Robin Gandy Budynki , parę bloków mieszkalnych w Wolfson College, Oxford , są nazwane Gandy. Jednodniowe kolokwium z okazji stulecia Gandy'ego odbyło się 22 lutego 2020 r. w Kolegium na cześć Gandy'ego, w tym wkład niektórych jego uczniów; prelegentami byli Marianna Antonutti Marfori (Monachium), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paryż) i Philip Welch (Bristol).

Bibliografia