چرا فلسفه های سه گانه مشهور ریاضی مهم هستند

سال انتشار: 1397
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 222

فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_MCT-37-62_001

تاریخ نمایه سازی: 23 مرداد 1401

چکیده مقاله:

در این مقاله، به این موضوع می پردازیم که چرا فلسفه های مشهور ریاضی، یعنی منطق گرایی، شهودگرایی و صورتگرایی که هر یک در طول تاریخ با ایرادهای اساسی مواجه شدند، در زمان پیدایش خود موجه بوده اند. نشان می دهیم که این فلسفه ها بازتاب اندیشه های فلسفی ریاضی زمانه خود بوده اند. این فلسفه ها علی رغم ایرادهایی که به آنها وارد شده است، تاثیری مهم در شکل گیری دیدگاه نسل های بعدی ریاضیدانان و فیلسوفان ریاضی داشته اند. به علاوه دستاوردهای جانبی آنها در ریاضیات و علوم رایانه نیز شگرف بوده است.

نویسندگان

مرتضی منیری

دانشگاه شهید بهشتی، دانشکده علوم ریاضی

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • ‎Brown‎, ‎J‎. ‎R.‎, Philosophy of Mathematics‎: ‎A Contemporary Introduction to ...
  • ‎Carter‎, ‎J.‎, ‎Structuralism as a philosophy of mathematical practice‎, Synthese‎, ...
  • ‎Davis‎, ‎M.‎, The Universal Computer‎: ‎The Road from Leibniz to ...
  • ‎Detlefsen‎, ‎M.‎, ‎Brouwerian intuitionism‎, Mind‎, ‎New Series‎, ۹۹ (۱۹۹۰)‎, ‎۵۰۱۵۳۴‎ ...
  • ‎Feferman‎, ‎S.‎, ‎The impact of Gödel's incompleteness theorems on mathematics‎, ...
  • ‎George‎, ‎A.‎, ‎Velleman‎, ‎D.‎, Philosophies of Mathematics‎, ‎BlackWell Publishing‎, ‎Oxford‎, ...
  • ‎Gillies‎, ‎D.‎, ‎German philosophy of mathematics from Gauss to Hilbert‎, ...
  • ‎Girard‎, ‎J.-Y.‎, Proof Theory and Logical Complexity‎, ‎Bibliopolis‎, ‎Napoli‎, ‎۱۹۸۷‎ ...
  • ‎Reck‎, ‎E‎. ‎H.‎, ‎Frege‎, ‎Dedekind‎, ‎and the origins of logicism‎, ...
  • ‎Tait‎, ‎W‎. ‎W.‎, ‎Frege versus Cantor and Dedekind‎: ‎On the ...
  • ‎Trolestra‎, ‎A‎. ‎S.‎, ‎van Dalen‎, ‎D.‎, Constructivism in Mathematics (vols‎. ...
  • ‎Moschovakis‎, ‎J‎. ‎R.‎, ‎Vafeiadou‎, ‎G.‎, ‎Intuitionistic mathematics and logic:‎url{http://www.math.ucla.edu/~joan/gvfjrmeng.pdf}‎‎Raatikainen‎, ‎Panu‎, ...
  • نمایش کامل مراجع