Preguntas ciencias de estado-incompleto

22

6Resp

2616Vistas

¿Existe una demostración del Teorema de Incompletitud de Gödel sin enunciados autorreferenciales?

Abierta

Preguntado el 17 de Julio, 2012 por Mohit Grag

5

1Resp

225Vistas

¿Qué hay de malo con esta "prueba" de que no hay$\omega$ th cardinal inaccesible?

Resuelta

Preguntado el 7 de Junio, 2015 por Thilo-Alexander Ginkel

5

2Resp

161Vistas

¿La decidibilidad implica inconsistencia?

Abierta

Preguntado el 19 de Junio, 2019 por jerard

6

2Resp

164Vistas

Comprender un paso del teorema de Gödel

Abierta

Preguntado el 24 de Mayo, 2019 por Emanuele Paolini

6

2Resp

867Vistas

No Gödel de la integridad y de los teoremas de incompletitud se contradicen unas a otras?

Resuelta

Preguntado el 4 de Julio, 2013 por vim

10

5Resp

1182Vistas

probar que no es demostrable

Resuelta

Preguntado el 7 de Octubre, 2012 por Badshah

6

3Resp

389Vistas

Declaración verdadera porque no es demostrable.

Resuelta

Preguntado el 10 de Abril, 2019 por wannabeartist

4

1Resp

262Vistas

¿Es cada φ por encima del segundo nivel de la jerarquía aritmética independiente de PA?

Resuelta

Preguntado el 13 de Noviembre, 2012 por Wolphram jonny

4

1Resp

234Vistas

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

Resuelta

Preguntado el 25 de Marzo, 2013 por Wolphram jonny

4

1Resp

209Vistas

¿Un ejemplo de incompletitud?

Abierta

Preguntado el 19 de Marzo, 2019 por Rummy

11

3Resp

2976Vistas

¿Por qué el teorema de incompletitud de Gödel no se aplica a afirmaciones falsas?

Resuelta

Preguntado el 19 de Marzo, 2019 por user169939

6

1Resp

118Vistas

La equivalencia de distintas consistencia frases

Abierta

Preguntado el 9 de Diciembre, 2017 por user21820

4

1Resp

177Vistas

¿El primer teorema de incompleto de Gödel condujo alguna vez a la comprensión teórica numérica?

Resuelta

Preguntado el 10 de Marzo, 2019 por François Bry

4

1Resp

273Vistas

Hace robinson aritmética satisfacer lógica modal del "axioma 4"?

Abierta

Preguntado el 10 de Diciembre, 2011 por Larry D'Anna

4

3Resp

202Vistas

¿Por qué el Segundo Teorema de Incompletitud de Gödel socava el programa de Hilbert?

Resuelta

Preguntado el 19 de Febrero, 2019 por gil

5

2Resp

199Vistas

$L$ modelos de la teoría de conjuntos y así no $V_\kappa$ $\kappa$ inaccesible

Resuelta

Preguntado el 30 de Septiembre, 2015 por Allen Bauer

6

1Resp

382Vistas

Sistema con número infinito de axiomas.

Resuelta

Preguntado el 20 de Febrero, 2013 por Pierre Buyle

5

1Resp

448Vistas

Teorema de completitud de Gödel

Resuelta

Preguntado el 5 de Febrero, 2013 por David

6

4Resp

292Vistas

¿Se contradice el teorema de incompletitud de Gödel?

Abierta

Preguntado el 13 de Enero, 2015 por Daniel S.

3

3Resp

291Vistas

Gödels incompleteness vs incompleteness

Resuelta

Preguntado el 17 de Junio, 2015 por JuliusL33t

5

1Resp

482Vistas

Cómo probar funciones recursivas primitivas son definibles en la Aritmética de Peano?

Resuelta

Preguntado el 5 de Julio, 2013 por Martin KS

5

1Resp

249Vistas

Puede decidability resultados para monádico de segundo orden, la lógica se extiende a monádico de orden superior de la lógica?

Resuelta

Preguntado el 18 de Septiembre, 2012 por Mark Ramotowski

4

5Resp

413Vistas

Gödel dice: contables de las pruebas, infinidad de conjeturas?

Abierta

Preguntado el 9 de Agosto, 2012 por David Basarab

4

2Resp

186Vistas

¿Qué significa la expresión "contiene aritmética" en el segundo medio de Teorema de Gödel incompletenetss exactamente?

Abierta

Preguntado el 3 de Junio, 2017 por Florian

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

4

1Resp

176Vistas

Teorema de incompletitud y $\mathbb{L}$.

Resuelta

Preguntado el 26 de Junio, 2013 por fnimic

22

4Resp

1671Vistas

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

Resuelta

Preguntado el 2 de Noviembre, 2018 por Juan

8

2Resp

380Vistas

¿Es posible deducir Godel ' primer teorema de incompletitud s de Chaitin ' Teorema del estado incompleto de s?

Resuelta

Preguntado el 2 de Noviembre, 2014 por ray247

6

1Resp

230Vistas

¿Por qué un sistema se vuelve incompleto una vez que es capaz de hacer aritmética?

Abierta

Preguntado el 31 de Mayo, 2015 por Omar Nagib

5

2Resp

358Vistas

Cálculo secuencial y primer teorema de incompletitud

Resuelta

Preguntado el 17 de Enero, 2013 por Renato Silva

Preguntas ciencias estado-incompleto

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existe una demostración del Teorema de Incompletitud de Gödel sin enunciados autorreferenciales?

¿Qué hay de malo con esta "prueba" de que no hay$\omega$ th cardinal inaccesible?

¿La decidibilidad implica inconsistencia?

Comprender un paso del teorema de Gödel

No Gödel de la integridad y de los teoremas de incompletitud se contradicen unas a otras?

probar que no es demostrable

Declaración verdadera porque no es demostrable.

¿Es cada φ por encima del segundo nivel de la jerarquía aritmética independiente de PA?

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

¿Un ejemplo de incompletitud?

¿Por qué el teorema de incompletitud de Gödel no se aplica a afirmaciones falsas?

La equivalencia de distintas consistencia frases

¿El primer teorema de incompleto de Gödel condujo alguna vez a la comprensión teórica numérica?

Hace robinson aritmética satisfacer lógica modal del "axioma 4"?

¿Por qué el Segundo Teorema de Incompletitud de Gödel socava el programa de Hilbert?

$L$ modelos de la teoría de conjuntos y así no $V_\kappa$ $\kappa$ inaccesible

Sistema con número infinito de axiomas.

Teorema de completitud de Gödel

¿Se contradice el teorema de incompletitud de Gödel?

Gödels incompleteness vs incompleteness

Cómo probar funciones recursivas primitivas son definibles en la Aritmética de Peano?

Puede decidability resultados para monádico de segundo orden, la lógica se extiende a monádico de orden superior de la lógica?

Gödel dice: contables de las pruebas, infinidad de conjeturas?

¿Qué significa la expresión "contiene aritmética" en el segundo medio de Teorema de Gödel incompletenetss exactamente?

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

Teorema de incompletitud y $\mathbb{L}$.

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

¿Es posible deducir Godel ' primer teorema de incompletitud s de Chaitin ' Teorema del estado incompleto de s?

¿Por qué un sistema se vuelve incompleto una vez que es capaz de hacer aritmética?

Cálculo secuencial y primer teorema de incompletitud

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: