Preguntas ciencias metamathematics

Puntuación Visitas Fecha
Imagen de perfil de Thomas Jespersen

5

1Resp
706Vistas

¿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
4968Vistas

Notación del cálculo épsilon de Bourbaki

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

19

6Resp
2238Vistas

Matemáticas completas

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

20

12Resp
8994Vistas

El mejor texto para estudiar ambos teoremas de incompletitud

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

21

6Resp
2248Vistas

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
2681Vistas

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 :
Foto de perfil de Jake McGraw

27

13Resp
3189Vistas

¿Existen buenos "metateoremas existenciales" no constructivos?

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

28

8Resp
2286Vistas

Criptomorfismos

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

5

1Resp
1884Vistas

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
2605Vistas

¿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
1326Vistas

¿Hay ejemplos de metapruebas no constructivas?

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

72

30Resp
8274Vistas

¿El infinito puede acortar mucho las pruebas?

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

21

4Resp
2658Vistas

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

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

19

2Resp
1558Vistas

¿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
4428Vistas

Pruebas del teorema de Gödel

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

86

4Resp
17798Vistas

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
625Vistas

¿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
3232Vistas

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

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

21

5Resp
1524Vistas

Cryptomorphisms

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

24

5Resp
1775Vistas

¿Hay alguna buena no constructiva "existencial metatheorems"?

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

70

5Resp
6208Vistas

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