Question

In its SIMPLIEST form, what is the Entscheidung problem? (Definition for dummies

Answer 1

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