45076

دانشگاه صنعتي شريف ، دانشكده رياضي

فوق ليسانس

59

1373

علوم پايه

در اين رساله به ساختار رياضي كه بر اساس منطق شهودي استوار است مي پردازيم . ضرورت انجام اين كار تولد فلسفه هاي جديد در ابتداي قرن بيستم بود كه منجر به اصلاح و تغيير منطق پذيرفته شده بود. تم اصلي ، طرد اثباتهاي غير ساختاري و پايه ريزي رياضيات بر اثباتهاي ساختاري مي باشد، در ادامه اصول جديدي از نظريه مجموعه ها كه توسط هاروي فريدمن براساس منطق شهودي معرفي مي گردد. بخش دوم رساله نيز موضوعي تحقيقي درباره نظريه بازگشتي مي باشد.

1-1

فارسي