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