Preguntas ciencias de proof049

7

2Resp

144Vistas

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

Resuelta

Preguntado el 19 de Julio, 2019 por Evan Aad

7

2Resp

199Vistas

¿Por qué existe la correspondencia Curry-Howard?

Abierta

Preguntado el 10 de Junio, 2019 por jankes

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

182Vistas

¿Por qué la regla de introducción a la izquierda en Cálculo secuencial es equivalente a la regla de eliminación en la Deducción natural?

Resuelta

Preguntado el 28 de Mayo, 2019 por David 天宇 Wong

4

1Resp

170Vistas

Pruebas cuya longitud depende de la entrada

Resuelta

Preguntado el 3 de Diciembre, 2012 por Jim Schafer

8

1Resp

116Vistas

¿Qué es una heurística de la prueba?

Resuelta

Preguntado el 17 de Junio, 2018 por Taras Yarema

5

1Resp

186Vistas

Gráfica que representa el razonamiento lógico.

Abierta

Preguntado el 13 de Mayo, 2014 por Herng Yi

4

2Resp

283Vistas

Son todas las pruebas "lo suficientemente corto como" ser calculada?

Resuelta

Preguntado el 13 de Febrero, 2012 por flojdek

4

3Resp

457Vistas

¿Cómo podemos probar que cualquier integral en el conjunto de integrales no elementales no puede expresarse en forma de funciones elementales?

Resuelta

Preguntado el 27 de Marzo, 2019 por Rithik Kapoor

4

2Resp

321Vistas

¿Y si una conjetura fuera indemostrable?

Abierta

Preguntado el 15 de Agosto, 2014 por Paul

4

1Resp

243Vistas

Prueba formal que implica $\varphi( v_k / v_l )$

Resuelta

Preguntado el 8 de Febrero, 2012 por Rudy the Reindeer

6

1Resp

117Vistas

La equivalencia de distintas consistencia frases

Abierta

Preguntado el 9 de Diciembre, 2017 por user21820

4

3Resp

201Vistas

¿Por qué el Segundo Teorema de Incompletitud de Gödel socava el programa de Hilbert?

Resuelta

Preguntado el 19 de Febrero, 2019 por gil

7

2Resp

146Vistas

¿Puede una prueba matemática siempre ser objetivamente determinada como correcta o incorrecta?

Abierta

Preguntado el 18 de Febrero, 2019 por Raleigh

20

2Resp

936Vistas

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

Abierta

Preguntado el 12 de Febrero, 2019 por PyRulez

4

5Resp

171Vistas

Demostrar que $\forall n \in \mathbb{N}: 4^n + 6n - 10$ es divisible por $18$

Resuelta

Preguntado el 29 de Octubre, 2017 por lakada

4

1Resp

234Vistas

Correspondencia Curry-Howard (teoría de las pruebas)

Abierta

Preguntado el 17 de Noviembre, 2013 por user107804

12

4Resp

272Vistas

Cálculo de Deducción Natural Que Funciona por Vacío Estructuras

Abierta

Preguntado el 10 de Junio, 2016 por ooooooo

4

1Resp

157Vistas

Condiciones suficientes y necesarias

Resuelta

Preguntado el 30 de Agosto, 2014 por Avrham Aton

5

1Resp

509Vistas

¿Se puede demostrar que ZFC tiene afirmaciones que no pueden ser probadas como independientes, pero lo son?

Resuelta

Preguntado el 17 de Julio, 2011 por Ron Harlev

4

2Resp

214Vistas

¿Cómo se puede expresar la aritmética de reclamaciones de la forma $\Sigma \vdash \sigma$ al $\Sigma$ es infinito?

Resuelta

Preguntado el 2 de Agosto, 2013 por goblin

4

1Resp

246Vistas

Probar las premisas trabajando en una prueba de la conclusión

Resuelta

Preguntado el 6 de Julio, 2011 por Amanda

4

2Resp

161Vistas

¿Hay algún resultado inalcanzable?

Resuelta

Preguntado el 2 de Enero, 2015 por aseq

10

5Resp

1405Vistas

¿Una prueba matemática en $\mathbb{C}$ implican una prueba en el $\mathbb{R}$ ?

Cerrada

Preguntado el 17 de Noviembre, 2018 por ashold7

7

1Resp

149Vistas

Una teoría que parece tener prueba teórica ordinal $\omega_1^{CK}$

Abierta

Preguntado el 9 de Noviembre, 2018 por Elliot Glazer

4

5Resp

347Vistas

¿Por qué nunca es divisible por $n^2+4$ $3$?

Cerrada

Preguntado el 29 de Abril, 2015 por sos91428

4

1Resp

260Vistas

Teorema de integridad de Birkhoff

Resuelta

Preguntado el 23 de Septiembre, 2014 por Jeff

4

1Resp

160Vistas

¿Existen verdaderos enunciados con sólo una prueba?

Resuelta

Preguntado el 15 de Octubre, 2018 por MathTrain

5

2Resp

199Vistas

¿Curry-Howard para un lenguaje de programación imperativo?

Abierta

Preguntado el 25 de Julio, 2018 por Programmer2134

4

3Resp

212Vistas

Que $A \rightarrow ( B \rightarrow C ) \rightarrow ( ( A \rightarrow B ) \rightarrow ( A \rightarrow C ) )$ en el cálculo sequent

Abierta

Preguntado el 30 de Julio, 2014 por root

Preguntas ciencias proof

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

¿Por qué existe la correspondencia Curry-Howard?

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

¿Por qué la regla de introducción a la izquierda en Cálculo secuencial es equivalente a la regla de eliminación en la Deducción natural?

Pruebas cuya longitud depende de la entrada

¿Qué es una heurística de la prueba?

Gráfica que representa el razonamiento lógico.

Son todas las pruebas "lo suficientemente corto como" ser calculada?

¿Cómo podemos probar que cualquier integral en el conjunto de integrales no elementales no puede expresarse en forma de funciones elementales?

¿Y si una conjetura fuera indemostrable?

Prueba formal que implica $\varphi( v_k / v_l )$

La equivalencia de distintas consistencia frases

¿Por qué el Segundo Teorema de Incompletitud de Gödel socava el programa de Hilbert?

¿Puede una prueba matemática siempre ser objetivamente determinada como correcta o incorrecta?

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

Demostrar que $\forall n \in \mathbb{N}: 4^n + 6n - 10$ es divisible por $18$

Correspondencia Curry-Howard (teoría de las pruebas)

Cálculo de Deducción Natural Que Funciona por Vacío Estructuras

Condiciones suficientes y necesarias

¿Se puede demostrar que ZFC tiene afirmaciones que no pueden ser probadas como independientes, pero lo son?

¿Cómo se puede expresar la aritmética de reclamaciones de la forma $\Sigma \vdash \sigma$ al $\Sigma$ es infinito?

Probar las premisas trabajando en una prueba de la conclusión

¿Hay algún resultado inalcanzable?

¿Una prueba matemática en $\mathbb{C}$ implican una prueba en el $\mathbb{R}$ ?

Una teoría que parece tener prueba teórica ordinal $\omega_1^{CK}$

¿Por qué nunca es divisible por $n^2+4$ $3$?

Teorema de integridad de Birkhoff

¿Existen verdaderos enunciados con sólo una prueba?

¿Curry-Howard para un lenguaje de programación imperativo?

Que $A \rightarrow ( B \rightarrow C ) \rightarrow ( ( A \rightarrow B ) \rightarrow ( A \rightarrow C ) )$ en el cálculo sequent

Etiquetas mas usadas

i-Ciencias.com

Powered by: