آلن تورینگ
(1912 – 1954)
برابر انگلیک (انگلیسی): Alan Turing


تاربرگ‌های پیموده‌شده در این نشست: بنداشت هنگرد تهی ⟩ دیوید لوییس ⟩ مایکل دامت ⟩ Russell's Correspondence with Frege ⟩ آرثر نورمن پرایور