Шейнфинкель

| Under: Ш

ШЕЙНФИНКЕЛЬ Моисей Ильич (1887, Одесса- 1942, Москва) — математик и логик, ученик С. О. Шатуновского (1859—1929), в 20-х гг. стажировался в Геттингене. Его доклад «Об основных понятиях математической логики» (7 декабря 1920, Математическое общество, Геттинген), опубликованный в 1924 (в обработке Бемаиа), положил начало исследованиям Карри и Чёрча в основаниях математики (см. Комбинаторная логика). Шейнфинкель предложил вариант решения пробле­мы разрешения для некоторых частных случаев формул уз­кого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных (содержащих единственную связку «о») формул.