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

User Billerby
by
5.8k 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
6.2k points