คณิตศาสตร์พาราคอนซิสเตนต์
คณิตศาสตร์พาราคอน ซิสเตนท์ หรือบางครั้งเรียกว่าคณิตศาสตร์อินคอนซิสเตนท์คือความพยายามที่จะพัฒนาโครงสร้างพื้นฐานของคณิตศาสตร์ แบบคลาสสิก (เช่นการวิเคราะห์ ) โดยอาศัยตรรกะพาราคอน ซิสเตนท์ แทนตรรกะแบบคลาสสิกสามารถพัฒนาการปรับปรุงแก้ไขการวิเคราะห์ได้หลายรูปแบบ ตัวอย่างเช่น ฟังก์ชันที่ทั้งมีและไม่มีค่าที่กำหนดพร้อมกัน
คริส มอร์เทนเซน อ้างว่า (ดูเอกสารอ้างอิง):
- แทบจะเป็นไปไม่ได้เลยที่จะมองข้ามตัวอย่างของการวิเคราะห์และกรณีพิเศษของมัน นั่นคือแคลคูลัส มีหลายที่ที่แสดงให้เห็นถึงความเข้าใจที่ไม่สอดคล้องกันอย่างชัดเจน ดู Mortensen (1995) เป็นตัวอย่าง (1) การวิเคราะห์ที่ไม่เป็นมาตรฐานของ Robinson นั้นอิงอยู่กับปริมาณอนันต์ขนาดเล็ก ซึ่งเป็นปริมาณที่เล็กกว่าจำนวนจริงใดๆ รวมถึงส่วนกลับของมัน ซึ่งก็คือจำนวนอนันต์ มีเวอร์ชันที่ไม่สอดคล้องกัน ซึ่งมีข้อดีบางประการสำหรับการคำนวณในการสามารถละทิ้งปริมาณอนันต์ขนาดเล็กที่มีลำดับสูงกว่าได้ ทฤษฎีการอนุพันธ์กลับมีข้อดีเหล่านี้ ในขณะที่ทฤษฎีการอินทิเกรตไม่มี (2)
ลิงก์ภายนอก
- บทความในสารานุกรมปรัชญาออนไลน์
- บทความในสารานุกรมปรัชญาแห่งมหาวิทยาลัยสแตนฟอร์ด
- การบรรยายโดย มานูเอล เบรเมอร์ จากมหาวิทยาลัยดุสเซลดอร์ฟ
 | บทความเกี่ยวกับตรรกศาสตร์ทางคณิตศาสตร์นี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป |