شماره ركورد
1324320
عنوان مقاله
تجاهل بورباكي
پديد آورندگان
متاياس ، اي . آر . دي . Universität Freiburg, Germany - Post-Doctoral Researcher at Albert- Ludwigsy , خاني ، محسن دانشگاه آلبرت لودويگ فرايبورگ
از صفحه
129
تا صفحه
150
كليدواژه
مبانيِ رياضيات , نظريه مجموعهها , بورباكي , هيلبرت , صورتگرايي
چكيده فارسي
آدريان متاياس رويكرد بورباكي به مباني رياضيات، منطق، و نظريهٔ مجموعهها را به نقد كشيده است.او معتقد است كه بورباكي با اينكه از نتايج گودل در عدم امكان تكميل برنامهٔ صورتگرايي هيلبرت براي رياضياتمطّلع بوده است، خود را به تجاهل زده و از آوردن نام گودل و اشاره به قضيههاي او بهكلي خودداري كرده است.پس از گمانهزني دربارهٔ علت احتمالي اين امر، نويسنده به تفاوت درك حسابي و هندسي در رياضيات پرداخته است.به نظر وي، اصول تسرملو، كه مورد تأييد بورباكي نيز بوده، براي جنبهٔ هندسي رياضيات كافياند، ولي جنبهٔ حسابي رياضيات نيازمند اصول تسرملو-فرانكل است. م .
عنوان نشريه
فرهنگ و انديشه رياضي
عنوان نشريه
فرهنگ و انديشه رياضي
لينک به اين مدرک