2012 | OriginalPaper | Chapter
Algorithmic Applications
Authors : Jaroslav Nešetřil, Patrice Ossona de Mendez
Published in: Sparsity
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
As a particular interpretation, this problem contains the
decision problem for first-order logic
(that is, the problem of algorithmically deciding whether a first-order formula is universally valid). A negative answer to the Entscheidungsproblem was given by Church and Turing, who proved that it is impossible to decide algorithmically whether statements in arithmetic are true or false.