Sanakirja
Tekoälykääntäjä

Ääntäminen

  • Tuntematon aksentti:
    • IPA: /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/
  • dated RP:
    • IPA: /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/
KieliKäännökset
saksaEntscheidungsproblem

Määritelmät

Substantiivi

  1. (mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system.

Esimerkit

  • ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’
  • Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.

Luokat