Гильберт

Гильберт

(Хильберт) (Hilbert) Давид — математик и логик; р. 23.1.1862 (Кёнигсберг) — ум. 14.2.1943 (Гёттинген); там же был профессором с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался доказать независимость и непротиворечивость лежащих в основе их систем аксиом. Его достижения в области теоретического обоснования системы аксиом проложили путь современной математике и часто сравниваются с достижениями Евклида.

Смотрите также:

• Гипотетический
  (hypothetisch; от греч. hypothesis — «основание», «основа») — условный, ...
• Материальное определение
  (Realdefmition; от лат.) — это не определение в собственно логическом ...
• Ноткер Немецкий
  (Notker der Deutsche) (Тевтоникус, по прозвищу «Большегубый») — р. ок. 950 — ...
• Включённость в Бытие
  (Insein) — согласно Хайдеггеру, «формальное экзистенциальное ...