Preguntas de fundaciones09

5

1Resp

984Vistas

¿Por qué el Cantor de la Prueba (que R es incontable) no se por Q?

Resuelta

Preguntado el 20 de Septiembre, 2013 por Tanmay

8

1Resp

140Vistas

Comente sobre la teoría de tipos en los conjuntos de Matemáticas de Lawvere y Rosebrugh

Abierta

Preguntado el 22 de Abril, 2019 por Robin Adams

14

5Resp

1194Vistas

¿Hay alguna prueba de que el conjunto de números reales pueda representar exactamente las distancias?

Cerrada

Preguntado el 4 de Mayo, 2019 por shelby

11

3Resp

246Vistas

¿Las pistas de la cámara de burbujas son inconsistentes con la mecánica cuántica?

Abierta

Preguntado el 12 de Mayo, 2019 por Callum Webb

5

2Resp

149Vistas

"Cuantificar" sobre las propiedades y las "operaciones" en ZFC y recursión transfinita: aclarando la confusión

Resuelta

Preguntado el 5 de Julio, 2017 por Jxt921

4

1Resp

302Vistas

¿Qué tipo de sistema ejemplos de local indicador de la transformación y de la intensidad del campo-como objetos?

Abierta

Preguntado el 20 de Marzo, 2014 por pauliephonic

6

5Resp

2315Vistas

¿Qué hay detrás de la paradoja de Banach-Tarski?

Resuelta

Preguntado el 23 de Diciembre, 2014 por Lehs

4

2Resp

129Vistas

En un topos con un NNO, ¿cómo se define el subobjeto " $<$ '' de $\mathbf N\times\mathbf N$ ?

Abierta

Preguntado el 13 de Junio, 2019 por fauxefox

10

2Resp

506Vistas

¿Cómo construir números naturales por la teoría de conjuntos?

Resuelta

Preguntado el 20 de Junio, 2019 por J.Guo

13

3Resp

250Vistas

¿Por qué los matemáticos eligieron la teoría de conjuntos de ZFC sobre la teoría de tipos de Russell?

Cerrada

Preguntado el 5 de Febrero, 2017 por Programmer2134

19

5Resp

1788Vistas

Paradoja de Gödel: ¿por qué "una prueba de que una declaración universal no es demostrable" no es una prueba válida de que esta declaración es verdadera?

Cerrada

Preguntado el 4 de Agosto, 2019 por J. M.

27

2Resp

1492Vistas

¿La multiplicación de números reales se define únicamente como distributiva sobre la suma?

Resuelta

Preguntado el 8 de Agosto, 2019 por kirill-a

74

5Resp

8509Vistas

¿Por qué la meraología no ha tenido éxito como alternativa a la teoría de conjuntos?

Resuelta

Preguntado el 15 de Marzo, 2011 por godelian

55

5Resp

8038Vistas

¿Cómo debe pensar un "matemático en activo" sobre los conjuntos? (ZFC, teoría de categorías, urelementos)

Resuelta

Preguntado el 28 de Noviembre, 2016 por brianrho

58

5Resp

8542Vistas

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

50

4Resp

3617Vistas

¿Los teóricos de conjuntos usan la teoría informal de conjuntos como su meta-teoría cuando hablan de modelos de ZFC?

Abierta

Preguntado el 3 de Septiembre, 2016 por Svarog

36

2Resp

1316Vistas

Definición de $SU(n)$ en HoTT

Resuelta

Preguntado el 2 de Enero, 2018 por eriko

37

3Resp

3422Vistas

¿Quién necesita reemplazo de todos modos?

Abierta

Preguntado el 8 de Junio, 2015 por Xavier Nodet

35

5Resp

7437Vistas

¿Puede una prueba matemática reemplazar la experimentación?

Abierta

Preguntado el 27 de Enero, 2020 por wian

24

1Resp

1051Vistas

Sobre el teorema de integridad de Joyal para la lógica de primer orden

Resuelta

Preguntado el 1 de Julio, 2013 por godelian

Preguntas de fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué el Cantor de la Prueba (que R es incontable) no se por Q?

Comente sobre la teoría de tipos en los conjuntos de Matemáticas de Lawvere y Rosebrugh

¿Hay alguna prueba de que el conjunto de números reales pueda representar exactamente las distancias?

¿Las pistas de la cámara de burbujas son inconsistentes con la mecánica cuántica?

"Cuantificar" sobre las propiedades y las "operaciones" en ZFC y recursión transfinita: aclarando la confusión

¿Qué tipo de sistema ejemplos de local indicador de la transformación y de la intensidad del campo-como objetos?

¿Qué hay detrás de la paradoja de Banach-Tarski?

En un topos con un NNO, ¿cómo se define el subobjeto " $<$ '' de $\mathbf N\times\mathbf N$ ?

¿Cómo construir números naturales por la teoría de conjuntos?

¿Por qué los matemáticos eligieron la teoría de conjuntos de ZFC sobre la teoría de tipos de Russell?

Paradoja de Gödel: ¿por qué "una prueba de que una declaración universal no es demostrable" no es una prueba válida de que esta declaración es verdadera?

¿La multiplicación de números reales se define únicamente como distributiva sobre la suma?

¿Por qué la meraología no ha tenido éxito como alternativa a la teoría de conjuntos?

¿Cómo debe pensar un "matemático en activo" sobre los conjuntos? (ZFC, teoría de categorías, urelementos)

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

¿Los teóricos de conjuntos usan la teoría informal de conjuntos como su meta-teoría cuando hablan de modelos de ZFC?

Definición de $SU(n)$ en HoTT

¿Quién necesita reemplazo de todos modos?

¿Puede una prueba matemática reemplazar la experimentación?

Sobre el teorema de integridad de Joyal para la lógica de primer orden

Etiquetas mas usadas

i-Ciencias.com

Powered by: