תנו לגדול בשקט

בתשובה לירדן ניר-בוכבינדר, 16/07/05 23:22

ספר מומלץ בנושא

317293

אורי גוראל-גורביץ' • בתשובה לירדן ניר-בוכבינדר

יום א', 17/7/2005, 0:13

אלון משתמש ב''לוגיקה מתמטית'' לתאר את הלוגיקה המשמשת לתיאור המתמטיקה בכללותה. לוגיקה מודאלית שימושית לתיאור כל מני מערכות מתמטיות, כפי שכתבת, אבל לא לתיאור המתמטיקה.

ספר מומלץ בנושא

317331

ירדן ניר-בוכבינדר • בתשובה לאורי גוראל-גורביץ'

יום א', 17/7/2005, 8:32

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

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש והצהרת נגישות	© כל הזכויות שמורות