• شماره ركورد
    1324320
  • عنوان مقاله

    تجاهل بورباكي

  • پديد آورندگان

    متاياس ، اي . آر . دي . Universität Freiburg, Germany - Post-Doctoral Researcher at Albert- Ludwigsy , خاني ، محسن دانشگاه آلبرت لودويگ فرايبورگ

  • از صفحه
    129
  • تا صفحه
    150
  • كليدواژه
    مبانيِ رياضيات , نظريه‌ مجموعه‌ها , بورباكي , هيلبرت , صورت‌گرايي
  • چكيده فارسي
    آدريان متاياس رويكر‏د بورباكي به مباني رياضيات، منطق‏، و نظريه‎‏ٔ مجموعه‌ها را به نقد كشيده‌ است.او معتقد است كه بورباكي با اينكه از نتايج گودل در عدم امكان تكميل برنامهٔ صورت‎‏‌گرايي هيلبرت براي رياضياتمطّلع بوده است، خود را به تجاهل زده و از آوردن نام گودل و اشاره به قضيه‌هاي او به‌كلي خودداري كرده است.پس از گمانه‌زني دربارهٔ علت احتمالي اين امر، نويسنده به تفاوت درك حسابي و هندسي در رياضيات پرداخته است.به نظر وي‏، اصول تسرملو، كه مورد تأييد بورباكي نيز بوده، براي جنبهٔ هندسي رياضيات كافي‌اند، ولي جنبهٔ حسابي رياضيات نيازمند اصول تسرملو‌-‌‌فرانكل است. م .
  • عنوان نشريه
    فرهنگ و انديشه رياضي
  • عنوان نشريه
    فرهنگ و انديشه رياضي