Определение слова «ШЕЙНФИНКЕЛЬ»

Новая философская энциклопедия:

ШЕЙНФИНКЕЛЬ Моисей Ильич (1887, Одесса – 1942, Москва)математик и логик, ученик С.О.Шатуновского (1859–1929), в 20-х гг. стажировался в Гёттингене. Его доклад «Об основных понятиях математической логики» (7 декабря 1920, Математическое общество, Гётгинген), опубликованный в 1924 (в обработке Бемана), положил начало исследованиям Карри [КАРРИ]и Чёрча [ЧЕРЧ]в основаниях математики (см. Комбинаторная логика [КОМБИНАТОРНАЯ ЛОГИКА]). Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных (содержащих единственную связку «») формул.
Сочинения:
1. ber die Bansteine der Mathematischen Logik. – «Mathematischen Annal», 1924, Bd. 92;
2. Zum Entscheidungsproblem der Mathematischen Logik. – «Mathematischen Annal», 1928, Bd. 99, N 3 (совместно с П.Бернайсом).
Литература:
1. Яновская С.А. Основания математики и математическая логика. – В кн.: Математика в СССР за тридцать лет. 1917–1947. М., 1948.
З.А.Кузичева, А.С.Кузичев

Смотреть другие определения →


© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020

Top.Mail.Ru
Top.Mail.Ru