The undecidability of orthogonal and origami geometries

DOI10.1007/978-3-662-57669-4_15OpenAlexW2811074418MaRDI QIDQ1799289

Johann A. Makowsky

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_15

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) General theory of linear incidence geometry and projective geometries (51A05) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Undecidable First-Order Theories of Affine Geometries ⋮ Morley's theorem revisited: origami construction and automated proof ⋮ Axiomatizing origami planes

This page was built for publication: The undecidability of orthogonal and origami geometries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799289)