Шейнфинкель Моисей Эльевич (Synvinkel Moses Elevic).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

Шейнфинкель Моисей Эльевич.

 ›

Моисей Эльевич Шейнфинкель
Моисей Шейнфинкель в 1910 году
Дата рождения:

4 сентября 1889(1889-09-04)

Место рождения:

Екатеринослав, Российская империя

Дата смерти:

1942(1942)

Место смерти:

Москва, СССР

Страна:

Российская империя, СССР

Научная сфера:

Математика

Место работы:

Гёттингенский университет

Альма-матер:

Императорский Новороссийский университет

Научный руководитель:

Давид Гильберт

Известен как:

Комбинаторная логика


Студенческий билет М. Э. Шейнфинкеля 1910 г.

Моисей Эльевич Шейнфинкель (варианты отчества - Ильич и Исаевич, нем. Moses Schönfinkel; 4 сентября 1889, Екатеринослав (ныне Днепропетровск, Украина) - 1942, Москва) - русский и советский логик и математик, известный как изобретатель комбинаторной логики.

Содержание
  • Жизнь
  • Труды
  • Публикации
  • Примечания
  • Литература
Жизнь

Моисей Шейнфинкель родился в Екатеринославе в семье купца первой гильдии Ильи Гиршевича Шейнфинкеля, который 22 февраля 1894 года вместе с другим екатеринославским купцом Ароном Герцевичем Лурье основал торговый дом «Лурье и Шейнфинкель», занимавшийся бакалейной торговлей. Учился в Новороссийском университете в Одессе, изучая математику под руководством Самуила Осиповича Шатуновского (1859-1929), работавшего в области геометрии и оснований математики. С 1914 по 1924 стажировался в Гёттингенском университете под руководством Давида Гильберта. 7 декабря 1920 года он, выступая перед коллегами, изложил концепцию комбинаторной логики. Его доклад, опубликованный в 1924 году в обработке Генриха Бемана (нем. Heinrich Behmann), положил начало исследованиям Карри и Чёрча в области оснований математики. В 1929 году Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных формул, известную как класс Бернайса - Шейнфинкеля (англ. Bernays–Schönfinkel class).

Покинув Гёттинген, Шейнфинкель вернулся в Москву. В 1927 году он был признан психически больным и помещён в психиатрическую лечебницу. Его последующая жизнь прошла в нищете, и он умер в Москве, где-то в 1942 году. Его бумаги были пущены соседями на растопку.

Труды

Шейнфинкелем разработана формальная система, позволяющая избегать использования связанных переменных. Его система была по существу эквивалентна комбинаторной логике, основанной на комбинаторах B, C, I, K и S. Шейнфинкелю удалось показать, что система может быть сокращена лишь до K и S, и изложить доказательство того, что такой вариант системы так же полон, как и логика предикатов.

Его работа также показала, что функции двух или более аргументов может быть заменена функцией принимающий лишь один аргумент. Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.

Публикации
  • «Über die Bausteine der mathematischen Logik», Mathematische Annalen 92, pp. 305-316, 1924. Stefan Bauer-Mengelberg перевёл эту статью как «On the building blocks of mathematical logic» в Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Кембридж: Harvard University Press, pp. 355-366.
  • «Zum Entscheidungsproblem der mathematischen Logik» (с Паулем Бернайсом), Mathematische Annalen 99: 342-372, 1929.
Примечания
  1. Гроссман, 2011, с. 126
  2. Студенческий билет Моисея Шейнфинкеля
  3. Указатель действующих в Империи акционерных предприятий и торговых домов (стр. 88)]
  4. «Лурье и Шейнфинкель» торговый дом: Бакалейный магазин «Лурье и Шейнфинкель» № 2 располагался по Садовой улице в доме Файнберга.
  5. Купец и благотворитель И. Г. Шенфинкель: В списках землевладельцев Российской Империи он значится как Эля-Шая Гершевич Шейнфинкель (см. здесь); отсюда варианты отчества его сына - Ильич (Эля - русск. Илья) и Исаевич (Шая - русск. Исай).
  6. Cardone, Felice & Hindley, J. Roger, "History of Lambda-calculus and Combinatory Logic", in Gabbay, Dov M., «Handbook of the History of Logic», vol. 5, Elsevier 
  7. 1 2 3 Curry, Haskell (November, 1927). «Notes on Schönfinkel» (Curry archives).
  8. Яновская, С. А (1948), "«Основания математики и математическая логика»", Математика в СССР за тридцать лет. 1917-1947 
  9. 1 2 Kline, G. L. (1951), "«Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya»", Journal of symbolic Logic Т. 16: 46–48, DOI 10.2307/2268665 

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-11-13