יש מערכת לוגית צורנית שמאפשרת תיאור של תורת־הקוונטים ותורת־היחסות?

אתה מוזמן להקשיב לפודקאסט האוניברסיטה הקטנה של המדעים, יש שם פרקים שמוקדשים לזה

ספרים

שואל השאלה:
^^היא איננה מערכת לוגית צורנית..

^תוכל להסביר?

שפה? מילים?