Preguntas de fundaciones06

5

3Resp

319Vistas

Teoría de conjuntos

Abierta

Preguntado el 10 de Septiembre, 2014 por Niksac

6

1Resp

498Vistas

La fundación de la categoría de la teoría

Abierta

Preguntado el 28 de Agosto, 2013 por user39158

5

2Resp

209Vistas

¿Lo que resulta valioso en matemáticas?

Cerrada

Preguntado el 12 de Septiembre, 2016 por N.S.

8

1Resp

274Vistas

¿Cómo se hizo el axioma de la opción el boogeyman?

Abierta

Preguntado el 17 de Septiembre, 2017 por Hurkyl

6

5Resp

566Vistas

Ambigüedad en los números naturales

Abierta

Preguntado el 13 de Enero, 2014 por Sorin Comanescu

4

1Resp

364Vistas

¿La mejor manera de formalizar propuestas sufren de "problemas de tamaño"?

Abierta

Preguntado el 11 de Enero, 2014 por goblin

4

3Resp

366Vistas

Lógica intuicionista y la lógica clásica en la prueba de (A o B)

Resuelta

Preguntado el 11 de Enero, 2015 por Junior Mayhé

9

1Resp

328Vistas

¿Es la teoría de la categoría constructiva?

Abierta

Preguntado el 25 de Febrero, 2015 por Hanno

8

2Resp

552Vistas

En el topos de la teoría de la interpretación de la Física por Isham Y Doering ¿qué papel intuitionistic lógica de juego?

Abierta

Preguntado el 26 de Agosto, 2013 por Jim Geurts

7

1Resp

320Vistas

¿Las teorías fundacionales, sus usos, las interacciones y comparaciones?

Abierta

Preguntado el 1 de Diciembre, 2013 por Andrew

5

1Resp

284Vistas

¿Cuál es el ordinal prueba teórica de la teoría de primer orden de campos real cerrados?

Abierta

Preguntado el 2 de Octubre, 2013 por Keshav Srinivasan

5

3Resp

338Vistas

Hay otros enfoques para los fundamentos de las matemáticas, aparte de la lógica y teoría de conjuntos?

Abierta

Preguntado el 22 de Mayo, 2014 por user3111311

19

3Resp

639Vistas

¿Los límites de las matemáticas?

Abierta

Preguntado el 24 de Octubre, 2017 por Michael Hardy

13

1Resp

197Vistas

Hay una contradicción escondida en esta alternativa de la teoría de conjuntos con 3 axiomas?

Abierta

Preguntado el 1 de Noviembre, 2017 por 6005

5

3Resp

409Vistas

Pruebalo $(\sup\{y\in\Bbb R^{\ge0}:y^2\le x\})^2=x$

Resuelta

Preguntado el 4 de Julio, 2013 por casperOne

5

1Resp

245Vistas

¿Donde puedo encontrar el teorema de Pitágoras deducido de Hilbert ' axiomas de s?

Resuelta

Preguntado el 3 de Junio, 2013 por m.Os

10

2Resp

132Vistas

Interpretación vs modelo

Abierta

Preguntado el 17 de Marzo, 2017 por SaitamaSensei

5

2Resp

190Vistas

¿Cuando las variables simplemente se puede variables?

Resuelta

Preguntado el 8 de Mayo, 2015 por Nethesis

8

3Resp

214Vistas

¿Cuántas matemáticas podemos hacer en NF(U)?

Resuelta

Preguntado el 16 de Agosto, 2014 por Usuario Borrado

5

2Resp

298Vistas

¿Tiene sentido el conteo?

Abierta

Preguntado el 7 de Julio, 2014 por Michael Hardy

6

2Resp

167Vistas

La definición de números ordinales y el axioma de regularidad

Resuelta

Preguntado el 7 de Agosto, 2017 por faskunji

6

1Resp

185Vistas

¿Qué es la intuición detrás de $\Delta_1^0$ conjuntos y $\Delta_1^1$ juegos?

Abierta

Preguntado el 17 de Enero, 2014 por Keshav Srinivasan

5

3Resp

251Vistas

Listas de los juegos como objetos de los axiomas ZF

Abierta

Preguntado el 22 de Mayo, 2015 por LordWabbit

6

2Resp

315Vistas

Historia del cálculo del predicado

Abierta

Preguntado el 22 de Agosto, 2016 por user363059

6

2Resp

160Vistas

Los sistemas formales en que $\forall x \in \mathbb{R}(x \neq 0 \rightarrow x^{-1} \neq 0)$ es cierto, pero el contrapositivo no está permitida.

Abierta

Preguntado el 13 de Junio, 2016 por goblin

42

2Resp

1600Vistas

Diferencia entre demostrativa y la verdad de Goodstein ' teorema s

Abierta

Preguntado el 19 de Enero, 2018 por Sam Mayo

7

3Resp

804Vistas

¿Por qué es la palabra ' al mismo tiempo ' importante según Heisenberg ' principio de incertidumbre de s?

Resuelta

Preguntado el 24 de Agosto, 2017 por Russell C.

27

4Resp

2155Vistas

¿Por qué ' t la independencia de la hipótesis del continuo implica inmediatamente que ZFC es insatisfactoria?

Abierta

Preguntado el 26 de Enero, 2018 por Programmer2134

5

1Resp

214Vistas

$\forall A\exists L(\mathcal P(L)=A)$

Resuelta

Preguntado el 20 de Julio, 2013 por MphLee

5

1Resp

180Vistas

¿Hay manera de formalizar la idea de que una categoría puede ser "cocomplete desde dentro"?

Resuelta

Preguntado el 9 de Junio, 2014 por goblin

Preguntas de fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Teoría de conjuntos

La fundación de la categoría de la teoría

¿Lo que resulta valioso en matemáticas?

¿Cómo se hizo el axioma de la opción el boogeyman?

Ambigüedad en los números naturales

¿La mejor manera de formalizar propuestas sufren de "problemas de tamaño"?

Lógica intuicionista y la lógica clásica en la prueba de (A o B)

¿Es la teoría de la categoría constructiva?

En el topos de la teoría de la interpretación de la Física por Isham Y Doering ¿qué papel intuitionistic lógica de juego?

¿Las teorías fundacionales, sus usos, las interacciones y comparaciones?

¿Cuál es el ordinal prueba teórica de la teoría de primer orden de campos real cerrados?

Hay otros enfoques para los fundamentos de las matemáticas, aparte de la lógica y teoría de conjuntos?

¿Los límites de las matemáticas?

Hay una contradicción escondida en esta alternativa de la teoría de conjuntos con 3 axiomas?

Pruebalo $(\sup\{y\in\Bbb R^{\ge0}:y^2\le x\})^2=x$

¿Donde puedo encontrar el teorema de Pitágoras deducido de Hilbert ' axiomas de s?

Interpretación vs modelo

¿Cuando las variables simplemente se puede variables?

¿Cuántas matemáticas podemos hacer en NF(U)?

¿Tiene sentido el conteo?

La definición de números ordinales y el axioma de regularidad

¿Qué es la intuición detrás de $\Delta_1^0$ conjuntos y $\Delta_1^1$ juegos?

Listas de los juegos como objetos de los axiomas ZF

Historia del cálculo del predicado

Los sistemas formales en que $\forall x \in \mathbb{R}(x \neq 0 \rightarrow x^{-1} \neq 0)$ es cierto, pero el contrapositivo no está permitida.

Diferencia entre demostrativa y la verdad de Goodstein ' teorema s

¿Por qué es la palabra ' al mismo tiempo ' importante según Heisenberg ' principio de incertidumbre de s?

¿Por qué ' t la independencia de la hipótesis del continuo implica inmediatamente que ZFC es insatisfactoria?

$\forall A\exists L(\mathcal P(L)=A)$

¿Hay manera de formalizar la idea de que una categoría puede ser "cocomplete desde dentro"?

Etiquetas mas usadas

i-Ciencias.com

Powered by: