Preguntas ciencias de fundaciones

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

35

5Resp

7437Vistas

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

Abierta

Preguntado el 27 de Enero, 2020 por wian

37

3Resp

3422Vistas

¿Quién necesita reemplazo de todos modos?

Abierta

Preguntado el 8 de Junio, 2015 por Xavier Nodet

36

2Resp

1316Vistas

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

Resuelta

Preguntado el 2 de Enero, 2018 por eriko

50

4Resp

3618Vistas

¿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

58

5Resp

8543Vistas

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

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

60

5Resp

5591Vistas

¿En qué sentido los fundamentos univalentes son "mejores" que la teoría de conjuntos?

Resuelta

Preguntado el 24 de Noviembre, 2017 por Anthony

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

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

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

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.

13

3Resp

251Vistas

¿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

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

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

6

5Resp

2315Vistas

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

Resuelta

Preguntado el 23 de Diciembre, 2014 por Lehs

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

5

2Resp

151Vistas

"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

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

14

5Resp

1195Vistas

¿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

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

5

1Resp

985Vistas

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

Resuelta

Preguntado el 20 de Septiembre, 2013 por Tanmay

4

2Resp

465Vistas

Es PA la primera axiomatization de la aritmética a ser descubierto?

Cerrada

Preguntado el 17 de Abril, 2016 por Constantine

6

2Resp

196Vistas

Que el concepto es más primaria en las modernas matemáticas formal: conjunto, la función o el número natural?

Resuelta

Preguntado el 14 de Abril, 2013 por Igor

5

3Resp

717Vistas

Una cadena infinita de teorías

Resuelta

Preguntado el 13 de Noviembre, 2016 por TheBitByte

22

3Resp

214Vistas

¿Qué sigue de Axiom of Dependent Choice (DC) y qué no?

Abierta

Preguntado el 5 de Junio, 2017 por Fallen Apart

4

2Resp

350Vistas

¿Por qué la noción de función como una relación importante?

Resuelta

Preguntado el 4 de Diciembre, 2013 por Tanmay

12

1Resp

255Vistas

¿Qué tan fuerte es el axioma de elección bien ordenado?

Resuelta

Preguntado el 8 de Marzo, 2019 por Eric Brown

5

1Resp

208Vistas

Lógica cuántica y paraconsistente

Abierta

Preguntado el 4 de Noviembre, 2013 por Josh

5

1Resp

146Vistas

En el nivel más bajo, ¿se pueden reducir las pruebas matemáticas a sustituciones y reescrituras?

Abierta

Preguntado el 23 de Febrero, 2015 por shamoh

4

2Resp

272Vistas

Duda: Prueba de existencia de la suma de números naturales en Landau

Resuelta

Preguntado el 21 de Enero, 2014 por Ishfaaq

Preguntas ciencias fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

¿Quién necesita reemplazo de todos modos?

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

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

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

¿En qué sentido los fundamentos univalentes son "mejores" que la teoría de conjuntos?

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

Es PA la primera axiomatization de la aritmética a ser descubierto?

Que el concepto es más primaria en las modernas matemáticas formal: conjunto, la función o el número natural?

Una cadena infinita de teorías

¿Qué sigue de Axiom of Dependent Choice (DC) y qué no?

¿Por qué la noción de función como una relación importante?

¿Qué tan fuerte es el axioma de elección bien ordenado?

Lógica cuántica y paraconsistente

En el nivel más bajo, ¿se pueden reducir las pruebas matemáticas a sustituciones y reescrituras?

Duda: Prueba de existencia de la suma de números naturales en Landau

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: