Preguntas de peano-axiomas03

6

1Resp

107Vistas

Es la frase "Cada primitiva de la función recursiva es total" comprobable en $PA$?

Abierta

Preguntado el 16 de Diciembre, 2016 por kereltis

8

3Resp

260Vistas

Hay "muy interesante" teoremas de la aritmética de Peano, que sólo utilice la operación de adición?

Resuelta

Preguntado el 8 de Mayo, 2019 por Eli

21

1Resp

202Vistas

¿Existe una axiomatización "bonita" en el lenguaje de la aritmética de las afirmaciones que ZF demuestra sobre los números naturales?

Resuelta

Preguntado el 29 de Octubre, 2016 por Exomnium

10

2Resp

848Vistas

¿Hay una teoría efectiva que "soluciona" el problema de parada?

Abierta

Preguntado el 29 de Julio, 2017 por PyRulez

7

1Resp

404Vistas

No estándar de los modelos de la Aritmética de Presburger

Abierta

Preguntado el 18 de Febrero, 2013 por jgr

35

5Resp

3170Vistas

¿Por qué la inducción debe ser un axioma?

Abierta

Preguntado el 12 de Junio, 2018 por wub

20

1Resp

345Vistas

Un modelo de la teoría de la pregunta re: Nelson y exponenciación

Abierta

Preguntado el 16 de Agosto, 2018 por ManuelSchneid3r

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

11

2Resp

440Vistas

¿Puede una teoría decidible tener modelos no recursivos?

Abierta

Preguntado el 10 de Enero, 2014 por M D

10

1Resp

248Vistas

¿ZFC probar una frase en el lenguaje de la aritmética que PA+Con(ZFC) no se puede demostrar?

Resuelta

Preguntado el 31 de Agosto, 2013 por goblin

10

4Resp

1149Vistas

Podemos demostrar que los números pares y los impares alternativa sin el uso de la inducción?

Abierta

Preguntado el 10 de Septiembre, 2013 por Keshav Srinivasan

8

1Resp

287Vistas

Es "PA no tiene no estándar de modelos" en consonancia con la ZF?

Resuelta

Preguntado el 27 de Julio, 2014 por sebmathguy

7

1Resp

322Vistas

¿Por qué la inducción limitada es más fuerte que la inducción abierta?

Abierta

Preguntado el 14 de Septiembre, 2013 por Keshav Srinivasan

6

1Resp

237Vistas

¿Es consistente una extensión de una teoría consistente que asume su propia consistencia finita?

Resuelta

Preguntado el 11 de Abril, 2017 por Mark Struzinski

6

1Resp

156Vistas

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

Resuelta

Preguntado el 4 de Septiembre, 2016 por Jonathan Fruchter

5

1Resp

260Vistas

Consistencia fuerza de PA

Resuelta

Preguntado el 3 de Septiembre, 2013 por Jordan Lev

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

5

1Resp

175Vistas

Si una afirmación es válida para todos los modelos estándar de AP, entonces ¿es válida para todos los modelos?

Resuelta

Preguntado el 5 de Julio, 2014 por Thomas Fehige

4

1Resp

195Vistas

Conjunto infinito de primos estándar como el conjunto de divisores primos estándar de un número no estándar

Abierta

Preguntado el 28 de Octubre, 2013 por Joe

4

2Resp

155Vistas

Definición o axioma para números de menos de verdad

Resuelta

Preguntado el 25 de Agosto, 2017 por Noob_Number_1

7

3Resp

978Vistas

George Boolos y Gödel ' s segundo Teorema de incompletitud

Abierta

Preguntado el 23 de Agosto, 2018 por Jonas Klemming

5

2Resp

357Vistas

Cálculo secuencial y primer teorema de incompletitud

Resuelta

Preguntado el 17 de Enero, 2013 por Renato Silva

3

2Resp

222Vistas

¿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

139Vistas

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

Resuelta

Preguntado el 11 de Septiembre, 2015 por beegees

4

2Resp

178Vistas

Mostrar que la PA puede probar el pigeon-hole principio

Resuelta

Preguntado el 20 de Enero, 2018 por user2875613

6

1Resp

149Vistas

¿Son los números naturales estándar un modelo sobresaliente de PA?

Resuelta

Preguntado el 29 de Abril, 2017 por M. Winter

4

2Resp

350Vistas

Números naturales en la Teoría de conjuntos

Resuelta

Preguntado el 22 de Enero, 2014 por nishant

8

1Resp

140Vistas

Cómo sabemos que la AP es incomparable con la ARP + $\epsilon_0$ ?

Resuelta

Preguntado el 28 de Febrero, 2019 por Morgan Sinclaire

5

1Resp

133Vistas

Tomando un número natural diferente de cero como un caso base en una prueba inductiva

Resuelta

Preguntado el 9 de Junio, 2019 por Turkhan Badalov

Preguntas de peano-axiomas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Es la frase "Cada primitiva de la función recursiva es total" comprobable en $PA$?

Hay "muy interesante" teoremas de la aritmética de Peano, que sólo utilice la operación de adición?

¿Existe una axiomatización "bonita" en el lenguaje de la aritmética de las afirmaciones que ZF demuestra sobre los números naturales?

¿Hay una teoría efectiva que "soluciona" el problema de parada?

No estándar de los modelos de la Aritmética de Presburger

¿Por qué la inducción debe ser un axioma?

Un modelo de la teoría de la pregunta re: Nelson y exponenciación

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

¿Puede una teoría decidible tener modelos no recursivos?

¿ZFC probar una frase en el lenguaje de la aritmética que PA+Con(ZFC) no se puede demostrar?

Podemos demostrar que los números pares y los impares alternativa sin el uso de la inducción?

Es "PA no tiene no estándar de modelos" en consonancia con la ZF?

¿Por qué la inducción limitada es más fuerte que la inducción abierta?

¿Es consistente una extensión de una teoría consistente que asume su propia consistencia finita?

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

Consistencia fuerza de PA

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

Si una afirmación es válida para todos los modelos estándar de AP, entonces ¿es válida para todos los modelos?

Conjunto infinito de primos estándar como el conjunto de divisores primos estándar de un número no estándar

Definición o axioma para números de menos de verdad

George Boolos y Gödel ' s segundo Teorema de incompletitud

Cálculo secuencial y primer teorema de incompletitud

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

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

Mostrar que la PA puede probar el pigeon-hole principio

¿Son los números naturales estándar un modelo sobresaliente de PA?

Números naturales en la Teoría de conjuntos

Cómo sabemos que la AP es incomparable con la ARP + $\epsilon_0$ ?

Tomando un número natural diferente de cero como un caso base en una prueba inductiva

Etiquetas mas usadas

i-Ciencias.com

Powered by: