آرند هیتینگ

پروفسور ارند هیتینگ اوت 1967

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

منابع

[ویرایش]
آیکون خرد

این یک مقالهٔ خرد افراد است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.