Preguntas ciencias de fundaciones

24

1Resp

1049Vistas

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

7435Vistas

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

Abierta

Preguntado el 27 de Enero, 2020 por wian

32

3Resp

3420Vistas

¿Quién necesita reemplazo de todos modos?

Abierta

Preguntado el 8 de Junio, 2015 por Xavier Nodet

36

2Resp

1315Vistas

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

Resuelta

Preguntado el 2 de Enero, 2018 por eriko

50

4Resp

3615Vistas

¿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

8540Vistas

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

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

60

5Resp

5589Vistas

¿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

8036Vistas

¿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

8507Vistas

¿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

1488Vistas

¿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

1786Vistas

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

248Vistas

¿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

503Vistas

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

Resuelta

Preguntado el 20 de Junio, 2019 por J.Guo

4

2Resp

127Vistas

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

2313Vistas

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

Resuelta

Preguntado el 23 de Diciembre, 2014 por Lehs

4

1Resp

300Vistas

¿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

147Vistas

"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

244Vistas

¿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

1192Vistas

¿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

138Vistas

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

982Vistas

¿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

461Vistas

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

Cerrada

Preguntado el 17 de Abril, 2016 por Constantine

6

2Resp

193Vistas

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

715Vistas

Una cadena infinita de teorías

Resuelta

Preguntado el 13 de Noviembre, 2016 por TheBitByte

22

3Resp

211Vistas

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

Abierta

Preguntado el 5 de Junio, 2017 por Fallen Apart

4

2Resp

346Vistas

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

Resuelta

Preguntado el 4 de Diciembre, 2013 por Tanmay

12

1Resp

250Vistas

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

Resuelta

Preguntado el 8 de Marzo, 2019 por Eric Brown

5

1Resp

205Vistas

Lógica cuántica y paraconsistente

Abierta

Preguntado el 4 de Noviembre, 2013 por Josh

5

1Resp

142Vistas

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

271Vistas

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 ordenada?

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: