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