בתשובה לסמילי, 15/03/02 8:49
כן נכון. 61207
סוגים שונים של אלגברה הם לא "אלגברות שונות".

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

ענפים של עץ הם עדיין העץ.

אין ענף מתמטי שלא שייך ל"עץ" המתמטיקה האחד והיחיד שאנו מכירים.

שורשיו של העץ הם הלוגיקה החזקה.

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

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

השימוש השני הוא מאד ספציפי: הוא מתייחס אל מרחב וקטורי, עליו מוגדרת פעולה (בד"כ) ביליניארית. למשל, אלגבראות לי הן כאלה, עבורן הפעולה הנ"ל, הנקראת "סוגריים" (כי היא מסומנת לרוב כך:
[A,B], כיון שסימן הכפל בדרך כלל שמור לפעולה אסוציאטיבית, וסוגרי לי אינם כאלה), מקיימת בילינאריות, אנטיסימטריות\נילפוטנטיות טריויאלית (אקויולנטי תחת שדות בעלי מציין שונה משניים), ושוויון ג'ורדן, שדומה לחוק לייבניץ לגזירת מכפלת פונקציות.

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

האם המשפט הבא הוא משפט אמת ?

משפט :
יש רק מתמטיקה אחת, אין מתמטיקה אלטרנטיבית ברת קיימא ותשתית המתמטיקה היא אחת ויחידה - הלוגיקה.
ואם לסבתא היו גלגלים? 61241
ובכן, אינני בטוח. מתמטיקה זה תחום מחקר אינטלקטואלי. בחלקים שונים שלה משתמשים ברמות שונות של דיוק הגדרתי. כולם משתמשים בתשתית לוגית די בסיסית, ולא דוגלים באמפיריות. ("יש הרבה מקומות בהן זה עובד, לכן זה נכון" זו לא דרך הוכחה תקפה, אם כי יש העוסקים בלפתח תוצאות מהשערות.)
מצד שני, יש מחלוקות לגבי כמה אקסיומות, בעיקר בתחום של תורת הקבוצות. ספציפית, יש הגורסים כי אקסיומת הבחירה שווה בחשיבותה לשאר אקסיומות צרמלו, ויש שלא. אקסיומת הבחירה נמצאה כבלתי-תלויה בהן, אבל אינני מכיר התעסקות בתורת קבוצות אנטי-בחירתית, בדומה לגיאומטריה ההיפרבולית. ישנם דברים מאד חשובים, הנובעים או שקולים לאקסיומת הבחירה, כמו הלמה של שוורץ. בינתיים, התרשמתי שלפחות בפקולטה למתמטיקה בטכניון, הגישה היא pro-choice.
הבהרה. 61659
Jacobi, not Jordan.
שוויון יעקובי, נכון. אני מתנצל. 61781
משום מה אני מתבלבל ביניהם.
קובי, תביא לי 61797
אתה מתנצל?! ששרית וינו-אלעד תתנצל!
הדברים אינם עומדים בסתירה. 61822
כן נכון. 61279
זה לא "סוגים שונים של אלגברות" זה "אלגברות שונות". נכון שכולן נמצאות "תחת חוקי הלוגיקה", אבל זה לא אומר שהן זהות. לרגע לא טענתי שיש אלגברה שלא שייכת ל"עץ" המתמטיקה, רק טענתי שיש מספר אלגברות *שונות* וכולן נכונות באותו מובן (זאת אומרת, אין אפשרות לומר על אלגברה אחת שהיא נכונה יותר מהשניה), ברגע שאחת נכונה, כולן נכונות.
-------------------------------------------
אני לא יכול להניח שאתה יודע (או לא יודע) משהו, וברגע שאני כותב באייל (שהוא פורום ציבורי) אני מנסה לכתוב כך שגם מי שלא יודע מראש את הכל, יבין על מה אני כותב (הרבה יותר קל לקרוא הסבר למשהו שאתה יודע, מאשר שימוש במושגים שאתה לא מבין. בנוסף לכך, ההערה שלי כוונה למנוע תגובות בסגנון תגובה 61211 (מה גם שההערה הזו לא מדוייקת, ההגדרה לאלגברה שאני מכיר כוללת בתוכה גם את אלגברת לי וגם את האלגברה הבוליאנית).

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

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