ШЕЙНФИНКЕЛЬ


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

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


Просмотров: 452
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • List der Vernunft
  • ВЕНГЕРСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ
  • КИРГИЗСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ
  • КОМБИНАТОРНАЯ ЛОГИКА
  • КОРЕЙСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ
  • ЛАТЫШСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ
  • ЛИТОВСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ
  • логика (формальная логика)
  • логика комбинаторная
  • ЛОГИКА КОМБИНАТОРНАЯ
  • логика научного познания (логика науки)
  • ЛОГИКА ПРЕДИКАТОВ
  • логика предикатов
  • логика предикатов
  • математическая логика
  • математическая логика
  • МАТЕМАТИЧЕСКАЯ ЛОГИКА
  • МАТЕМАТИЧЕСКАЯ ЛОГИКА
  • МЕТОД ИСТИННЫХ И ЛОЖНЫХ СЛУЧАЕВ
  • ПОЛЬСКАЯ ФИЛОСОФСКАЯ МЫСЛЬ
  • Принципы математики
  • РАЗРЕШЕНИЯ ПРОБЛЕМЫ
  • философия математики
  • ФИЛОСОФИЯ МАТЕМАТИКИ
  • философская логика
  • философская логика
  • ФИЛОСОФСКАЯ ЛОГИКА
  • ФИЛОСОФСКАЯ НАУКА В СССР
  • формальная логика или логика
  • ЭСТОНСКАЯ ФИЛОСОФСКАЯ И ОБЩЕСТВЕННАЯ МЫСЛЬ



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь