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

שפה? מילים?

ספרים

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

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

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