Entscheidungsproblem
In
mathematics, the Entscheidungsproblem (
German for '
decision problem') is a challenge posed by
David Hilbert in 1928. The Entscheidungsproblem asks for a computer program that will take as input a description of a formal language and a mathematical statement in the language and return as output either "True" or "False" according to whether the statement is true or false. The program need not justify its answer, or provide a proof, so long as it is always correct. Such a computer program would be able to decide, for example, whether statements such as the
continuum hypothesis or the
Riemann hypothesis are true, even though no proof or disproof of these statements is known. The Entscheidungsproblem has often been identified in particular with the decision problem for first-order logic (that is, the problem of algorithmically determining whether a first-order statement is universally valid).
See more at Wikipedia.org...
Entscheidung
Eine Entscheidung ist eine bewusste oder unbewusste
Wahl zwischen
Alternativen oder zwischen mehreren unterschiedlichen
Varianten anhand bestimmter Präferenzen von einem oder mehreren Entscheidungsträgern. Sie kann spontan bzw. emotional, zufällig oder rational erfolgen. Ein
rational begründeter Entscheid richtet sich nach bereits vorgängig abgesteckten
Zielen oder vorhandenen
Wertmaßstäben. Der Entscheid wird durch den oder die Entscheidungsträger nach objektiven und subjektiven Entscheidungskriterien gefällt.
Mehr unter Wikipedia.org...
Entscheidung (die)
n.
decision, ruling, determination, verdict, conclusion
Entscheidung
Entscheidung
(f) -en ①判决,裁决,仲裁 ②决定,抉择 ③[体]决赛
© 2007 EIMC International Limited, Co.
Entscheidung
[die]裁决。决定。