Дик де Йонг
Дик де Джонг Биография и образование Дик Херман Якобус де Йонг родился 19 октября 1939 года в Энсхеде, Нидерланды. В […]
Вики
Proof theorists
Вики
Уильям Крейг (философ)
Уильям Крейг (философ) Биография Уильяма Крейга Американский ученый и философ, преподавал в Калифорнийском университете в Беркли. Родился в Нюрнберге в
Вики
Жак Эрбран
Жак Эрбранд Биография Жака Эрбрана Французский математик, умерший в 23 года, но признанный одним из величайших молодых математиков. Работал в
Вики
Гаиси Такеути
Гайси Такеути Биография Гайси Такеути Японский математик, известный работами в области теории доказательств. Обучался у Курта Геделя в Принстоне и
Вики
Пол Лоренцен
Пауль Лоренцен Биография Пауля Лоренцена Немецкий философ и математик, основатель Эрлангенской школы и изобретатель семантики игр. Обучался в Геттингенском университете,
Вики
Жан-Ив Жирар
Жан-Ив Жирар Биография и достижения Жан-Ива Жирара Французский логик, известный своими работами в области теории доказательств Родился в 1947 году,
Вики
Уильям Элвин Ховард
Уильям Элвин Говард Уильям Элвин Говард — специалист по теории доказательств, известный своей работой о формальном сходстве между интуиционистской логикой