Indecidibilidad
desambiguación de Wikipedia
El término indecidibilidad puede referirse a varias cosas diferentes:
- la indecidibilidad: propiedad de un problema de decisión de no ser soluble mediante un algoritmo;
- la indecidibilidad o independencia, noción de lógica matemática referida a la imposibilidad de demostrar o refutar una sentencia a partir de otras;
- la indecidibilidad, equivalencia de los correspondientes problemas de cálculo combinatorio para términos lambda;
- la indecidibilidad, tesis de facto subyacente en el campo de los valores que fundamenta el minimalismo axiológico en filosofía; y
- en cuanto a los teoremas de limitación, puede referirse a:
- la indecidibilidad de Gödel, teoremas propuestos por Kurt Gödel que establecen que cada modelo se explica dentro de un modelo más amplio y más general; o
- la indecidibilidad de Church, teorema propuesto por Alonzo Church que establece la imposibilidad de encontrar un algoritmo solución al Entscheidungsproblem usando el cálculo lambda.
Enlaces externos
Wikcionario tiene definiciones y otra información sobre indecibilidad.
🔥 Top keywords: Wikipedia:PortadaEspecial:BuscarCleopatra I de EgiptoEurocopa 2024EurocopaMartín Miguel de GüemesLa casa del dragónInside Out 2Kylian MbappéEslovaquiaCopa América 2024ChatGPTCopa AméricaDía del PadreBridgertonManuel BelgranoEurocopa 2020Ángela AguilarTheo HernándezChristian NodalRomelu LukakuN'Golo KantéRafael DudamelLamine YamalDon OmarInside Out (película de 2015)Tabla periódica de los elementosCazzuAlvise PérezCopa Mundial de FútbolClasificación para la Eurocopa 2024Giorgia MeloniNicola CoughlanMartin ÁdámCristiano RonaldoCleopatraPaquita la del BarrioPepe AguilarCuando acecha la maldad