Синтаксис, истина, понимание, математика

[deep_econom]

Является ли концепция истины А. Тарского философской теорией

Comments

[dobr_i_trezv]

Понимание это попадание в результате вычисления в прогнозируемый результат. Это вычисление и есть интерпретация. Программа вычислений - есть модель. Жёсткая, с переменными, с макросами, метапрограммы. Модели разных слоев абстракции.

Что есть минимальная модель?