Аренд Хейтинг

• Биография и вклад в математику

  • Аренд Хейтинг — голландский математик и логик, родился в 1898 году и умер в 1980 году. 
  • Учился у Брауэра и внес значительный вклад в развитие интуиционистской логики. 
  • Разработал формальное развитие интуиционистской логики, чтобы кодифицировать подход Брауэра. 
  • В 1942 году стал членом Королевской Нидерландской академии искусств и наук. 

• Избранные публикации

  • Опубликовал ряд работ по интуиционистской логике и математике, включая формальные правила, математический фундамент, аксиомы проективной геометрии и другие. 
  • Переиздал свои работы на немецком языке, подчеркивая их значимость в международном математическом сообществе. 

• Рекомендации

  • Статья о Хейтинге является заглушкой и нуждается в расширении для включения дополнительной информации.