תאוריה מתמטית
תאוריה מתמטית (או תורה מתמטית) היא ענף במתמטיקה המבוסס על קבוצה של אקסיומות. בה בעת זה יכול גם להיות גם גוף של ידע (למשל, מבוסס על אקסיומות והגדרות ידועות), ולכן במובן זה יכול להתייחס לתחום של מחקר מתמטי במסגרת שנקבעה.[1][2]
אחת המעלות התאורטיות המשמעותיות ביותר במתמטיקה הוא עומק ההסבר. לדוגמה, לתורת הקבוצות יש את היכולת לסדר ולהסביר את תורת המספרים ואנליזה גיאומטרית.
למרות ההכרח ההגיוני הרב (וההוכחה העצמית) של אמיתות אריתמטיות כגון 1<3, 2+2=4, 6-1=5 וכן הלאה, תאוריה שרק מניחה המון אמיתות כאלה לא תהיה מספקת. תאוריה נאותה היא תאוריה שבה אמיתות כאלה נגזרות מאקסיומות קודמות באופן הסברתי, כגון אקסיומות תאורטיות של קבוצות, כגון אקסיומות צרמלו-פרנקל. ההישג הייחודי של תורת הקבוצות האקסיומטית הוא יכולתה לתת בסיס לגזירה של מכלול המתמטיקה הקלאסית מקומץ אקסיומות. הסיבה שתורת הקבוצות מוערכת כל כך היא בגלל העומק ההסברתי שלה. תאוריה מתמטית שרק מניחה אינסוף אמיתות אריתמטיות ללא עומק הסבר לא תהיה מתחרה רצינית לאריתמטיקה של פאנו או לתורת הקבוצות של צרמלו-פרנקל.[3][4]
ראו גם[עריכת קוד מקור | עריכה]
- משפט - הצהרה עם הוכחה מתמטית
הערות שוליים[עריכת קוד מקור | עריכה]
- ^ Nelson, Sam. "Theorems and Theories". www.esotericka.org. אורכב מ-המקור ב-2014-08-19.
- ^
Chu-Carroll, Mark C. (13 במרץ 2007). "Theorems, lemmas, and corollaries". Good math / bad math (blog).
{{cite web}}: (עזרה) - ^ Maddy, Penelope (2011). Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford University Press. p. 82.
- ^
Maddy, Penelope (1988). "The Journal of Symbolic Logic". Believing the Axioms II. 53 (3): 762. doi:10.2307/2274569. נבדק ב-2 במרץ 2020.
{{cite journal}}: (עזרה)