Home Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture Money Videos
decision problem
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Read Next
Johanna Sigurdardottir Iceland's first female prime minister, the first openly gay prime minister in the world. A Veteran M (longest serving MP) elected in 1978 for the Social Democratic party. Official photo 2009
7 People Who Shaped LGBTQIA+ World History
Spiral Galaxy type Sa-Sb or Sa/Sb in the constellation Virgo. The majestic Sombrero Galaxy Messier 104 (M104) or NGC 4594. The team took six pictures of the galaxy, stitched them together to create the final composite image. Photo from May-June 2003
9 Britannica Articles That Explain the Meaning of Life
Discover
VAN, TURKEY - OCTOBER 25: A building and car ruined during the earthquake of Van-Ercis on October 25, 2011 in Van, Turkey. It is 604 killed and 4152 injured in Van-Ercis Earthquake.
What Is an Aftershock?
After a perfect launch, spectators try to catch a last glimpse of Space Shuttle Columbia, barely visible at the top end of the twisted column of smoke.
7 Accidents and Disasters in Spaceflight History
solar eclipse, sun, moon, astronomy, space
How Do You Tell the Difference Between Total, Annular, Solar, and Lunar Eclipses?
earthquake. Heavily damaged school in the town of Yingxiu after a major earthquake struck China's Sichuan Province on May 12, 2008.
The 6 Deadliest Earthquakes Since 1950
A Factory Interior, watercolor, pen and gray ink, graphite, and white goache on wove paper by unknown artist, c. 1871-91; in the Yale Center for British Art. Industrial Revolution England
Inventors and Inventions of the Industrial Revolution
Pluto. The Changing Faces of Pluto. Most detailed view to date of the entire surface of the dwarf planet Pluto, as constructed from multiple NASA Hubble Space Telescope photographs taken from 2002 to 2003.
10 Important Dates in Pluto History
Vietnam War. U.S. President Lyndon B. Johnson awards the Distinguished Service Cross to First Lieutenant Marty A. Hammer, during a visit to military personnel, Cam Ranh Bay, South Vietnam, October 26, 1966. President Johnson
Vietnam War Timeline
History & Society

decision problem

logic
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://64.176.36.150/topic/decision-problem
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

Print
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://64.176.36.150/topic/decision-problem
Also known as: Entscheidungsproblem, decision procedure
Article History
Category: History & Society
Key People:
Alan Turing
Michael Oser Rabin
Related Topics:
truth table
decidability
See all related content →

decision problem, for a class of questions in mathematics and formal logic, the problem of finding, after choosing any question of the class, an algorithm or repetitive procedure that will yield a definite answer, “yes” or “no,” to that question. The method consists of performing successively a finite number of steps determined by preassigned rules. In particular, the term is used for such procedures for finding whether—in a particular logistic system, logical calculus, or formal mathematical system—some given “well-formed formula” (generated in accordance with established formation rules) is or is not provable as a theorem of the system.