нижнее белье для полных
მედიცინის კვლევები

   Велика Радянська Енциклопедія

Черч Алонзо

   
 

Черч (Church) Алонзо (р 14.6.1903, Вашингтон), американський логік, математик. Професор Прінстонського університету (1947-1967). З 1967 професор математики і філософії Каліфорнійського університету (Лос-Анджелес). Роботи Ч. відносяться до різних областей логіки. Він розвинув думку про відділення поняття функції від поняття множини. У 1936 висунув основну гіпотезу теорії вичіслімих функцій (т. н. Теза Черча): кожна ефективно обчислювана функція є общекурсівной (див. Рекурсивні функції ). У 1935 Ч. навів приклад нерозв'язною масової проблеми, а в 1966 довів, що дозволу проблема для обчислення предикатів нерозв'язна. Ці результати зробили великий вплив на розвиток математичної логіки. Ч. вніс істотний внесок у розвиток комбінаторної логіки: йому належать дослідження в області логічної семантики і модальної логіки.

Соч. в рос. пер.: Введення в математичну логіку, т. 1, М., 1960.





Виберіть першу букву в назві статті:

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я

Повний політерний каталог статей


 

Алфавітний каталог статей

  а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я
 


 
енциклопедія  біляші  морс  шашлик  качка