Шейнфинкель Моисей Ильич
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Ш >

ссылка на XPOHOC

Шейнфинкель Моисей Ильич

1887-1942

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

ХРОНОС:
В Фейсбуке
ВКонтакте
В ЖЖ
Twitter
Форум
Личный блог

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
ХРОНОС. Всемирная история в интернете

Шейнфинкель Моисей Ильич

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

3. А. Кузичева, А. С. Кузичев

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. IV, с. 379.


Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Uber 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.

 

 

 

 

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ



ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС