Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
2 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
 


Axiomatizing Origami planes

Anna Dmitrieva

Institute for Logic, Language and Computation, University of Amsterdam
Видеозаписи:
MP4 250.9 Mb

Количество просмотров:
Эта страница:397
Видеофайлы:104
Youtube:

Anna Dmitrieva



Аннотация: We provide a variant of an axiomatization of elementary geometry based on logical axioms in the spirit of Huzita–Justin axioms for the Origami constructions. We isolate the fragments corresponding to natural classes of Origami constructions such as Pythagorean, Euclidean, and full Origami constructions. The sets of Origami constructible points for each of the classes of constructions provides the minimal model of the corresponding set of logical axioms.
Our axiomatizations are based on Wu's axioms for orthogonal geometry and some modifications of Huzita–Justin axioms. We work out bi-interpretations between these logical theories and theories of fields as described in J.A. Makowsky (2018). Using a theorem of M. Ziegler (1982) which implies that the first order theory of Vieta fields is undecidable, we conclude that the first order theory of our axiomatization of Origami is also undecidable.
Joint work with L. Beklemishev and J.A. Makowsky.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024