Preguntas ciencias de proof-teoría05

8

3Resp

631Vistas

La justificación de Pruebas por Contradicción

Resuelta

Preguntado el 5 de Julio, 2011 por Greg

9

4Resp

528Vistas

Hay esencialmente "no constructiva" declaraciones?

Abierta

Preguntado el 17 de Octubre, 2011 por Thiago Arrais

10

3Resp

867Vistas

La consistencia de ZFC y la prueba por contradicción

Resuelta

Preguntado el 9 de Febrero, 2017 por The Pointer

7

1Resp

313Vistas

¿Primer orden lógica - cómo probar una parte específica del teorema de completitud?

Resuelta

Preguntado el 25 de Febrero, 2013 por kcrumley

19

3Resp

1805Vistas

Puede que todo verdadero teorema que tiene una prueba de ser probada por la contradicción?

Resuelta

Preguntado el 3 de Enero, 2017 por TripleA

18

3Resp

496Vistas

¿Todo es demostrable como true, false o indecidible?

Resuelta

Preguntado el 25 de Diciembre, 2016 por D J Sims

14

5Resp

2212Vistas

¿Sabe cualquier buen recurso introductorio al cálculo sequent?

Abierta

Preguntado el 9 de Febrero, 2010 por Francesco Turco

7

1Resp

347Vistas

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Resuelta

Preguntado el 11 de Febrero, 2013 por msutherl

10

1Resp

303Vistas

¿Son necesarias las pruebas coinductive?

Abierta

Preguntado el 25 de Octubre, 2012 por Geoff Reedy

196

5Resp

11002Vistas

¿Cómo demostramos que algo es indemostrable?

Resuelta

Preguntado el 23 de Noviembre, 2016 por polfosol

12

4Resp

411Vistas

prueba matemática versus la lógica de primer orden deducciones

Abierta

Preguntado el 5 de Julio, 2015 por user119615

10

1Resp

228Vistas

Los argumentos WLOG y "por simetría" y los fundamentos de las matemáticas

Abierta

Preguntado el 9 de Julio, 2015 por Michael Herrmann

9

1Resp

562Vistas

¿Puede la Q de Robinson demostrar la consistencia de la aritmética de Presburger?

Resuelta

Preguntado el 14 de Septiembre, 2010 por Eric Haskins

14

3Resp

612Vistas

¿Por qué $\Delta_1$ ¿frases de aritmética llamadas recursivas?

Resuelta

Preguntado el 21 de Julio, 2010 por Eric Haskins

8

1Resp

161Vistas

¿Puede PA probar funciones de crecimiento muy rápidas a ser total?

Resuelta

Preguntado el 25 de Diciembre, 2014 por Faiz

19

4Resp

2824Vistas

El desempeño de los supuestos

Resuelta

Preguntado el 3 de Noviembre, 2009 por glasnt

9

2Resp

375Vistas

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

Abierta

Preguntado el 9 de Junio, 2013 por user2800708

12

1Resp

482Vistas

¿Por qué ' t alguien aceptar Gentzen ' prueba de consistencia de s?

Resuelta

Preguntado el 15 de Octubre, 2014 por user894795

11

4Resp

426Vistas

Cómo o por qué intutionistic la lógica de la prueba de negaciones desde dentro de la teoría, de manera constructiva?

Resuelta

Preguntado el 14 de Diciembre, 2013 por flojdek

7

1Resp

356Vistas

En la existencia de forma cerrada soluciones a problemas combinatorios finitos

Resuelta

Preguntado el 25 de Febrero, 2011 por Krysta

9

1Resp

230Vistas

Hay una manera de saber cuántas maneras diferentes que usted puede demostrar un teorema?

Abierta

Preguntado el 7 de Agosto, 2014 por Sarah

8

1Resp

356Vistas

Matemática inversa de pozo-ordenamientos

Resuelta

Preguntado el 27 de Agosto, 2011 por iturki

10

1Resp

486Vistas

Intutive explicación de la PCP Teorema de

Resuelta

Preguntado el 3 de Agosto, 2010 por prakash

9

1Resp

290Vistas

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

Resuelta

Preguntado el 9 de Abril, 2014 por casperOne

24

2Resp

600Vistas

¿Son válidos los teoremas de incompletitud de Gödel tanto para la lógica clásica como para la intuicionista?

Resuelta

Preguntado el 21 de Julio, 2013 por Robbo

9

1Resp

293Vistas

¿Caracterización prueba teórica de las funciones primitivas recursivas?

Resuelta

Preguntado el 21 de Febrero, 2014 por sewo

9

3Resp

503Vistas

Demostrar por Hilbert deducción: $\vdash _{HFOL} \forall x (\neg(A \to \neg B))\to \neg(\forall xA \to \neg(\forall xB))$

Resuelta

Preguntado el 25 de Mayo, 2013 por Jozef

15

3Resp

276Vistas

La categoría de teoremas y pruebas

Abierta

Preguntado el 19 de Agosto, 2014 por PyRulez

12

5Resp

1857Vistas

Lista de matemáticos imposibles probado usando las herramientas especiales

Abierta

Preguntado el 12 de Marzo, 2012 por Beni Bogosel

11

2Resp

2221Vistas

¿Cómo puedo aprender acerca de las pruebas para el equipo de la ciencia?

Abierta

Preguntado el 21 de Octubre, 2011 por mj1531

Preguntas ciencias proof-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La justificación de Pruebas por Contradicción

Hay esencialmente "no constructiva" declaraciones?

La consistencia de ZFC y la prueba por contradicción

¿Primer orden lógica - cómo probar una parte específica del teorema de completitud?

Puede que todo verdadero teorema que tiene una prueba de ser probada por la contradicción?

¿Todo es demostrable como true, false o indecidible?

¿Sabe cualquier buen recurso introductorio al cálculo sequent?

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

¿Son necesarias las pruebas coinductive?

¿Cómo demostramos que algo es indemostrable?

prueba matemática versus la lógica de primer orden deducciones

Los argumentos WLOG y "por simetría" y los fundamentos de las matemáticas

¿Puede la Q de Robinson demostrar la consistencia de la aritmética de Presburger?

¿Por qué $\Delta_1$ ¿frases de aritmética llamadas recursivas?

¿Puede PA probar funciones de crecimiento muy rápidas a ser total?

El desempeño de los supuestos

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

¿Por qué ' t alguien aceptar Gentzen ' prueba de consistencia de s?

Cómo o por qué intutionistic la lógica de la prueba de negaciones desde dentro de la teoría, de manera constructiva?

En la existencia de forma cerrada soluciones a problemas combinatorios finitos

Hay una manera de saber cuántas maneras diferentes que usted puede demostrar un teorema?

Matemática inversa de pozo-ordenamientos

Intutive explicación de la PCP Teorema de

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

¿Son válidos los teoremas de incompletitud de Gödel tanto para la lógica clásica como para la intuicionista?

¿Caracterización prueba teórica de las funciones primitivas recursivas?

Demostrar por Hilbert deducción: $\vdash _{HFOL} \forall x (\neg(A \to \neg B))\to \neg(\forall xA \to \neg(\forall xB))$

La categoría de teoremas y pruebas

Lista de matemáticos imposibles probado usando las herramientas especiales

¿Cómo puedo aprender acerca de las pruebas para el equipo de la ciencia?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: