96.5k views
5 votes
In its SIMPLIEST form, what is the Entscheidung problem? (Definition for dummies

User Billerby
by
8.5k points

1 Answer

3 votes
A challenge posed by David Ackerman in 1928 The problem is an algorithm that considers, an input, a statement and answers (like yes and no) according to whether the statement is universally valid in every structure satisfying the axioms
User Jakub Adamek
by
8.1k points
Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.

9.4m questions

12.2m answers

Categories