بعد از کشف هندسه های نا اقلیدسی و پیدا شدن شکاف هایی در برهان های اقلیدس و نیز بروز تناقض هایی در نظریه طبیعی مجموعه ها، مانند پارادوکس بورالی-فورتی و پارادوکس راسل، برخی از ریاضیدانان قرن های 19 و 20 بر آن شدند تا مفاهیم بنیادین ریاضیات، از قبیل نظریه مجموعه ها، نظریه اعداد و هندسه اقلیدسی، را با استفاده از ابزار منطق مورد بازبینی قرار دهند. نتیجه این فعالیت ها روی کار آمدن مجدد دستگاه های اصول موضوعه در ریاضیات بود.
برای مطالعه کامل این مطلب و آشنایی با دستگاه های اصول موضوعه، به ادامه مطلب مراجعه کنید.
نوشته شده در ساعت 18:23 | دسته : ریاضیات |
|