голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский университет. Работал там же. Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.
Убедительная просьба, избегать сообщений типа она просто супер, он такой лапочка, она очень красивая, хочу от него детей, ненавижу этого козла. Все подобные сообщения будут удалены, так как не несут смысловой ценности. Постарайтесь написать развернутое агрументированное мнение о Гейтинге Аренд или просто проголосуйте за уже существующий комментарий, схожий с вашим мнением. Спасибо за понимание.