El Undecidable tiene más de uno el significar:

En la lógica matemática :
Un problema de decisión se llama (recurrentemente) undecidable si ningún algoritmo puede decidirle, por ejemplo para problema que para de s de Turing el '; ver también bajo decidible.
" Undecidable" se utiliza a veces como sinónimo del " " independiente ;, donde está independiente una fórmula en lógica matemática de una teoría lógica si ni esa fórmula ni su negación se puede probar dentro de la teoría.

; Ver también el
decidible
Lista de los problemas undecidable

.

  • Zenithic
  • Undecidable
    Random links:El municipio francés del lago, Minnesota | Wentworth, de New Hampshire | Lista de ciudades y de aldeas en Kiribati | Palacio de Caserta | W.O. Forsyth

  • © 2007-2008 enciclopediaespana.com; article text available under the terms of GFDL, from en.wikipedia.org
    ="http://pagead2.googlesyndication.com/pagead/show_ads.js">