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