آرند هیتینگ

آرند هیتینگ (به هلندی: Arend Heyting) (متولد ۹ مه ۱۸۹۸ آمستردام هلند - وفات ۹ ژوئیه ۱۹۸۰ لوگانو سوئیس) ریاضی‌دان و منطق‌دان هلندی است. او دانشجوی براور بود و فعالیت عمده‌ای برای قرار گفتن منطق شهودگرا در منطق ریاضی انجام داد. پروژه وی از جهاتی در تقابل با مقاصد بنیانگذار قرار داشت، به طوری که براوئر این پروژه را بی‌حاصل خواند.

منابع
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.