Вопросы к Поиску с Алисой
Разница между классической и современной интерпретацией математической формулы заключается в подходе к определению истинности выражения. dic.academic.ru
Классическая интерпретация предполагает, что единственным выделенным элементом является единица булевой алгебры (обозначаемая также «истина»). dic.academic.ru Формула считается истинной при данной интерпретации, если её значение принимает только выделенные значения. dic.academic.ru
Современная интерпретация может включать более строгие подходы, при которых любая теория должна выводиться из аксиом и быть непротиворечивой. istina.msu.ru Такая математика готова к компьютерным доказательствам и не зависит от понимающего субъекта. istina.msu.ru
Также современная интерпретация может учитывать, что традиционная математическая нотация содержит неоднозначности, и для её более понятного представления разрабатываются специальные синтаксисы и структуры. habr.com