בתשובה לעוזי ו., 29/08/05 12:11
תגובתי למאמר הראשון 326446
הי עוזי,

אם אתה מתכוון ל-http://www.geocities.com/complementarytheory/gishoor...
אז בעמודים 3 ו-‏4 מוצגים המספרים הטבעיים, כאשר יתירות ואי-וודאות הן תכונות מסדר-ראשון שלהם.

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

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

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

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

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

אשמח לענות לשאלותיך לאחר שתעיין בהם.

תודה,

דורון

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

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