Preguntas ciencias de proof-teoría03

4

1Resp

274Vistas

¿Cómo agregar el esquema de inducción de orden completo segundo afecta la fuerza de la consistencia de los subsistemas de la segunda aritmética de la orden?

Abierta

Preguntado el 28 de Abril, 2012 por George Gaál

5

1Resp

209Vistas

control algorítmicas de las pruebas

Resuelta

Preguntado el 8 de Abril, 2011 por Simon Nickerson

7

2Resp

154Vistas

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

Abierta

Preguntado el 31 de Mayo, 2018 por PyRulez

5

3Resp

659Vistas

¿Qué entendemos por un "Elegante"a Prueba?

Cerrada

Preguntado el 11 de Agosto, 2012 por Lena

20

5Resp

6180Vistas

¿Por qué funciona la prueba por eliminación?

Resuelta

Preguntado el 23 de Mayo, 2018 por Ethan Chan

7

5Resp

221Vistas

Probar que es irracional por la contradicción que $\sqrt{11}-1$

Resuelta

Preguntado el 21 de Mayo, 2018 por GPierre

4

2Resp

155Vistas

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

Abierta

Preguntado el 13 de Marzo, 2016 por BigbearZzz

10

1Resp

1443Vistas

¿Es una paradoja si demuestro algo como indemostrable?

Resuelta

Preguntado el 10 de Mayo, 2018 por RootAlert

4

2Resp

237Vistas

El curado y descurrido de las fórmulas lógicas, es $(A \land B) \to C \leftrightarrow (A\to B)\to C$

Resuelta

Preguntado el 25 de Enero, 2013 por Stefan

8

2Resp

389Vistas

El modelo de la teoría y la Prueba de la teoría de Lógica Proposicional

Resuelta

Preguntado el 18 de Abril, 2014 por Junior Mayhé

5

2Resp

249Vistas

Sobre el teorema de la prueba de longitud en el cálculo proposicional

Resuelta

Preguntado el 31 de Diciembre, 2013 por andy

19

5Resp

2370Vistas

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Abierta

Preguntado el 5 de Marzo, 2018 por Abhishek Bajoria

6

5Resp

236Vistas

Ejemplos notables de los resultados "imposibles" descartado por anteriores teoremas barrera o prohibido o creencias generalizadas

Resuelta

Preguntado el 12 de Febrero, 2015 por Jon Romero

10

1Resp

421Vistas

¿Qué es razonamiento finitistic?

Resuelta

Preguntado el 11 de Febrero, 2018 por babou

5

3Resp

478Vistas

Después de la incompletness teorema de la prueba

Resuelta

Preguntado el 24 de Julio, 2012 por flojdek

2

5Resp

647Vistas

¿Cuál es el papel de las propiedades asociativa y conmutativa en Matemáticas y lo que si alguien quiere probar??

Resuelta

Preguntado el 26 de Diciembre, 2016 por goe

5

1Resp

209Vistas

¿Cómo se puede saber si una prueba técnica puede demostrar algo? Específicamente, la inducción

Resuelta

Preguntado el 1 de Agosto, 2016 por steelbytes

5

4Resp

748Vistas

Esto es un problema con la ley del medio excluido, o un problema con la prueba?

Resuelta

Preguntado el 13 de Agosto, 2017 por AER

4

4Resp

147Vistas

¿Hay algún problema formal que no puede ser demostrada usando inducción matemática?

Resuelta

Preguntado el 30 de Enero, 2018 por Michael D Nguyen

5

1Resp

209Vistas

¿Los sistemas definidos recursivamente son siempre coherentes?

Resuelta

Preguntado el 12 de Marzo, 2011 por Andre Holzner

7

2Resp

188Vistas

Prueba-búsqueda de meta

Resuelta

Preguntado el 18 de Julio, 2016 por frogeyedpeas

6

1Resp

123Vistas

Es esto una prueba de la correcta? (La Prueba De Teoría)

Resuelta

Preguntado el 17 de Enero, 2018 por Michelle García

6

2Resp

313Vistas

Historia del cálculo del predicado

Abierta

Preguntado el 22 de Agosto, 2016 por user363059

8

3Resp

196Vistas

¿Hasta qué punto debe un "a prueba de ir de una forma determinada"

Abierta

Preguntado el 29 de Diciembre, 2017 por Yly

71

5Resp

5611Vistas

¿Asumiendo la existencia de una solución siempre conducirá a una contradicción?

Resuelta

Preguntado el 28 de Diciembre, 2017 por Geoffrey

11

2Resp

1188Vistas

¿Cuál es el llamado eigenvariable o parámetro de deducción natural?

Resuelta

Preguntado el 21 de Mayo, 2011 por yaderv

7

1Resp

161Vistas

¿Integridad lógica Infinitary?

Abierta

Preguntado el 18 de Julio, 2015 por Comptrol

6

3Resp

800Vistas

¿Es la negación de la sentencia de Gödel siempre imposible de demostrar demasiado?

Resuelta

Preguntado el 15 de Agosto, 2012 por flojdek

5

3Resp

116Vistas

Demostrando un indeterminado función es invertible

Abierta

Preguntado el 28 de Septiembre, 2016 por Aegis

7

1Resp

328Vistas

¿Cuáles son diversas pruebas?

Abierta

Preguntado el 7 de Febrero, 2012 por draks ...

Preguntas ciencias proof-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo agregar el esquema de inducción de orden completo segundo afecta la fuerza de la consistencia de los subsistemas de la segunda aritmética de la orden?

control algorítmicas de las pruebas

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

¿Qué entendemos por un "Elegante"a Prueba?

¿Por qué funciona la prueba por eliminación?

Probar que es irracional por la contradicción que $\sqrt{11}-1$

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

¿Es una paradoja si demuestro algo como indemostrable?

El curado y descurrido de las fórmulas lógicas, es $(A \land B) \to C \leftrightarrow (A\to B)\to C$

El modelo de la teoría y la Prueba de la teoría de Lógica Proposicional

Sobre el teorema de la prueba de longitud en el cálculo proposicional

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Ejemplos notables de los resultados "imposibles" descartado por anteriores teoremas barrera o prohibido o creencias generalizadas

¿Qué es razonamiento finitistic?

Después de la incompletness teorema de la prueba

¿Cuál es el papel de las propiedades asociativa y conmutativa en Matemáticas y lo que si alguien quiere probar??

¿Cómo se puede saber si una prueba técnica puede demostrar algo? Específicamente, la inducción

Esto es un problema con la ley del medio excluido, o un problema con la prueba?

¿Hay algún problema formal que no puede ser demostrada usando inducción matemática?

¿Los sistemas definidos recursivamente son siempre coherentes?

Prueba-búsqueda de meta

Es esto una prueba de la correcta? (La Prueba De Teoría)

Historia del cálculo del predicado

¿Hasta qué punto debe un "a prueba de ir de una forma determinada"

¿Asumiendo la existencia de una solución siempre conducirá a una contradicción?

¿Cuál es el llamado eigenvariable o parámetro de deducción natural?

¿Integridad lógica Infinitary?

¿Es la negación de la sentencia de Gödel siempre imposible de demostrar demasiado?

Demostrando un indeterminado función es invertible

¿Cuáles son diversas pruebas?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: