C.2: Церква Алонзо

Last updated
Save as PDF

Page ID: 52679

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

Алонзо Черч народився у Вашингтоні, округ Колумбія 14 червня 1903 року. У ранньому дитинстві інцидент з пневматичним пістолетом залишив Церкву сліпою на одне око. Він закінчив підготовчу школу в Коннектикуті в 1920 році і почав свою університетську освіту в Прінстоні того ж року. Він закінчив докторантуру в 1927 році. Через пару років за кордоном Черч повернувся в Прінстон. Церква була відома тим, що була надзвичайно ввічливою і обережною. Його написання на дошці було бездоганним, і він зберігав важливі папери, ретельно покриваючи їх цементом Duco (прозорим клеєм). Поза своїми академічними заняттями він із задоволенням читав науково-фантастичні журнали і не боявся писати редакторам, якщо помітив будь-які неточності в написанні.

Академічні досягнення Церкви були великими. Разом зі своїми учнями Стівеном Клін і Барклі Россером він розробив теорію ефективного обчислення, лямбда-числення, незалежно від розвитку Аланом Тьюрингом машини Тьюринга. Два визначення обчислюваності еквівалентні і породжують те, що зараз відомо як теза Церква-Тьюринга, що функція натуральних чисел ефективно обчислюється тоді і лише тоді, коли вона обчислюється за допомогою машини Тьюринга (або лямбда-обчислення). Він також довів те, що зараз відомо як теорема Церкви: Проблема рішення для обґрунтованості формул першого порядку нерозв'язна.

Церква продовжила свою роботу до старості. У 1967 році він покинув Прінстон в UCLA, де був професором до виходу на пенсію в 1990 році. Церква пішла з життя 1 серпня 1995 року у віці 92 років.

**Ілюстрація\(\PageIndex{1}\):** Церква Алонзо. (Портрет церкви Алонцо, недатований, фотограф невідомий. Церковні документи Алонзо; 1924—1995, (C0948) Коробка 60, папка 3. Відділ рукописів, відділ рідкісних книг та спеціальних колекцій, Бібліотека Прінстонського університету. © Прінстонський університет. Проект Open Logic отримав дозвіл на використання цього зображення для включення до некомерційних матеріалів OLP. Дозвіл від Прінстонського університету потрібен для будь-якого іншого використання.)

Подальше читання

Коротку біографію Церкви див. Ендертон (2019). Оригінальні твори Церкви про лямбда-числення та Entscheidungsproblem (Церковна дисертація) є Церква (1936a, b). Aspray (1984) записує інтерв'ю з Церквою про Прінстонської математичної спільноти в 1930-х роках. Церква написала серію книжкових оглядів журналу символічної логіки з 1936 по 1979 рік. Всі вони архівовані на веб-сайті Джона Макфарлейна (MacFarlane, 2015).