Abstract: Интерпретации из алгебраических систем одной природы в алгебраические системы другой природы появились в середине XX века в работах Тарского и Мальцева как инструмент для доказательства неразрешимости теорий. В наше время этот инструмент совершенствуется и наполняется новой выразительной силой. Как известно, неразрешимость классических задач о построении с помощью циркуля и линейки сводится к алгебраическим задачам над полями рациональных и вещественных чисел. В докладе мы порассуждаем о том, не скрыт ли за этими переходами общий теоретико-модельный механизм интерпретаций.

Cite: Даниярова Э.Ю.
Теоретико-модельная формализация построений с помощью циркуля и линейки и интерпретация над полем действительных чисел
Омская конференция по геометрии и ее приложениям 13-16 окт. 2025