Morteza Moniri
خانه
درباره من
تماس با من
درس ها
صفحه شخصی
Morteza Moniri
در این سایت برخی از نوشته‌های فارسی و اسلایدهای سخنرانی‌های خود را قرار می‌دهم.
مرتضی منیری
خلاصه آمار
پیوندها
صفحه درس‌ها (به روزرسانی شده)
مقاله: فایل مقاله در مورد براوئر
۱۰ ساعت قبل
مقاله: مبانی نظریه مجموعه‌ای ریاضیات
۱ آذر ۰۳
مقاله: در مورد ترجمه کتاب فلسفه ریاضی Linnebo
۳۰ آبان ۰۳
مقاله: در مورد ترجمه کتاب فلسفه ریاضی Colyvan
۳۰ آبان ۰۳
مقاله: براوئر و گزاره‌های مطلقا اثبات‌ناپذیر
۲۱ آبان ۰۳
مقاله: چرا ریاضیات این‌همه کاربرد دارد؟ (نسخه چاپ شده)
۱۰ اسفند ۰۲
مقاله: اصل موضوع و تعریف در ریاضیات
۲۹ آذر ۰۲
مقاله: چرا ریاضیات این‌همه کاربرد دارد؟
۴ اسفند ۰۱
نسخه چاپ شده: آیا حساب متعین است؟
۲ اسفند ۰۱
مقاله: چند روشنگری در باب منطق
۱۰ ارديبهشت ۰۰
کتاب: فلسفه ریاضی برای ریاضیدانان
۲۶ مرداد ۹۹
مقاله: ریاضیات در تقابل با فلسفه و علوم طبیعی
۱۹ مهر ۹۸
اسلاید: Homotopy Type Theory
۱۴ شهریور ۹۸
ترجمه مقاله: منطق چیست؟
۶ خرداد ۹۸
اسلاید: چگونه ریاضیات کاربردی، محض شد
۹ آذر ۹۷
مقاله: ساختارگرایی در فلسفه ریاضی معاصر
۲۸ آبان ۹۷
مقاله: چرا فلسفه‌های سه‌گانه مشهور ریاضی مهم هستند
۹ تیر ۹۷
اسلاید: Bounded arithmetic
۲۴ آذر ۹۶
مقاله: فرهنگ پژوهش و نشر آن در ریاضیات
۱۹ دی ۹۵
خلاصه درس: نظریه علوم کامپیوتر
۳۱ شهریور ۹۵
در مورد درس: مبانی منطق و نظریه مجموعه
۷ شهریور ۹۵
مقاله: منطق، حساب و نظریه پیچیدگی
۲۳ مرداد ۹۵
اسلاید: Logic, algebra and computation
۹ مرداد ۹۵
اسلاید: طبیعی‌گرایی در فلسفه ریاضی
۹ مرداد ۹۵
اسلاید: فرهنگ پژوهش ریاضی
۹ مرداد ۹۵
