Preguntas ciencias de decidability

2

1Resp

144Vistas

Si $A$ es decidible, entonces $A$ es verdadero.

Resuelta

Preguntado el 12 de Mayo, 2023 por questionmaster

53

7Resp

5008Vistas

¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?

Resuelta

Preguntado el 6 de Septiembre, 2023 por steevc

3

1Resp

220Vistas

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Resuelta

Preguntado el 14 de Junio, 2018 por El cero

6

1Resp

179Vistas

Decidibilidad de la completitud en lógica proposicional

Resuelta

Preguntado el 17 de Abril, 2022 por l_frost

2

1Resp

160Vistas

¿Estamos seguros de que los problemas del Premio del Milenio pueden resolverse?

Resuelta

Preguntado el 24 de Agosto, 2019 por JacopoStanchi

1

1Resp

109Vistas

¿Resolver la clase de complejidad TODOS colapsa todos los grados de Turing?

Resuelta

Preguntado el 20 de Mayo, 2018 por JOSHUA WEEKS

29

3Resp

3033Vistas

¿Es decidible la teoría de las categorías?

Resuelta

Preguntado el 23 de Enero, 2010 por David Hicks

39

3Resp

4908Vistas

¿Para qué problemas del milenio es indecidible -> verdadero?

Resuelta

Preguntado el 30 de Septiembre, 2012 por Allen Hardy

9

2Resp

825Vistas

¿Existen ejemplos estándar de teorías estables que sean indecidibles?

Resuelta

Preguntado el 17 de Noviembre, 2011 por KernelM

10

1Resp

1175Vistas

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Resuelta

Preguntado el 28 de Noviembre, 2018 por Stefan

15

2Resp

812Vistas

Decidibilidad en grupos

Resuelta

Preguntado el 31 de Marzo, 2011 por Ronald Blaschke

1

1Resp

302Vistas

Teoría de primer orden con ordenación lineal

Resuelta

Preguntado el 9 de Marzo, 2017 por Rett Hamin

1

1Resp

414Vistas

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

Resuelta

Preguntado el 11 de Abril, 2018 por Stefan

0

2Resp

106Vistas

¿Se ha demostrado definitivamente que algún problema abierto en matemáticas es decidible?

Resuelta

Preguntado el 24 de Octubre, 2020 por allan

2

1Resp

70Vistas

Demostración de la indecidibilidad del problema de isomorfismo de grupo a partir de un problema de palabras irresoluble

Resuelta

Preguntado el 2 de Mayo, 2019 por 2.38423103

1

1Resp

60Vistas

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Resuelta

Preguntado el 30 de Mayo, 2018 por Dominic108

12

0Resp

335Vistas

Decidibilidad de una teoría de primer orden de lo hiperreal

Abierta

Preguntado el 21 de Septiembre, 2020 por gsiems

12

1Resp

1028Vistas

Declaración aritmética fácil indeciso

Abierta

Preguntado el 31 de Octubre, 2017 por user82229

16

3Resp

1099Vistas

¿Es indecidible la versión multilineal del décimo problema de Hilbert?

Abierta

Preguntado el 10 de Agosto, 2019 por Matt

21

2Resp

2533Vistas

Entero matrices con ningún número entero autovalores

Abierta

Preguntado el 16 de Mayo, 2010 por Hej

21

3Resp

1132Vistas

Es un ser racional decidable?

Resuelta

Preguntado el 17 de Noviembre, 2015 por Josh

24

2Resp

1165Vistas

¿Qué hacer si usted cree que un problema es indecidible?

Abierta

Preguntado el 6 de Febrero, 2015 por Joe Freeman

27

1Resp

637Vistas

Decidabilidad de la igualdad de expresiones construidas usando 1, +, -, *, /, ^

Abierta

Preguntado el 3 de Mayo, 2013 por Mitch Dempsey

36

3Resp

1996Vistas

¿Es decidible verificar si un elemento tiene un orden finito o no?

Resuelta

Preguntado el 5 de Octubre, 2016 por Guillermo

59

5Resp

4766Vistas

¿La capacidad de decisión tiene algo que ver con los números primos?

Resuelta

Preguntado el 30 de Marzo, 2010 por Toran Billups

5

2Resp

161Vistas

¿La decidibilidad implica inconsistencia?

Abierta

Preguntado el 19 de Junio, 2019 por jerard

4

3Resp

166Vistas

¿Conjetura de Collatz indecidible del caso general?

Abierta

Preguntado el 28 de Mayo, 2019 por Sergey Ivanov

8

1Resp

156Vistas

Decidibilidad del problema de membresía para el grupo Baitarlag Solitar$BS(1,2)$

Resuelta

Preguntado el 10 de Mayo, 2019 por cssstyler

15

2Resp

828Vistas

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

Resuelta

Preguntado el 19 de Noviembre, 2018 por Pavel Sayekat

11

1Resp

791Vistas

¿Lo que está mal con este enfoque ingenuo de Hilbert ' problema 10 s?

Resuelta

Preguntado el 11 de Noviembre, 2017 por Kalinin

Preguntas ciencias decidability

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Si $A$ es decidible, entonces $A$ es verdadero.

¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Decidibilidad de la completitud en lógica proposicional

¿Estamos seguros de que los problemas del Premio del Milenio pueden resolverse?

¿Resolver la clase de complejidad TODOS colapsa todos los grados de Turing?

¿Es decidible la teoría de las categorías?

¿Para qué problemas del milenio es indecidible -> verdadero?

¿Existen ejemplos estándar de teorías estables que sean indecidibles?

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Decidibilidad en grupos

Teoría de primer orden con ordenación lineal

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

¿Se ha demostrado definitivamente que algún problema abierto en matemáticas es decidible?

Demostración de la indecidibilidad del problema de isomorfismo de grupo a partir de un problema de palabras irresoluble

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Decidibilidad de una teoría de primer orden de lo hiperreal

Declaración aritmética fácil indeciso

¿Es indecidible la versión multilineal del décimo problema de Hilbert?

Entero matrices con ningún número entero autovalores

Es un ser racional decidable?

¿Qué hacer si usted cree que un problema es indecidible?

Decidabilidad de la igualdad de expresiones construidas usando 1, +, -, *, /, ^

¿Es decidible verificar si un elemento tiene un orden finito o no?

¿La capacidad de decisión tiene algo que ver con los números primos?

¿La decidibilidad implica inconsistencia?

¿Conjetura de Collatz indecidible del caso general?

Decidibilidad del problema de membresía para el grupo Baitarlag Solitar$BS(1,2)$

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

¿Lo que está mal con este enfoque ingenuo de Hilbert ' problema 10 s?

Etiquetas mas usadas

i-Ciencias.com

Powered by: