آرند هیتینگ

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

منابع[ویرایش]

  • مشارکت‌کنندگان ویکی‌پدیا، «Arend Heyting»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۲ ژوئیه ۲۰۰۸).