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


تاربرگ‌های پیموده‌شده در این نشست: خشنودی‌پذیری ⟩ گویایی نایکنواخت ⟩ واکاوی گویاییگ-تاریخی فرااستواره گودل در گویایی سویی ⟩ بنداشت K ⟩ زیرهنگرد ⟩ آغاز انگارش