|
עזוב רציפות, כדי לדבר עליה כעל פונקציה מעל הממשיים, צריכים, ובכן, מספרים ממשיים ואם יש לך אותם (אקסיומטית: שדה \סגור ארכימדי וגו'), שאלת הקיום טריוויאלית.
לכן היא (שאלת הקיום של האי-רציונליים) דווקא מעניינת יותר (היסטורית, אנקדוטלית, פילוסופית - לא דווקא מתמטית) בהקשר גיאומטרי מאשר אנליטי.
ואם את קיומם של מספרים אי-רציונליים אלגבריים קל יחסית לקבל (כי קל לבנות קטועים שאורכם אי-רציונלי, בעזרת מספרים שלמים, וגם כי עוצמתם בת-מניה ואיך צורך ב-"אינסוף אקטואלי"), קיומם של מספרים אי-רציונליים טרנסצדנטיים הוא כבר בעייתי הרבה יותר. אתה מציע לעלות גם את הנושא הזה בתיכון?
|
|