Preguntas ciencias de proof050

4

1Resp

196Vistas

¿Es el análisis ordinal un proyecto no-recursiva?

Resuelta

Preguntado el 6 de Octubre, 2013 por Keshav Srinivasan

5

2Resp

357Vistas

Cálculo secuencial y primer teorema de incompletitud

Resuelta

Preguntado el 17 de Enero, 2013 por Renato Silva

4

2Resp

167Vistas

Declaraciones de bicondicional con una dirección "fácil".

Resuelta

Preguntado el 14 de Julio, 2014 por MRicci

6

3Resp

252Vistas

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

Resuelta

Preguntado el 31 de Agosto, 2018 por Kazy Kamakaze

7

3Resp

978Vistas

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

Abierta

Preguntado el 23 de Agosto, 2018 por Jonas Klemming

9

1Resp

182Vistas

¿Es posible demostrar el último teorema de Fermat en la aritmética de Peano?

Abierta

Preguntado el 20 de Agosto, 2018 por aleksandar

11

1Resp

259Vistas

¿Es el lenguaje interno de un topos completo, sólido y eficaz?

Abierta

Preguntado el 3 de Junio, 2013 por msutherl

27

5Resp

2986Vistas

¿Qué es exactamente el razonamiento circular?

Abierta

Preguntado el 28 de Julio, 2018 por peter

4

2Resp

153Vistas

Suma de cuadrados perfectos y cubos$< 10^6$

Resuelta

Preguntado el 10 de Enero, 2017 por K.D3

5

1Resp

165Vistas

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

Abierta

Preguntado el 23 de Julio, 2018 por Dain

5

1Resp

189Vistas

¿Lo que ' s mal con esta inferencia deducción natural?

Resuelta

Preguntado el 24 de Mayo, 2011 por yaderv

4

1Resp

127Vistas

Demostración de teoremas mediante el teorema de Löb

Abierta

Preguntado el 15 de Enero, 2017 por Burak

5

3Resp

638Vistas

Definir nuevos símbolos en una prueba, ¿cuándo está justificado?

Resuelta

Preguntado el 5 de Julio, 2018 por CANDY

4

1Resp

292Vistas

¿Cuáles son esas "cosas que no pueden ser probadas usando sólo ordinarias reglas de inferencia"?

Abierta

Preguntado el 31 de Marzo, 2014 por nlognfan

4

3Resp

192Vistas

Hay un tipo de prueba matemática además de dirigir, counterpositive y absurdo?

Resuelta

Preguntado el 2 de Julio, 2018 por dude3221

10

3Resp

176Vistas

Libros de texto de lógica de matemática nivel posgrado

Resuelta

Preguntado el 18 de Octubre, 2017 por Foobanana

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

Preguntas ciencias proof

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el análisis ordinal un proyecto no-recursiva?

Cálculo secuencial y primer teorema de incompletitud

Declaraciones de bicondicional con una dirección "fácil".

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

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

¿Es posible demostrar el último teorema de Fermat en la aritmética de Peano?

¿Es el lenguaje interno de un topos completo, sólido y eficaz?

¿Qué es exactamente el razonamiento circular?

Suma de cuadrados perfectos y cubos$< 10^6$

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

¿Lo que ' s mal con esta inferencia deducción natural?

Demostración de teoremas mediante el teorema de Löb

Definir nuevos símbolos en una prueba, ¿cuándo está justificado?

¿Cuáles son esas "cosas que no pueden ser probadas usando sólo ordinarias reglas de inferencia"?

Hay un tipo de prueba matemática además de dirigir, counterpositive y absurdo?

Libros de texto de lógica de matemática nivel posgrado

¿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?

Etiquetas mas usadas

i-Ciencias.com

Powered by: