Euclid machines

DOI10.1007/S11225-024-10151-ZMaRDI QIDQ6987200zbMATH OpenFDO

Authors Wagner de Campos Sanz, Petrucio Viana

Publication date 7 May 2025

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-024-10151-Z

zbMATH Keywords

effective procedureEuclid machinegeometry of euclidtheory of problems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A history of Greek mathematics. Vol. 1: From Thales to Euclid. Vol. 2: From Aristarchus to Diophantus.
• Euclidean machines: general theory of problem
• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 3943758 (Why is no real title available?)
• scientific article; zbMATH DE number 3179417 (Why is no real title available?)
• scientific article; zbMATH DE number 50290 (Why is no real title available?)
• scientific article; zbMATH DE number 51343 (Why is no real title available?)
• scientific article; zbMATH DE number 2062344 (Why is no real title available?)
• Kolmogorov and the general theory of problems
• On Computable Numbers, with an Application to the Entscheidungsproblem
• The annotated Turing. A guided tour through Alan Turing's historic paper on computability and the Turing machine
• The concept of existence and the role of constructions in Euclid's \textit{Elements}
• The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem
• Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI

This page was built for publication: Euclid machines

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