Can I read Propositional Counterexample to Böhm-Jacopini on EtoBox?

Propositional Counterexample to Böhm-Jacopini by Ionel1970 is a document available to read on EtoBox.

What is Propositional Counterexample to Böhm-Jacopini about?

This document discusses the Böhm-Jacopini theorem from a propositional perspective using automata theory. It makes three main points: 1) The classical proofs of the Böhm-Jacopini theorem are formulated at the first-order level but the theorem is essentially propositional. 2) Using automata on guarded strings and bisimulation, the document shows that the purely propositional formulation of the theorem is false. 3) It also gives propositional proofs that loop programs with multi-level breaks can represen

Author

Ionel1970

Language

EN