محمد اردشیر
دانشگاه صنعتی شریف، دانشکده علوم ریاضی
[ 1 ] - نظریه ذهن آفریننده براوئر
در این مقاله، نظریه ذهن براوئر را معرفی می کنیم. پس از بیان مبانی فلسفی آن، به صورتبندی های مختلف آن می پردازیم و در خاتمه، چند نتیجه معروف ریاضی آن را به اختصار نام می بریم.
[ 2 ] - ففرمن و فلسفه ریاضی لاکاتوش
فلسفه ریاضی لاکاتوش یک فلسفه جدی است و از طرف فلاسفه ریاضی مورد نقد و بررسی قرار گرفته است. یکی از مهمترین نقادی ها از طرف ففرمن انجام شده است. در این مقاله، به بررسی نقد ففرمن از فلسفه ریاضی لاکاتوش می پردازیم.
نویسندگان همکار