محمد اردشیر

زندگی و اندیشه

محمد اردشیر بهرستاقی، زاده ۱۳۳۵، استاد تمام دانشکده ریاضی دانشگاه صنعتی شریف و پژوهشگر منطق ریاضی است. حوزه اصلی کار او منطق پایه، منطق شهودگرایانه، ریاضیات سازنده و فلسفه ریاضی است. کتاب «منطق ریاضی» او از آثار آموزشی شناخته‌شده در این حوزه در ایران است.

مطالب مرتبط با محمد اردشیر

نشست یک روزه فلسفه ریاضی

۳۱ خرداد ۱۳۹۸