Preguntas ciencias de proof-teoría

23

1Resp

37683Vistas

Diferencia entre un 'cálculo' y un 'álgebra'

Abierta

Preguntado el 26 de Agosto, 2010 por Sascha

27

1Resp

6549Vistas

¿Cómo probar que la inducción matemática es verdadera?

Abierta

Preguntado el 27 de Febrero, 2011 por Seth Hikari

33

1Resp

9475Vistas

¿Prueba rápida del hecho de que el anillo de enteros de $\mathbb Q(\zeta_n)$ es $\mathbb Z[\zeta_n]$ ?

Abierta

Preguntado el 6 de Marzo, 2010 por Matt Cummings

12

0Resp

709Vistas

Pruebas de $A \iff B$ asimétricas

Abierta

Preguntado el 10 de Julio, 2017 por Grant Johnson

13

0Resp

924Vistas

Matemática inversa del teorema de Hilbert 90

Abierta

Preguntado el 18 de Julio, 2013 por geezanansa

16

6Resp

3186Vistas

Teorema de la deducción

Abierta

Preguntado el 29 de Mayo, 2013 por zrr

20

4Resp

1473Vistas

¿La formalización de las matemáticas requiere búsqueda y creatividad, o es casi mecánica?

Abierta

Preguntado el 15 de Mayo, 2014 por Ronny Vindenes

28

2Resp

1136Vistas

Ha Apéry la prueba de la irracionalidad de la $\zeta(3)$ nunca ha utilizado para demostrar la irracionalidad de otras constantes?

Abierta

Preguntado el 26 de Septiembre, 2018 por Klangen

22

2Resp

1392Vistas

Profundos teoremas y largo pruebas

Resuelta

Preguntado el 17 de Noviembre, 2013 por Peter

26

5Resp

4431Vistas

Pruebas del teorema de Gödel

Resuelta

Preguntado el 21 de Marzo, 2011 por Joe

31

2Resp

795Vistas

¿Por qué no hay conexión entre las funciones de crecimiento rápido y el análisis complejo?

Abierta

Preguntado el 26 de Marzo, 2014 por Michael

32

5Resp

5065Vistas

¿Por qué las pruebas no pueden tener infinitos pasos?

Abierta

Preguntado el 29 de Agosto, 2010 por Alexander Gladysh

32

2Resp

1533Vistas

Godel en jerarquías recursivas de teoría de la computación

Abierta

Preguntado el 26 de Marzo, 2013 por Venkata Koppaka

41

4Resp

5764Vistas

¿Euler probó teoremas con el ejemplo?

Resuelta

Preguntado el 16 de Junio, 2016 por David Grayson

7

2Resp

146Vistas

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

201Vistas

¿Por qué existe la correspondencia Curry-Howard?

Abierta

Preguntado el 10 de Junio, 2019 por jankes

8

1Resp

142Vistas

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

187Vistas

¿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

171Vistas

Pruebas cuya longitud depende de la entrada

Resuelta

Preguntado el 3 de Diciembre, 2012 por Jim Schafer

8

1Resp

119Vistas

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

Resuelta

Preguntado el 17 de Junio, 2018 por Taras Yarema

5

1Resp

189Vistas

Gráfica que representa el razonamiento lógico.

Abierta

Preguntado el 13 de Mayo, 2014 por Herng Yi

4

2Resp

286Vistas

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

Resuelta

Preguntado el 13 de Febrero, 2012 por flojdek

4

3Resp

461Vistas

¿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

323Vistas

¿Y si una conjetura fuera indemostrable?

Abierta

Preguntado el 15 de Agosto, 2014 por Paul

4

1Resp

246Vistas

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

Resuelta

Preguntado el 8 de Febrero, 2012 por Rudy the Reindeer

6

1Resp

118Vistas

La equivalencia de distintas consistencia frases

Abierta

Preguntado el 9 de Diciembre, 2017 por user21820

4

3Resp

204Vistas

¿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

148Vistas

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

Abierta

Preguntado el 18 de Febrero, 2019 por Raleigh

20

2Resp

937Vistas

¿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

174Vistas

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

Resuelta

Preguntado el 29 de Octubre, 2017 por lakada

Preguntas ciencias proof-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Diferencia entre un 'cálculo' y un 'álgebra'

¿Cómo probar que la inducción matemática es verdadera?

¿Prueba rápida del hecho de que el anillo de enteros de $\mathbb Q(\zeta_n)$ es $\mathbb Z[\zeta_n]$ ?

Pruebas de $A \iff B$ asimétricas

Matemática inversa del teorema de Hilbert 90

Teorema de la deducción

¿La formalización de las matemáticas requiere búsqueda y creatividad, o es casi mecánica?

Ha Apéry la prueba de la irracionalidad de la $\zeta(3)$ nunca ha utilizado para demostrar la irracionalidad de otras constantes?

Profundos teoremas y largo pruebas

Pruebas del teorema de Gödel

¿Por qué no hay conexión entre las funciones de crecimiento rápido y el análisis complejo?

¿Por qué las pruebas no pueden tener infinitos pasos?

Godel en jerarquías recursivas de teoría de la computación

¿Euler probó teoremas con el ejemplo?

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$

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: