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