ШЕЙНФИНКЕЛЬ

ШЕЙНФИНКЕЛЬ
ШЕЙНФИНКЕЛЬ
    ШЕЙНФИНКЕЛЬ Моисей Ильич (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.


.

Игры ⚽ Нужна курсовая?

Смотреть что такое "ШЕЙНФИНКЕЛЬ" в других словарях:

  • Шейнфинкель — Шейнфинкель, Вера Константиновна (1867 1928) библиограф, Герой Труда. Шейнфинкель, Моисей Эльевич (1889 1942) математик, основатель комбинаторной логики Владимиров, Мирон Константинович (настоящая фамилия Шейнфинкель; 1879 1925) партийный и… …   Википедия

  • Шейнфинкель, Моисей Эльевич — Моисей Эльевич Шейнфинкель …   Википедия

  • Шейнфинкель, Моисей Исаевич — Моисей Исаевич Шейнфинкель Шейнфинкель в 1922 году Дата рождения: 1887 или 1889 Место рождения: Екатеринослав, Российская империя Дата смерти …   Википедия

  • Шейнфинкель, Вера Константиновна — Ше(й)нфинкель Вера Константиновна Дата рождения: 1867 год(1867) Гражданство …   Википедия

  • Schönfinkel — Moses Isajewitsch Schönfinkel (russisch Моисей Исаевич Шейнфинкель, wiss. Transliteration Moisej Isaevič Šejnfinkel ; * 4. September 1889 in Jekaterinoslaw; † 1942 in Moskau) war ein ukrainischer/sowjetischer Logiker. Er studierte Mathematik an… …   Deutsch Wikipedia

  • КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия

  • Владимиров, Мирон Константинович — В Википедии есть статьи о других людях с такой фамилией, см. Владимиров. Владимиров (Шейнфинкель) Мирон Константинович (15 ноября 1879  20 марта 1925)  партийный и государственный деятель. Партийное прозвище  Лёва. Содержание 1… …   Википедия

  • Владимиров Мирон Константинович — Владимиров (настоящая фамилия ‒ Шейнфинкель; партийный псевдоним ‒ Лёва) Мирон Константинович [15(27).11.1879, Херсон, ‒ 20.3.1925, Нерви, близ Генуи], советский государственный и партийный деятель. Родился в семье земельного арендатора. В 1898… …   Большая советская энциклопедия

  • Владимиров — I Владимиров         Василий Сергеевич (р.9.1.1923, деревня Дяглево Ленинградской области), советский математик, академик АН СССР (1970; член корреспондент 1968). Окончил Ленинградский университет (1948), с 1948 работает в Математическом… …   Большая советская энциклопедия

  • Moses Schönfinkel — Moses Ilyich Schönfinkel Born 1887 or 1889 Ekaterinoslav, Russian Empire Died 1942 Moscow, Soviet Union …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»