El Entscheidungsproblem fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si ciertas frases concretas de la aritmética son ciertas o falsas.

rdfs:comment
  • El Entscheidungsproblem fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si ciertas frases concretas de la aritmética son ciertas o falsas. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Entscheidungsproblem (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 136587 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4332 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 33 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 70098377 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [30 values]
Is dbpedia-owl:wikiPageWikiLink of [17 values]