Preguntas ciencias metamathematics

Puntuación Visitas Fecha
Foto de perfil de Thomas Jespersen

5

1Resp
709Vistas

¿Demuestra ZF que una subteoría finita la axiomatiza sobre modelos de clases propias transitivas?

Resuelta
Preguntado el 28 de Agosto, 2011 por Thomas Jespersen
Etiquetas :
Foto de perfil de martinatime

17

5Resp
4970Vistas

Notación del cálculo épsilon de Bourbaki

Resuelta
Preguntado el 6 de Febrero, 2010 por martinatime
Etiquetas :
Foto de perfil de Hauser

19

6Resp
2241Vistas

Matemáticas completas

Resuelta
Preguntado el 10 de Julio, 2010 por Hauser
Etiquetas :
Imagen de perfil de Joe

20

12Resp
8999Vistas

El mejor texto para estudiar ambos teoremas de incompletitud

Resuelta
Preguntado el 1 de Agosto, 2010 por Joe
Etiquetas :
Imagen de perfil de davr

21

6Resp
2253Vistas

Las matemáticas aplicadas necesitan fuerza de coherencia

Resuelta
Preguntado el 8 de Febrero, 2011 por davr
Etiquetas :
Imagen de perfil de Ewan Delanoy

23

8Resp
2684Vistas

Explicación intuitiva y/o filosófica de las paradojas de la teoría de conjuntos

Resuelta
Preguntado el 18 de Junio, 2010 por Ewan Delanoy
Etiquetas :
Imagen de perfil de Jake McGraw

28

13Resp
3198Vistas

¿Existen buenos "metateoremas existenciales" no constructivos?

Resuelta
Preguntado el 20 de Noviembre, 2009 por Jake McGraw
Etiquetas :
Foto de perfil de Zach Burlingame

28

8Resp
2294Vistas

Criptomorfismos

Resuelta
Preguntado el 18 de Febrero, 2010 por Zach Burlingame
Etiquetas :
Foto de perfil de eran

5

1Resp
1886Vistas

Aplicaciones de los gráficos de líneas

Resuelta
Preguntado el 7 de Marzo, 2013 por eran
Etiquetas :
Imagen de perfil de jt.

35

1Resp
2608Vistas

¿Existe una génesis común para las clasificaciones de los ADE?

Resuelta
Preguntado el 25 de Julio, 2010 por jt.
Etiquetas :
Imagen de perfil de Hates_

18

3Resp
1329Vistas

¿Hay ejemplos de metapruebas no constructivas?

Resuelta
Preguntado el 8 de Junio, 2011 por Hates_
Etiquetas :
Imagen de perfil de bneely

72

30Resp
8291Vistas

¿El infinito puede acortar mucho las pruebas?

Resuelta
Preguntado el 17 de Noviembre, 2009 por bneely
Etiquetas :
Foto de perfil de FlySwat

21

4Resp
2661Vistas

No los axiomas de la teoría de conjuntos supone implícitamente números?

Resuelta
Preguntado el 26 de Noviembre, 2010 por FlySwat
Etiquetas :
Foto de perfil de mrdvlpr

19

2Resp
1562Vistas

¿Qué tipo de fundamentos utilizan los matemáticos para demostrar los metateoremas?

Resuelta
Preguntado el 31 de Enero, 2017 por mrdvlpr
Etiquetas :
Foto de perfil de Joe

26

5Resp
4431Vistas

Pruebas del teorema de Gödel

Resuelta
Preguntado el 21 de Marzo, 2011 por Joe
Etiquetas :
Foto de perfil de Chris Amos

88

4Resp
17802Vistas

La complejidad enigmática de la teoría de números.

Abierta
Preguntado el 6 de Octubre, 2017 por Chris Amos
Etiquetas :
Imagen de perfil de Scott Kramer

7

3Resp
627Vistas

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

Resuelta
Preguntado el 14 de Diciembre, 2009 por Scott Kramer
Etiquetas :
Foto de perfil de martinatime

16

4Resp
3235Vistas

Bourbaki ' notación épsilon-cálculo de s

Resuelta
Preguntado el 6 de Febrero, 2010 por martinatime
Etiquetas :
Foto de perfil de Zach Burlingame

21

5Resp
1526Vistas

Cryptomorphisms

Resuelta
Preguntado el 18 de Febrero, 2010 por Zach Burlingame
Etiquetas :
Foto de perfil de Jake McGraw

24

5Resp
1777Vistas

¿Hay alguna buena no constructiva "existencial metatheorems"?

Resuelta
Preguntado el 20 de Noviembre, 2009 por Jake McGraw
Etiquetas :
Foto de perfil de bneely

70

5Resp
6210Vistas

Puede infinito acortar las pruebas de un lote?

Abierta
Preguntado el 16 de Noviembre, 2009 por bneely
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X