Генцен

Генцен

Генцен (нем. Gentzen) — немецкая фамилия. Известные носители:

  • Генцен, Герхард (1909—1945) — немецкий математик и логик.
  • Генцен, Йоханнес (1906—1940) — самый первый германский лётчик-ас Второй мировой войны, лучший пилот Люфтваффе во время Польской кампании.
Разрешение неоднозначностей

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Генцен" в других словарях:

  • ГЕНЦЕН —     ГЕНЦЕН (Gentzen) Герхард (24 ноября 1909, Грейфсвальд, Померания 4 августа 1945, Прага) немецкий математик и логик. Детство провел и учился в начальной школе на о. Рюнген в Балтийском море. В 1920 переехал с матерью (отец погиб в 1 й мировой… …   Философская энциклопедия

  • Генцен, Йоханнес — Йоханнес Генцен нем. Johannes Gentzen Прозвище Ханнес Дата рождения 1906 год(1906) Дата смерти 26 мая …   Википедия

  • Генцен, Герхард — Герхард Генцен нем. Gerhard Karl Erich Gentzen Дата рождения: 24 ноября 1909(1909 11 24) …   Википедия

  • Генцен — Иоанн Генрих Вильгельм (Henzen) немецкий ученый, род. в 1816 г., сопровождал Велькера в его поездке по Греции и Сицилии и после этого получил место при археологическом институте в Риме. Г. прибавил к двум томам изданного Орелли сборника латинских …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Генцен Вильгельм — (Henzen) немецкий драматург. Род. в 1850 г. Составил себе известность историческими драмами для народной сцены: Martin Luther (1883), Ulrich von Hutten , Die heilige Elisabeth , Deutsche Bürger . Написал еще: Die Kypseliden , Die Lügen des… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Генцен Иоанн Генрих Вильгельм — (Henzen) немецкий ученый; род. в 1816 г.; сопровождал Велькера в его поездке по Греции и Сицилии и после этого получил место при археологическом институте в Риме. Г. прибавил к двум томам изданного Орелли сборника латинских надписей третий том… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …   Большая советская энциклопедия

  • ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …   Философская энциклопедия

  • Метаматематика — Метаматематика  раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …   Википедия

  • ЭЛИМИНАЦИОННАЯ ТЕОРЕМА —     ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …   Философская энциклопедия


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

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