Герхард Генцен

От / / Оставьте комментарий

Герхард Генцен Герхард Карл Эрих Генцен был немецким математиком и логиком, внесшим значительный вклад в основы математики и теорию доказательств.  […]

1909 births, 1945 deaths, 20th-century German mathematicians, 20th-century German philosophers, Academic staff of Charles University, Deaths by starvation, German logicians, German people who died in Soviet detention, Nazi Party members, Nazis who died in prison custody, People from Greifswald, People from the Province of Pomerania, University of Göttingen alumni, Академический состав Карлова университета, Выпускники Геттингенского университета, Люди из Грайфсвальда, Люди из провинции Померания, Нацисты, Немецкие логики, Немецкие люди, Немецкие математики 20-го века, Немецкие философы 20-го века, погибшие в советских пленах, погибшие в тюрьмах, Рождения в 1909 году, смерти в 1945 году, Смерти от голода, Члены нацистской партии

Герхард Генцен

  • Герхард Карл Эрих Генцен был немецким математиком и логиком, внесшим значительный вклад в основы математики и теорию доказательств. 
  • Генцен умер от голода в чешском лагере для военнопленных в Праге в 1945 году. 
  • Он был студентом Пола Бернейса и вступил в Штурмовой отряд в 1933 году, поддерживая контакты с Бернейсом до начала Второй мировой войны. 
  • Генцен доказал непротиворечивость аксиом Пеано и определил теоретико-доказательную силу арифметики Пеано. 
  • Его теорема о сокращении-исключении является краеугольным камнем теоретико-доказательной семантики. 
  • Генцен работал над проектом V-2 и преподавал в немецком университете Карла-Фердинанда в Праге. 
  • Он был арестован во время восстания граждан против оккупационных немецких войск и заключен в советский лагерь для военнопленных. 

Полный текст статьи:

Герхард Генцен — Википедия

Похожие статьи:

  1. Военнопленный Оглавление1 Военнопленный1.1 История военнопленных1.2 Древние времена1.3 Средневековье и Ренессанс1.4 Современные времена1.5 История капитуляции и военнопленных1.6 Европейские...
  2. Теорема Урсеску Оглавление1 Теорема Урсеску1.1 Определение и свойства выпуклых множеств1.2 Теорема о выпуклых множествах1.3 Теорема о пересечении выпуклых...
  3. Теорема об исключении разреза Оглавление1 Теорема о сокращении-исключении1.1 Теорема об исключении сокращений1.2 Правило отсечения1.3 Исключение сокращений и секвенциальное исчисление1.4 Правило...
  4. Теорема об исключении разреза Оглавление1 Теорема о сокращении-исключении1.1 Теорема об исключении сокращений1.2 Правило отсечения1.3 Исключение сокращений и секвенциальное исчисление1.4 Правило...
  5. Теоретико-доказательная семантика Оглавление1 Теоретико-доказательная семантика1.1 Основы теоретико-доказательной семантики1.2 Развитие и применение1.3 Логическая гармония и непоследовательность1.4 Дополнительные ресурсы1.5 Полный...
  6. Финские военнопленные в Советском Союзе Оглавление1 Финские военнопленные в Советском Союзе1.1 Первая волна финских военнопленных1.2 Вторая волна финских военнопленных1.3 Условия содержания...
  7. Немецкие лагеря для военнопленных во Второй мировой войне – Arc.Ask3.Ru Оглавление1 Немецкие лагеря для военнопленных во время Второй мировой войны1.1 Лагеря для военнопленных в нацистской Германии1.2...
  8. Японские военнопленные в Советском Союзе Оглавление1 Японские военнопленные в Советском Союзе1.1 История японских военнопленных в России1.2 Труд и условия жизни военнопленных1.3...
  9. Немецкие военнопленные в США Оглавление1 Немецкие военнопленные в Соединенных Штатах1.1 История немецких военнопленных в США1.2 Условия содержания и дисциплина1.3 Политика...
  10. Аксиомы Пеано Оглавление1 Аксиомы Пеано1.1 Основы арифметики Пеано1.2 Непротиворечивость и финитизм1.3 Арифметика Пеано как теория первого порядка1.4 Эквивалентные...
  11. Теорема об исключении разреза Оглавление1 Теорема об исключении сокращений1.1 Теорема об исключении сокращений1.2 Правило отсечения1.3 Исключение сокращений и секвенциальное исчисление1.4...
  12. Румынские военнопленные в Советском Союзе Оглавление1 Румынские военнопленные в Советском Союзе1.1 Количество румынских военнопленных1.2 Использование военнопленных в СССР1.3 Условия содержания в...
  13. Кривая Пеано Кривая Пеано Кривая Пеано – первый пример заполняющей пространство кривой, открытый Джузеппе Пеано в 1890 году. ...
  14. Герхард Ковалевски Оглавление1 Герхард Ковалевский1.1 Ранние годы и образование1.2 Научная карьера1.3 Наследие и вклад в математику1.4 Личные связи...
  15. Джузеппе Пеано Джузеппе Пеано Джузеппе Пеано – итальянский математик, основатель математической логики и аксиоматизации математики.  Пеано начал свою...
  16. Теорема об исключении разреза Теорема о сокращении-исключении Теорема об исключении сокращений устанавливает значимость секвенциального исчисления.  Она утверждает, что любое суждение...
  17. Немецкие военнопленные в Советском Союзе Оглавление1 Немецкие военнопленные в Советском Союзе1.1 Общие сведения о немецких военнопленных1.2 Условия содержания и смертность1.3 Репатриация...
  18. Немецкие военнопленные в Азербайджане – Википедия Оглавление1 Немецкие военнопленные в Азербайджане1.1 История немецких военнопленных в Азербайджане1.2 Участие в строительстве1.3 Репатриация и кладбища1.4...
  19. Итальянские военнопленные в Советском Союзе Оглавление1 Итальянские военнопленные в Советском Союзе1.1 Итальянские военнопленные в СССР1.2 Судьба военнопленных1.3 Историческая память и политика1.4...
  20. Пандемия COVID-19 в Чехии – Википедия Оглавление1 Пандемия COVID-19 в Чешской Республике1.1 Пандемия COVID-19 в Чешской Республике1.2 Национальные ответные меры1.3 Меры карантина...
  21. Теоретико-информационная безопасность Оглавление1 Теоретико-информационная безопасность1.1 Теоретико-информационная безопасность криптосистем1.2 Применение теоретико-информационной безопасности1.3 Технические ограничения и шифрование на физическом уровне1.4...
  22. Список многочисленных открытий Оглавление1 Список многочисленных открытий1.1 Множественные независимые открытия1.2 Исторические примеры1.3 16 век1.4 17 век1.5 18 век1.6 19...

Оставьте комментарий

Прокрутить вверх