Discusión:Entscheidungsproblem

creo que se podría mejorar la definición de formula lógicamente válida, Una formula es logicamente valida si es válida en todo modelo (o dicho de otro modo, no es posible dar un modelo en el cual una formula lógicamente válida no sea válida). quisas la definicion actual "si y sólo si es cierta en toda interpretación de la fórmula en un modelo" , se preste a confusion.

Nombre

Por curiosidad, en español se le llama Entscheidungsproblem o problema de decisión. Yo estoy casi seguro que de la segunda forma, de manera que no entiendo el porqué del nombre del artículo. --81.38.174.243 03:15 1 jul 2006 (CEST)

--Si tiene nombre en español, y existe un artículo con ese nombre (en el que por cierto no se menciona nada parecido a Entscheidung), ¿porqué tenemos este artículo titulado en alemán (lengua bastante difícil incluso para estudiantets de matemáticas)? Si todavía fuese ruso... Por favor, explíquense o trasládenlo.
--Judas Ali-Qu 16:07 1 feb 2007 (CET)

El artículo se llama Entscheidungsproblem porque es eso. En inglés se usa la forma alemana (no se tradujo) y en español no debiera utilizarse otra. Si os fijáis, en todas las wikipedias aparece en esa forma. Ahora bien, si se quiere traducir, debe hacerse por "El Problema de Decisión" y no como un "problema de decisión", pues es un concepto más general en teoría de la complejidad que el propio el Entscheidungsproblem.--AlfonsoERomero 13:56 20 ene 2008 (UTC)

El Entscheidungsproblem no tiene por objetivo encontrar un algoritmo para decidir si una formula de la lógica de primer orden P es un Teorema, sino de encontrar un algoritmo para decidir si P es provable o no dentro de la teoría axiomática.

Donde dice: "[...]especialmente por el método de asignar números a las fórmulas lógicas para poder reducir la lógica a la aritmética.", en realidad debiera decir: [...]especialmente por el método de asignar números a las fórmulas lógicas para poder reducir la aritmética a la lógica. (Gastornis)