ШЕЙНМАН Михаил МарковичШЕЙТАН, шайтан

ШЕЙНФИНКЕЛЬ Моисей Ильич

Найдено 1 определение:

ШЕЙНФИНКЕЛЬ Моисей Ильич

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

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

Найдено схем по теме ШЕЙНФИНКЕЛЬ Моисей Ильич — 0

Найдено научныех статей по теме ШЕЙНФИНКЕЛЬ Моисей Ильич — 0

Найдено книг по теме ШЕЙНФИНКЕЛЬ Моисей Ильич — 0

Найдено презентаций по теме ШЕЙНФИНКЕЛЬ Моисей Ильич — 0

Найдено рефератов по теме ШЕЙНФИНКЕЛЬ Моисей Ильич — 0