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