نظریه ذهن آفریننده براوئر

نوع مقاله : مقاله مروری

نویسنده

• محمد اردشیر

دانشگاه صنعتی شریف، دانشکده علوم ریاضی

چکیده

کلیدواژه‌ها

• ذهن آفریننده
• ریاضیات شهودگرایانه
• شمای کریپکی
• اصل پیوستگی ضعیف
• آنالیز شهودگرایانه

موضوعات

• منطق و مبانی ریاضی