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