טרחנים כפייתיים במתמטיקה

בתשובה להאייל האלמוני, 20/09/05 18:33

מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2)

331152

דורון שדמי • בתשובה להאייל האלמוני

יום ג', 20/9/2005, 19:47

""אבל x יכול להיות כל קבוצה, אין שום הגבלה על x"

משום מה איני רואה את תגובתי האחרונה אז הנה היא שוב:

הרי ברור לחלוטין כי השיטה הפורמלית היא פרי יצירתה של התודעה.

ברור גם כי כאשר אנו מישמים את השיטה הפורמלית אנו בוחרים להשתמש בתודעתנו בהתאם לכללי המשחק הפורמליים שקבענו.

כדי להמנע מהנחת המבוקש, אנו נמנעים במודע מלהכריע מהו x
באקסיומה (שאנחנו יצרנו) המגדירה את הקבוצה הריקה.

בכך אנו מאפשרים מצב אי-כריעות כחלק בלתי נפרד מאקסיומת-הקיום של ZF, אשר מחייב אותנו (לפי אותם כללי-משחק פורמליים שקבענו) להוסיף מיידית מטא-אקסיומה אשר תפתור את מצב אי-הכריעות שיצרנו במו תודעתנו, וכן הלאה וכן הלאה...

מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2)

331205

דורון שדמי • בתשובה לדורון שדמי

יום ד', 21/9/2005, 0:25

תיקון:

במקום:

"בכך אנו מאפשרים מצב אי-כריעות כחלק בלתי נפרד מאקסיומת-הקיום של ZF, אשר מחייב אותנו (לפי אותם כללי-משחק פורמליים שקבענו) להוסיף מיידית מטא-אקסיומה אשר תפתור את מצב אי-הכריעות שיצרנו במו תודעתנו, וכן הלאה וכן הלאה..."

יש לקרוא:

בכך אנו מאפשרים מצב אי-כריעות כחלק בלתי נפרד מאקסיומת-הקיום של ZF, הגוררת מיידית שינוי יסודי בשיטה הפורמלית, המאפשרת אי-כריעות AND כריעות כתנאי יסוד שלה.

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

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