Preguntas de fundaciones08

4

1Resp

198Vistas

¿Es el análisis ordinal un proyecto no-recursiva?

Resuelta

Preguntado el 6 de Octubre, 2013 por Keshav Srinivasan

8

5Resp

779Vistas

Cómo sabemos nuestros definiciones don ' t conducen a contradicciones

Abierta

Preguntado el 19 de Octubre, 2018 por Afa Juste

6

2Resp

201Vistas

Axiomas de Trigonometría

Abierta

Preguntado el 8 de Marzo, 2016 por Elohgee

23

1Resp

220Vistas

¿Están la teoría de categorías y la teoría de conjuntos en igualdad de condiciones?

Abierta

Preguntado el 7 de Noviembre, 2017 por mmalmeida

5

1Resp

357Vistas

¿Qué es un real no construible?

Resuelta

Preguntado el 17 de Marzo, 2014 por Wolphram jonny

4

2Resp

355Vistas

Formulación correcta del axioma de elección.

Resuelta

Preguntado el 6 de Noviembre, 2016 por rere

5

3Resp

207Vistas

Una 'prueba' de que el Axioma de Infinitud

Abierta

Preguntado el 22 de Marzo, 2017 por Yuriy Tkach

11

1Resp

140Vistas

¿Sin fundamento: no transitiva modelo de ZFC?

Resuelta

Preguntado el 28 de Noviembre, 2018 por Popov Florino

7

2Resp

176Vistas

¿Mal no la Fundación en NF(etc.)?

Resuelta

Preguntado el 28 de Noviembre, 2018 por ManuelSchneid3r

5

2Resp

175Vistas

¿Puede $\mathbb R$ ser enumerado después de todo?

Resuelta

Preguntado el 13 de Marzo, 2014 por tyler mackenzie

4

3Resp

205Vistas

¿Por qué no el conjunto inductivo _the_ conjunto de los números naturales?

Abierta

Preguntado el 15 de Febrero, 2014 por user129043

4

2Resp

353Vistas

Definición de verdad en la lógica de primer orden

Abierta

Preguntado el 16 de Julio, 2016 por csTroubled

3

1Resp

130Vistas

¿ $\lambda^2 \leq \kappa^2 \Rightarrow \lambda \leq \kappa$ Implica el axioma de elección?

Abierta

Preguntado el 5 de Marzo, 2015 por Charlene McAllistar

5

2Resp

113Vistas

La igualdad de definición

Abierta

Preguntado el 30 de Septiembre, 2016 por user373992

4

1Resp

168Vistas

Tiene a nadie con éxito axiomatized la categoría de conjuntos finitos? De tal manera que el resultado de la teoría es bi-interpretables con PA.

Abierta

Preguntado el 9 de Enero, 2014 por goblin

5

3Resp

318Vistas

¿Cómo se puede cuantificar una función en ZFC?

Resuelta

Preguntado el 1 de Octubre, 2013 por sand

6

1Resp

154Vistas

¿Cuál es el grado de verdad de Turing?

Resuelta

Preguntado el 11 de Enero, 2019 por TenPlus1

4

1Resp

212Vistas

Hay un simple formalismo en el cual la auto-referencial definiciones se puede hacer con seguridad?

Abierta

Preguntado el 23 de Agosto, 2013 por goblin

4

2Resp

169Vistas

El hacinamiento de los límites de la no-constructivity sin cruzar?

Abierta

Preguntado el 18 de Octubre, 2013 por Michael Hardy

5

1Resp

296Vistas

Comprensión formalista de las pruebas metalógicas

Resuelta

Preguntado el 12 de Febrero, 2019 por Blake

11

2Resp

243Vistas

¿Cuántos géneros hay en la teoría de conjuntos de Terry Tao?

Resuelta

Preguntado el 1 de Junio, 2016 por justin

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

5

1Resp

144Vistas

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

5

1Resp

208Vistas

Lógica cuántica y paraconsistente

Abierta

Preguntado el 4 de Noviembre, 2013 por Josh

12

1Resp

254Vistas

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

Resuelta

Preguntado el 8 de Marzo, 2019 por Eric Brown

4

2Resp

348Vistas

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

Resuelta

Preguntado el 4 de Diciembre, 2013 por Tanmay

22

3Resp

213Vistas

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

Abierta

Preguntado el 5 de Junio, 2017 por Fallen Apart

5

3Resp

716Vistas

Una cadena infinita de teorías

Resuelta

Preguntado el 13 de Noviembre, 2016 por TheBitByte

6

2Resp

195Vistas

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

4

2Resp

463Vistas

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

Cerrada

Preguntado el 17 de Abril, 2016 por Constantine

Preguntas de fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el análisis ordinal un proyecto no-recursiva?

Cómo sabemos nuestros definiciones don ' t conducen a contradicciones

Axiomas de Trigonometría

¿Están la teoría de categorías y la teoría de conjuntos en igualdad de condiciones?

¿Qué es un real no construible?

Formulación correcta del axioma de elección.

Una 'prueba' de que el Axioma de Infinitud

¿Sin fundamento: no transitiva modelo de ZFC?

¿Mal no la Fundación en NF(etc.)?

¿Puede $\mathbb R$ ser enumerado después de todo?

¿Por qué no el conjunto inductivo _the_ conjunto de los números naturales?

Definición de verdad en la lógica de primer orden

¿ $\lambda^2 \leq \kappa^2 \Rightarrow \lambda \leq \kappa$ Implica el axioma de elección?

La igualdad de definición

Tiene a nadie con éxito axiomatized la categoría de conjuntos finitos? De tal manera que el resultado de la teoría es bi-interpretables con PA.

¿Cómo se puede cuantificar una función en ZFC?

¿Cuál es el grado de verdad de Turing?

Hay un simple formalismo en el cual la auto-referencial definiciones se puede hacer con seguridad?

El hacinamiento de los límites de la no-constructivity sin cruzar?

Comprensión formalista de las pruebas metalógicas

¿Cuántos géneros hay en la teoría de conjuntos de Terry Tao?

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

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

Lógica cuántica y paraconsistente

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

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

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

Una cadena infinita de teorías

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: