GEB, стр. 50

GEB, стр. 50

Два типа интерпретации:

Значащая — теоремы соответствуют истинам
Незначащая — соответствия нет

Задача математика: создать систему, где теоремы изоморфны фрагментам реальности.

🌀 Форма должна отражать содержание.