The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem

DOI10.1007/11839132_16MaRDI QIDQ5429222zbMATH OpenOpenAlexFDO

Authors Jerzy Mycka, Francisco Coelho, José Félix Costa

Publication date 29 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11839132_16

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04)

Recommendations

• Some thoughts on hypercomputation
• Hypercomputation: Philosophical issues
• Physical constraints on hypercomputation
• X-machines and the halting problem: Building a super-turing machine
• Hypercomputation and the Physical Church‐Turing Thesis

Cited in

(3)

• Abstract geometrical computation. VIII: Small machines, accumulations \& rationality
• A Survey on Analog Models of Computation
• Euclid machines

This page was built for publication: The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem

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