Preguntas ciencias de fundaciones04

7

3Resp

803Vistas

¿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.

42

2Resp

1599Vistas

Diferencia entre demostrativa y la verdad de Goodstein ' teorema s

Abierta

Preguntado el 19 de Enero, 2018 por Sam Mayo

6

2Resp

158Vistas

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

6

2Resp

313Vistas

Historia del cálculo del predicado

Abierta

Preguntado el 22 de Agosto, 2016 por user363059

5

3Resp

249Vistas

Listas de los juegos como objetos de los axiomas ZF

Abierta

Preguntado el 22 de Mayo, 2015 por LordWabbit

6

1Resp

184Vistas

¿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

6

2Resp

166Vistas

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

Resuelta

Preguntado el 7 de Agosto, 2017 por faskunji

5

2Resp

297Vistas

¿Tiene sentido el conteo?

Abierta

Preguntado el 7 de Julio, 2014 por Michael Hardy

5

1Resp

315Vistas

¿Hasta qué punto podemos obtener sin una base, usando la lógica de primer orden sólo?

Resuelta

Preguntado el 18 de Julio, 2013 por goblin

8

3Resp

212Vistas

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

Resuelta

Preguntado el 16 de Agosto, 2014 por Usuario Borrado

5

2Resp

189Vistas

¿Cuando las variables simplemente se puede variables?

Resuelta

Preguntado el 8 de Mayo, 2015 por Nethesis

10

2Resp

130Vistas

Interpretación vs modelo

Abierta

Preguntado el 17 de Marzo, 2017 por SaitamaSensei

5

1Resp

243Vistas

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

Resuelta

Preguntado el 3 de Junio, 2013 por m.Os

5

3Resp

407Vistas

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

Resuelta

Preguntado el 4 de Julio, 2013 por casperOne

13

1Resp

196Vistas

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

10

1Resp

171Vistas

Necesidad del Axioma de Elección en el Análisis Funcional dado ZF + Dependiente de la Elección

Abierta

Preguntado el 28 de Octubre, 2016 por cantorhead

19

3Resp

638Vistas

¿Los límites de las matemáticas?

Abierta

Preguntado el 24 de Octubre, 2017 por Michael Hardy

5

3Resp

337Vistas

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

5

1Resp

283Vistas

¿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

7

1Resp

318Vistas

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

Abierta

Preguntado el 1 de Diciembre, 2013 por Andrew

8

2Resp

551Vistas

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

9

1Resp

327Vistas

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

Abierta

Preguntado el 25 de Febrero, 2015 por Hanno

4

3Resp

364Vistas

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é

4

1Resp

363Vistas

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

Abierta

Preguntado el 11 de Enero, 2014 por goblin

6

5Resp

564Vistas

Ambigüedad en los números naturales

Abierta

Preguntado el 13 de Enero, 2014 por Sorin Comanescu

8

1Resp

272Vistas

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

Abierta

Preguntado el 17 de Septiembre, 2017 por Hurkyl

5

2Resp

207Vistas

¿Lo que resulta valioso en matemáticas?

Cerrada

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

6

1Resp

496Vistas

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

Abierta

Preguntado el 28 de Agosto, 2013 por user39158

5

3Resp

317Vistas

Teoría de conjuntos

Abierta

Preguntado el 10 de Septiembre, 2014 por Niksac

5

2Resp

229Vistas

¿Cuáles son los principales fundamentos alternativos para las matemáticas?

Resuelta

Preguntado el 10 de Noviembre, 2014 por user894795

Preguntas ciencias fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

Diferencia entre demostrativa y la verdad de Goodstein ' teorema s

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.

Historia del cálculo del predicado

Listas de los juegos como objetos de los axiomas ZF

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

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

¿Tiene sentido el conteo?

¿Hasta qué punto podemos obtener sin una base, usando la lógica de primer orden sólo?

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

¿Cuando las variables simplemente se puede variables?

Interpretación vs modelo

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

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

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

Necesidad del Axioma de Elección en el Análisis Funcional dado ZF + Dependiente de la Elección

¿Los límites de las matemáticas?

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

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

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

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?

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

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

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

Ambigüedad en los números naturales

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

¿Lo que resulta valioso en matemáticas?

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

Teoría de conjuntos

¿Cuáles son los principales fundamentos alternativos para las matemáticas?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: