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

asked
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
answered
User Jakub Adamek
by
8.1k points
Welcome to Qamnty — a place to ask, share, and grow together. Join our community and get real answers from real people.