Preguntas ciencias de peano-aritmética

19

0Resp

1336Vistas

¿Es el platonismo con respecto a la aritmética consistente con la visión multiverso en la teoría de conjuntos?

Abierta

Preguntado el 22 de Enero, 2016 por user712092

21

2Resp

2093Vistas

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Resuelta

Preguntado el 1 de Septiembre, 2010 por redwyre

29

5Resp

2657Vistas

Definir el modelo estándar de la PA, de modo que un alienígena podría entender

Abierta

Preguntado el 22 de Mayo, 2019 por Joe Freeman

27

1Resp

635Vistas

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

Abierta

Preguntado el 3 de Mayo, 2013 por Mitch Dempsey

30

3Resp

2339Vistas

¿Incluso XOR impar Infinities?

Resuelta

Preguntado el 19 de Enero, 2013 por Sean

33

5Resp

5847Vistas

Teorema de punto fijo aritmético

Resuelta

Preguntado el 7 de Julio, 2010 por Farinha

38

3Resp

2543Vistas

¿Por qué los cuantificadores apilados en PA corresponden a ordinales hasta$\epsilon_0$?

Resuelta

Preguntado el 8 de Agosto, 2013 por lorenzo-s

41

5Resp

2685Vistas

¿Cómo se puede empezar a demostrar que un simple enunciado de la teoría de los números es indecidible?

Abierta

Preguntado el 11 de Junio, 2010 por bneely

68

4Resp

9425Vistas

Programa de Nelson para mostrar inconsistencia de ZF

Resuelta

Preguntado el 25 de Agosto, 2010 por ashwnacharya

3

2Resp

221Vistas

¿Por qué el lenguaje de la aritmética usualmente $(+, \cdot, 0, s)$, no $(+, \cdot, 0, 1)$?

Resuelta

Preguntado el 10 de Mayo, 2014 por Allen Bauer

4

1Resp

127Vistas

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Abierta

Preguntado el 6 de Junio, 2018 por PyRulez

4

2Resp

320Vistas

Goedelizabilidad y decidibilidad de una propiedad de las fórmulas de Peano

Resuelta

Preguntado el 4 de Febrero, 2010 por Draemon

5

1Resp

250Vistas

Segmentos inicial de la Aritmética Modular

Resuelta

Preguntado el 8 de Noviembre, 2013 por M D

7

3Resp

131Vistas

Hay una declaración independiente de la PA y no aumenta la consistencia de la fuerza?

Resuelta

Preguntado el 19 de Octubre, 2016 por Hanul Jeon

7

2Resp

313Vistas

Definiendo la adición en la lógica de segundo orden

Resuelta

Preguntado el 2 de Enero, 2015 por Wojowu

17

5Resp

1292Vistas

No constructiva pruebas de decidability?

Resuelta

Preguntado el 10 de Febrero, 2010 por Draemon

16

1Resp

647Vistas

Son los números reales siempre que sea necesario para probar una propiedad de los números naturales?

Abierta

Preguntado el 25 de Marzo, 2013 por Ciaran O'Neill

17

1Resp

648Vistas

Es todos los modelos de la aritmética modular, ya sea par o impar?

Abierta

Preguntado el 15 de Octubre, 2012 por poolie

Preguntas ciencias peano-aritmética

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el platonismo con respecto a la aritmética consistente con la visión multiverso en la teoría de conjuntos?

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Definir el modelo estándar de la PA, de modo que un alienígena podría entender

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

¿Incluso XOR impar Infinities?

Teorema de punto fijo aritmético

¿Por qué los cuantificadores apilados en PA corresponden a ordinales hasta$\epsilon_0$?

¿Cómo se puede empezar a demostrar que un simple enunciado de la teoría de los números es indecidible?

Programa de Nelson para mostrar inconsistencia de ZF

¿Por qué el lenguaje de la aritmética usualmente $(+, \cdot, 0, s)$, no $(+, \cdot, 0, 1)$?

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Goedelizabilidad y decidibilidad de una propiedad de las fórmulas de Peano

Segmentos inicial de la Aritmética Modular

Hay una declaración independiente de la PA y no aumenta la consistencia de la fuerza?

Definiendo la adición en la lógica de segundo orden

No constructiva pruebas de decidability?

Son los números reales siempre que sea necesario para probar una propiedad de los números naturales?

Es todos los modelos de la aritmética modular, ya sea par o impar?

Etiquetas mas usadas

i-Ciencias.com

Powered by: