התנ''ך החייזרי (חלק ב')

בתשובה לשוטה הכפר הגלובלי, 14/08/02 9:39

בואי נעשה סדר.

84835

אשר לבשן • בתשובה לשוטה הכפר הגלובלי

יום ד', 14/8/2002, 11:29

אכסיומה היא הנחה בסיסית ממנה בונים תיאוריה. לעומת זאת, מה שהזכיר easy הוא משפט ככל המשפטים במתימטיקה: הוכח שלא ניתן להוכיח או להפריך את קיומה של קבוצה בעוצמה הנדונה.

בואי נעשה סדר.

84838

שוטה הכפר הגלובלי • בתשובה לאשר לבשן

יום ד', 14/8/2002, 11:37

ולכן אפשר לנסח אקסיומה שמניחה את קיומה של קבוצה כזאת, ואפשר לנסח אקסיומה שמניחה את אי קיומה של קבוצה כזאת, ובשני המקרים לקבל מתמטיקה חסרת סתירות.

השאלה עד כמה "בסיסי" המשפט הזה תלויה בשאלה כמה עשירות ושונות זו מזו יהיו התורות שיתקבלו, אבל בעקרון היא לא שאלה שיש עליה תשובה אובייקטיבית.

(קדימה, עוזי :-))

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות