Parakonsistent matematik - Paraconsistent mathematics

Ushbu maqolaning mavzusi Vikipediyaga mos kelmasligi mumkin umumiy e'tiborga loyiqlik bo'yicha ko'rsatma. Iltimos, havola orqali notanishlikni aniqlashga yordam bering ishonchli ikkilamchi manbalar bu mustaqil mavzuni va shunchaki ahamiyatsiz so'zlardan tashqari muhim yoritishni ta'minlaydi. Agar nogironlik o'rnatilmasa, maqola ehtimol bo'lishi mumkin birlashtirildi, qayta yo'naltirildi, yoki o'chirildi. Manbalarni toping: "Parakonsistent matematika"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2019 yil fevral) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Ushbu maqolada a foydalanilgan adabiyotlar ro'yxati, tegishli o'qish yoki tashqi havolalar, ammo uning manbalari noma'lum bo'lib qolmoqda, chunki u etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2014 yil fevral) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Parakonsistent matematik, ba'zan chaqiriladi mos kelmaydigan matematik, ning klassik infratuzilmasini rivojlantirishga urinishni anglatadi matematika (masalan, tahlil ) ning asosiga asoslangan parakonsistent mantiq o'rniga klassik mantiq. Bir qator tahlillarni ishlab chiqish mumkin, masalan, ikkalasi ham bir vaqtning o'zida berilgan qiymatga ega bo'lmagan funktsiyalar.

Kris Mortensen da'vo qilmoqda (ma'lumotnomalarga qarang):

Tahlil misollarini va uning maxsus holatini, hisob-kitobini e'tiborsiz qoldirish qiyin edi. O'ziga xos tushunarsiz tushunchalar mavjud bo'lgan joylar juda ko'p; masalan, Mortensen (1995) ga qarang. (1) Robinzonning nostandart tahlili cheksiz kichiklarga, har qanday haqiqiy sondan kichikroq miqdorlarga, shuningdek ularning o'zaro o'zaro ta'sirlariga, cheksiz sonlarga asoslangan. Bu bir-biriga mos kelmaydigan versiyaga ega, bu esa yuqori darajadagi cheksiz kichiklarni bekor qilish imkoniyatini hisoblashda hisoblash uchun ba'zi afzalliklarga ega. Differentsiya nazariyasi ushbu afzalliklarga ega bo'lib chiqdi, integratsiya nazariyasi esa yo'q edi. (2)

Adabiyotlar

• McKubre-Jordens, M. va Weber, Z. (2012). "Parakonsistent mantiqdagi haqiqiy tahlil". Falsafiy mantiq jurnali 41 (5):901–922. doi: 10.1017 / S1755020309990281
• Mortensen, C. (1995). Mos kelmaydigan matematika. Dordrext: Klyuver. ISBN  0-7923-3186-9
• Weber, Z. (2010). "Parakonsistent to'plamlar nazariyasida transfinite sonlar". Ramziy mantiqni ko'rib chiqish 3 (1):71–92. doi:10.1017 / S1755020309990281

Tashqi havolalar

• Ga kirish Internet falsafasi entsiklopediyasi [1]
• Ga kirish Stenford falsafa entsiklopediyasi [2]
• Dyusseldorf universiteti vakili Manuel Bremerning ma'ruzalari [3]

Bu matematik mantiq bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.