Философская энциклопедия - шейнфинкель
Шейнфинкель
ШЕЙНФИНКЕЛЬ Моисей Ильич (1887, Одесса1942, Москва) — математик и логик, ученик С. О. Шатуновского (1859—1929), в 20-х гг. стажировался в Гётгингене. Его доклад “Об основных понятиях математической логики” (7 декабря 1920, Математическое общество, Гёттинген), опубликованный в 1924 (в обработке Бемана), положил начало исследованиям Карри и Чёрча в основаниях математики (см. Комбинаторная логика). Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных (содержащих единственную связку “э”) формул. Соч.: Über die Bansteine der Mathematischen Logik.— “Mathematischen Annal”, 1924, Bd. 92; Zum Entscheidungsproblem der Mathematischen Logik.— “Mathematischen Annal”, 1928, Bd. 99, N 3 (совместно с П. Бернайсом).
Лит.: Яновская С. А. Основания математики и математическая логика.— В кн.: Математика в СССР за тридцать лет. 1917—1947. М., 1948.
3. А. Кузичева, А. С. Кузичев
Новая философская энциклопедия: В 4 тт. М.: Мысль.
Под редакцией В. С. Стёпина.
2001.
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2304 | |
2 | 2257 | |
3 | 1390 | |
4 | 1347 | |
5 | 749 | |
6 | 729 | |
7 | 683 | |
8 | 661 | |
9 | 630 | |
10 | 611 | |
11 | 608 | |
12 | 558 | |
13 | 550 | |
14 | 539 | |
15 | 534 | |
16 | 527 | |
17 | 518 | |
18 | 515 | |
19 | 512 | |
20 | 511 |