Everything about Entscheidungsproblem

🧭 Start here: a 6-step reading path

1. Read the overview: EntscheidungsproblemA 5-minute orientation
2. Skim a recent paper: Reflections on the Russian Translation of A.M. Turing’s Paper “On Computable Numbers, with an Application to the Entscheidungsproblem”Influential work since 2022
3. Pick up a classic book: Frontiers of combining systemsThe most-reprinted book on the subject
4. Read the landmark paper: On Computable Numbers, with an Application to the EntscheidungsproblemCited 2,890 times
5. Go sideways: SatisfiabilityA closely related topic
6. Go sideways: MetamathematicsA closely related topic

🏆 Landmark papers (most cited)

• On Computable Numbers, with an Application to the Entscheidungsproblem

  A. M. Turing · 1937 · Proceedings of the London Mathematical Society · 2,890 citations

• A note on the Entscheidungsproblem

  Alonzo Church · 1936 · Journal of Symbolic Logic · 390 citations

• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

  A. M. Turing · 1938 · Proceedings of the London Mathematical Society · 273 citations

• Beitr�ge zur Algebra der Logik, insbesondere zum Entscheidungsproblem

  Heinrich Behmann · 1922 · Mathematische Annalen · 92 citations

• Zum Entscheidungsproblem der mathematischen Logik

  Paul Bernays, Moses Sch�nfinkel · 1928 · Mathematische Annalen · 78 citations

• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE

  A. S. Kahr, Edward F. Moore, Hao Wang · 1962 · Proceedings of the National Academy of Sciences · 74 citations

• Turing-machines and the Entscheidungsproblem

  J. Richard Büchi · 1962 · Mathematische Annalen · 63 citations

• Zum Entscheidungsproblem des logischen Funktionenkalküls

  Kurt Gödel · 1933 · Monatshefte für Mathematik und Physik · 48 citations

🆕 Influential since 2022

• Reflections on the Russian Translation of A.M. Turing’s Paper “On Computable Numbers, with an Application to the Entscheidungsproblem”

  Faculty of Philosophy, Lomonosov Moscow State University, Vasily O. Shangin · 2022 · Voprosy Filosofii · 0 citations

• Die Wahl der Rechtsform als Entscheidungsproblem

  Marcus Oehlrich · 2023 · WiSt - Wirtschaftswissenschaftliches Studium · 0 citations

📚 Books worth reading

• Frontiers of combining systemsFroCoS 2002 (2002 Santa Margherita Ligure, Italy) · 2002
• Frontiers of Combining SystemsBernhard Gramlich · 2005

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Satisfiability In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. For example, the formula x + 3 = y {\displaystyl…
• Metamathematics Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about…
• Halting problem In computability theory, the halting problem is the decision problem of, given an arbitrary computer program and an input, determining whether said program…
• Timeline of mathematical logic A timeline of mathematical logic; see also history of logic. 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining…
• History of the Church–Turing thesis The history of the Church–Turing thesis ("thesis") involves the history of the development of the study of the nature of functions whose values are effectively…
• List of mathematical logic topics This is a list of mathematical logic topics. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and…
• Church–Turing thesis In computability theory, the Church–Turing thesis is a thesis about the nature of computable functions. It states that a function on the natural numbers…
• Turing machine A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table…