בתשובה לדורון שדמי, 03/09/05 23:44
פתיחת ספר היסודות של אוקלידס 327422
לא מדובר על מקש ה-BLANK כקלט. להפך - בהגדרה של מכונת טיורינג מקש ה-BLANK מסמן "פה זה כבר לא הקלט".

הסיפור מאוד פשוט: מ"ט משתמשת, כידוע, בסרט עם אינסוף מקומות לתווים. בתחילת הפעולה של המ"ט, המשבצות הראשונות בסרט מכילות את הקלט, ושאר המשבצות מכילות BLANKS. הקלט מוגדר בתור מה שלפני ה-BLANKS. מ"ט רצה על קלט ריק, כאשר אין שום דבר לפני ה-BLANKS. כלומר, כאשר כל הסרט מכיל רק BLANKS.
פתיחת ספר היסודות של אוקלידס 327423
במצב ריקנות אין לא אתה ולא אני ולא מכונת-טיורינג ולא סרט ולא מידע או אי-מידע על סרט וכו'.

אני מקווה שאתה מבין למה אני מתכוון (תיאור זה מתאים גם למצב מלאות מוחלטת).
פתיחת ספר היסודות של אוקלידס 327428
אני מבין למה אתה מתכוון.

אגב, אני צודק שבמצב כזה כל טענה נכונה, וגם שלילתה נכונה?

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

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

המספרים הטבעיים של המתמטיקה הרגילה מוגבלים רק ואך ורק למצב לא-סימטרי-סדרתי הנעדר כליל יתירות ואי-וודאות, וזאת כתוצאה ישירה של הגדרת תוכן קבוצה כאשר יתירות ואי-וודאות אינן תכונות שלה (לדוגמא:{a,a,b}={a,b}), ומצב לא-סימטרי-סדרתי זה למעשה הוא המאפיין היסודי של R .

R היא למעשה ה"צל" של מערכת המספרים של המתמטיקה-המונדית (המבוססת על כל תבניות המידע הסדורות שבין אי-מובחנות מכסימלית למובחנות מכסימלית) , ולוגיקת האמת/שקר אינה אלא מקרה פרטי של הלוגיקה-המשלימה שבין אמת___שקר (כאשר אמת XOR שקר הוא מקרה פרטי וקיצון שלה).

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

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

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