Пол Лоренцен
Пауль Лоренцен Биография Пауля Лоренцена Немецкий философ и математик, основатель Эрлангенской школы и изобретатель семантики игр. Обучался в Геттингенском университете, […]
Вики
Теоретики доказательства
Вики
Жан-Ив Жирар
Жан-Ив Жирар Биография и достижения Жан-Ива Жирара Французский логик, известный своими работами в области теории доказательств Родился в 1947 году,
Вики
Уильям Элвин Ховард
Уильям Элвин Говард Уильям Элвин Говард – специалист по теории доказательств, известный своей работой о формальном сходстве между интуиционистской логикой