בתשובה להאייל הצעיר, 24/09/05 15:41
 |
|
 |
||
|
||||
 |
1 מה התפלספות? מה שתארת נקרא בדרך כלל אלגברה בוליאנית והוא כלי שימושי לכל מיני דברים בלוגיקה: לצורכי הצרנה של "הייתי יכול להיות נמוך" לוגיקה מודאלית ניראת מתאימה יותר: |
 |
 |
 |
|
|
|
||
|
||||
|
זה בדיוק העניין: לא דיברתי על אלגברה בוליאנית 1. דיברתי על כך שיש שתי דרכי רישום לטענות לוגיות: האלגברה הבוליאנית ומודל שמשתמש בקבוצות. כל טענה שניתן לנסח באלגברה בוליאנית אפשר לתרגם לטענה על מודל הקבוצות, אך לא להיפך. בכל אופן, תודה על הקישורים. לא הכרתי עד עכשיו את הלוגיקה המודאלית. 1 כלומר, דיברתי, אבל לא זה היה העניין. |
|
|
|
|
|
|
||
|
||||
|
עכשיו אני לא בטוח שהבנתי אותך. אלגברה בוליאנית זה לא רק ''אמת'' ו''שקר'', אלא משהו כללי יותר שכולל את מודל הקבוצות שתארת (אם הבנתי אותו נכון). את הטענה השניה אני מנסח בתור ''לא כל האלגבראות הבוליאניות שקולות (לגבי טענות מסדר שני)''. | |
|
|
|
|
|
||
|
||||
|
צודק. קראתי שוב את הפסקה הרלוונטית בערך בויקיפדיה, וגיליתי שדיברתי, בלי לדעת, על אלגברה בוליאנית. אני כנראה גאון שמאחר את זמנו :-) . |
|
|
|
|
|
|
||
|
||||
|
אם כבר מדברים על זה, אז שים לב שאלגברה בוליאנית היא משהו כללי יותר מאשר קבוצת כל תתי-הקבוצות של קבוצה נתונה עם חיתוך ומשלים. למעשה, זה שקול למשפחה של תתי-קבוצות כאלו, הסגורה לחיתוך ומשלים. בעזרת המקרים שלא טריוויאליים האלו בונים כפיות1. 1 אם כי אני מעדיף את הגישה של kunen, שעובדת עם סתם יחסי סדר. |
|
|
|
|
|
|
||
|
||||
|
(כפיות זה forcings ולא tea spoons) | |
|
|
|
|
|
||
|
||||
|
אתה ואלון, party poopers תגובה 320231. | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |