בתשובה לדורון שדמי, 27/10/05 15:46
The axiom of extensionality והנחת המבוקש 341422
ב''מתמטית'', במקום ''רק אומרת משהו'' אומרים ''טענה'' או ''פסוק''.
The axiom of extensionality והנחת המבוקש 341429
האם קיימת הגדרה למושג "הגדרה" בשפת המתמטיקה?

אם כן, אז הפנה נא אותי למקור מהימן המגדיר "הגדרה".
The axiom of extensionality והנחת המבוקש 341430
כבר ציינתי שעכש''י אין הגדרה ל''הגדרה'' בלוגיקה מתמטית, ואני גם לא רואה סיבה שתהיה. הרי, בהינתן מושגי יסוד, אפשר להסתדר גם בלי הגדרות (טוב, בני אדם לא יכולים שלא להשתמש בהגדרות ובכל זאת להישאר שפויים, אבל לוגיקה מתמטית לא עוסקת בבני אדם).
The axiom of extensionality והנחת המבוקש 341435
אם כך, האם לדעתך תוכן תגובה 341345 הינו המצאתו האישית של האח של סמיילי, ואיננה מקובלת על קהילת המתמטיקאים?
The axiom of extensionality והנחת המבוקש 341440
זה לא מדויק. יש הגדרה ל "הגדרה". וזה מה שכתבתי (בערך - אפשר להרחיב את זה גם לסימני יחס ופונקציה ולאו דווקא קבועים). ואפילו יש משפטים שמתעסקים עם זה, למרות שרובים אומרים דברים שנראים אולי מובנים מאליהם, הם בכל זאת מעניינים (כמו למשל משפט בת' Beth).
The axiom of extensionality והנחת המבוקש 341452
מושג ההגדרה לפי וויקיפדיה: http://he.wikipedia.org/wiki/%D7%94%D7%92%D7%93%D7%A...
The axiom of extensionality והנחת המבוקש 341496
שם זה מוסבר מבחינה פילוסופית. חשבתי שאנחנו מדברים על מתמטיקה. לפעמים מילים שונות יכולות לקבל משמעות שונה בהקשרים שונים. בהקשר של מתמטיקה פורמלית, הגדרה זה מה שאני אמרתי.
The axiom of extensionality והנחת המבוקש 341504
תוכל לפרט קצת על משפט בת'? לא מצאתי עליו מקורות מספיקים ברשת.
The axiom of extensionality והנחת המבוקש 341519
כן: נניח שיש לנו שפה מסדר ראשון L, ונניח ש 'L מכילה אותה ויש בה עוד יחסים.
כמו כן יש לנו תורה שלמה בשפה L שנקרא לה T.
נאמר ש 'T היא הרחבה גדירה של T אם לכל יחס ב 'L , נניח R, יש נוסחה בשפה L כך ש 'T חושבת ש R שקול לנוסחה הזו. (שקול - שלכל n יה בעולם, R והנוסחה הזו מסכימים).
משפט בת': תנאי הכרחי ומספיק לכך ש 'T הרחבה גדירה של T הוא שלכל מודל של T יש הרחבה יחידה למודל של 'T.
בניסוח אחר, קצת פחות פורמלי - הגדרה סתומה היא בעצם הגדרה מפורשת.
The axiom of extensionality והנחת המבוקש 341873
וואלה, מעניין. תודה!
The axiom of extensionality והנחת המבוקש 341979
"שלכל מודל של T יש הרחבה יחידה למודל של 'T."

האם הכתוב לעיל אומר שלכל מודל T יש מקבילה חד-משמעית ב-'T ?
The axiom of extensionality והנחת המבוקש 341983
אני לא יודע אם זה טעות או בכוונה, אבל T הוא לא מודל, וחסרה בתגובה שלך המילה "של".
כמו כן, אני לא בטוח שאני מבין למה אתה מתכוון כשאתה אומר "מקבילה חד משמעית".
אני חושב שהניסוח שלי היה מאוד מובן, ואין צורך למצוא ניסוח אחר. אם אתה לא מבין אותו, תשאל.

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

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