Buridan's principle

DOI10.1007/s10701-012-9647-7zbMath1447.81009OpenAlexW2107135301MaRDI QIDQ1929306

Leslie Lamport

Publication date: 7 January 2013

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10701-012-9647-7

zbMATH Keywords

Buridan's assdecisions

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items (3)

ROSCoq: Robots Powered by Constructive Reals ⋮ Reconciling fault-tolerant distributed computing and systems-on-chip ⋮ Theorem-proving analysis of digital control logic interacting with continuous dynamics

Cites Work

• Unnamed Item
• Universal computation and other capabilities of hybrid and continuous dynamical systems
• Operational Quantum Physics
• Functional differential equations

This page was built for publication: Buridan's principle