Чёрч это:

Чёрч
(Church)
        Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что Разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики (См. Логическая семантика) и модальной логики.
         Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Чёрч" в других словарях:

  • ЧЁРЧ —         (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… …   Философская энциклопедия

  • Чёрч — (англ. Church [tʃɜː(ɹ)tʃ], букв. «церковь»)  английская фамилия. Известные носители: Чёрч, Алонзо (1903 1995)  американский математик и логик. Чёрч, Ричард (1784 1873)  английский офицер, участник войны за независимость… …   Википедия

  • Чёрч Алонзо — Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947‒1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к различным… …   Большая советская энциклопедия

  • Чёрч Бенджамин — (Church, Benjamin) (1639 1718), амер. воен. деятель. Был капитаном милиции Род Айленда во время войны короля Филиппа (1675 76). Обманом завел войска Филиппа в большое болото близ Кингстона и уничтожил их. В 1705 г. присоединился к экспедиции… …   Всемирная история

  • Чёрч, Фредерик Эдвин — Фредерик Эдвин Чёрч …   Википедия

  • Чёрч, Фредерик — Фредерик Эдвин Чёрч Фредерик Эдвин Чёрч. Фотография Мэтью Брейди. Имя при рождении: Frederic Edwin Church Дата рождения: 4 мая 1826 Место рождения …   Википедия

  • Чёрч Фредерик Эдвин — Фредерик Эдвин Чёрч Фредерик Эдвин Чёрч. Фотография Мэтью Брейди. Имя при рождении: Frederic Edwin Church Дата рождения: 4 мая 1826 Место рождения …   Википедия

  • Чёрч, Эллен — Эллен Чёрч Эллен Чёрч (англ. Ellen Church; 22 сентября 1904, Креско, Айова  22 августа 1965)  предположитель …   Википедия

  • Чёрч, Розмари — Связать? …   Википедия

  • Чёрч Розмари — Розмари Чёрч (англ. Rosemary Church) известный журналист и телеведущая Белфасте, в Северной Ирландии, жила в Англии и разных частях Австралии. Она была награждена степенью бакалавра искусств по окончанию Австралийского Национального Университета… …   Википедия

Книги

  • Фредерик Эдвин Чёрч, Астахов Ю.А.. Богато иллюстрированный альбом познакомит вас с жизнью и творчеством американского художника XIХ века, представителя «Школы реки Гудзон», Фредерика Эдвина Чёрча. Известный американский… Подробнее  Купить за 4226 руб
  • Фредерик Эдвин Чёрч, Астахов Юрий. Известный американский художник Фредерик Эдвин Чёрч родился Б городе Хартфорде, штат Коннектикут. Его отец был серьезным предпринимателем и хотел, чтобы сын стал его помощником и наследником… Подробнее  Купить за 3223 руб
  • Фредерик Эдвин Чёрч, Астахов Ю.А.. Богато иллюстрированный альбом познакомит вас с жизнью и творчеством американского художника XIХ века, представителя«Школы реки Гудзон»,Фредерика Эдвина… Подробнее  Купить за 3212 руб
Другие книги по запросу «Чёрч» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»