немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
Убедительная просьба, избегать сообщений типа она просто супер, он такой лапочка, она очень красивая, хочу от него детей, ненавижу этого козла. Все подобные сообщения будут удалены, так как не несут смысловой ценности. Постарайтесь написать развернутое агрументированное мнение о Генцене Герхарде или просто проголосуйте за уже существующий комментарий, схожий с вашим мнением. Спасибо за понимание.