Preguntas ciencias de lo.lógica05

18

1Resp

1748Vistas

Teorema del punto fijo de Lawvere y teorema de recursión

Resuelta

Preguntado el 20 de Mayo, 2013 por Venkata Koppaka

22

1Resp

2034Vistas

¿Cuál es la relación entre las máquinas de Turing y el Teorema de Incompletitud de Gödel?

Resuelta

Preguntado el 30 de Diciembre, 2015 por ranger rover

18

4Resp

1943Vistas

Impredicativity

Resuelta

Preguntado el 28 de Mayo, 2010 por hisheeraz

19

3Resp

899Vistas

¿Cómo construir una prueba constructiva a partir de una prueba no constructiva usando ideales primarios?

Resuelta

Preguntado el 14 de Septiembre, 2016 por Death

37

2Resp

1276Vistas

¿Podrían utilizarse grupos en lugar de conjuntos como base de las matemáticas?

Resuelta

Preguntado el 9 de Febrero, 2020 por Henk

24

2Resp

1478Vistas

Es el Subespacio Invariante Problema de aritmética?

Resuelta

Preguntado el 4 de Junio, 2014 por Shay Levy

21

1Resp

705Vistas

¿Cuál es la gran fuerza cardinal de la afirmación de que cada $ \kappa $ -filtro completo en $ \kappa $ se extiende a un $ \kappa $ -¿un ultrafiltro completo?

Abierta

Preguntado el 27 de Junio, 2014 por thedeeno

19

4Resp

2104Vistas

Cómo constructivo es Doyle-Conway 'División por tres'?

Resuelta

Preguntado el 25 de Agosto, 2010 por Xavier Nodet

27

4Resp

5911Vistas

Finito axioma de elección: ¿cómo se puede demostrar sólo ZF?

Abierta

Preguntado el 19 de Julio, 2010 por Garret Raziel

19

1Resp

485Vistas

Es cada transitivo de ZF-modelo de altura inaccesible un truncamiento interior de un modelo?

Resuelta

Preguntado el 21 de Junio, 2017 por Bob Zannelli

24

1Resp

750Vistas

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Resuelta

Preguntado el 31 de Enero, 2020 por ddmytrenko

19

1Resp

979Vistas

Fubini sin CH

Resuelta

Preguntado el 2 de Enero, 2019 por Grant Johnson

21

3Resp

1523Vistas

Aproximado teorema del valor intermedio en el más puro constructivo de las matemáticas

Resuelta

Preguntado el 25 de Octubre, 2016 por Leon Bambrick

19

2Resp

851Vistas

Que los gráficos son elementarily equivalente a su propia discontinuo sumas?

Abierta

Preguntado el 1 de Septiembre, 2010 por thedeeno

19

4Resp

1187Vistas

Hay dos ligeramente diferentes nociones de ultraproduct. ¿Por qué dice que es mejor que el otro?

Abierta

Preguntado el 24 de Agosto, 2012 por jlleblanc

73

4Resp

3738Vistas

Categoría de la teoría y de la teoría de conjuntos: sólo un idioma diferente, o diferente de la fundación de las matemáticas?

Resuelta

Preguntado el 17 de Mayo, 2020 por grubers

20

3Resp

2886Vistas

Cohen reales y fuertes conjuntos de medida cero

Resuelta

Preguntado el 30 de Abril, 2011 por Ross

21

5Resp

4032Vistas

A principios de cálculo incompatible?

Abierta

Preguntado el 19 de Marzo, 2013 por David Grayson

38

1Resp

1749Vistas

¿Cuánto tiempo pueden durar las pruebas?

Resuelta

Preguntado el 12 de Mayo, 2020 por Stefan

21

4Resp

947Vistas

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

Resuelta

Preguntado el 7 de Mayo, 2015 por thedeeno

22

1Resp

1820Vistas

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

Resuelta

Preguntado el 10 de Julio, 2013 por davidsmalley

20

1Resp

919Vistas

¿Existe un subconjunto del plano de los números naturales que no sepa cuáles de sus cortes son aritméticos?

Resuelta

Preguntado el 6 de Septiembre, 2013 por thedeeno

22

2Resp

1458Vistas

¿Podemos axiomatizar los números enteros omnímodos sin el sistema de números surrealistas?

Abierta

Preguntado el 11 de Agosto, 2011 por Dylan Beattie

27

1Resp

1663Vistas

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

Resuelta

Preguntado el 29 de Abril, 2020 por Kache

21

3Resp

1129Vistas

Es un ser racional decidable?

Resuelta

Preguntado el 17 de Noviembre, 2015 por Josh

22

2Resp

1317Vistas

Si ZFC tiene un modelo transitivo, tiene uno de tamaño arbitrario?

Resuelta

Preguntado el 5 de Mayo, 2013 por PhilJ

31

2Resp

1560Vistas

Pruebas matemáticas respaldando $|\mathbb{R}|=\aleph_2$

Abierta

Preguntado el 30 de Julio, 2018 por Morteza Azad

21

2Resp

1005Vistas

Antirandom reales

Abierta

Preguntado el 27 de Septiembre, 2015 por Venkata Koppaka

29

2Resp

1582Vistas

La filosofía detrás de local anillos

Resuelta

Preguntado el 24 de Noviembre, 2016 por Jay

28

2Resp

2318Vistas

¿Quién introdujo los límites directos?

Abierta

Preguntado el 19 de Abril, 2020 por Tomislav Nakic-Alfirevic

Preguntas ciencias lo.lógica

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Teorema del punto fijo de Lawvere y teorema de recursión

¿Cuál es la relación entre las máquinas de Turing y el Teorema de Incompletitud de Gödel?

Impredicativity

¿Cómo construir una prueba constructiva a partir de una prueba no constructiva usando ideales primarios?

¿Podrían utilizarse grupos en lugar de conjuntos como base de las matemáticas?

Es el Subespacio Invariante Problema de aritmética?

¿Cuál es la gran fuerza cardinal de la afirmación de que cada $ \kappa $ -filtro completo en $ \kappa $ se extiende a un $ \kappa $ -¿un ultrafiltro completo?

Cómo constructivo es Doyle-Conway 'División por tres'?

Finito axioma de elección: ¿cómo se puede demostrar sólo ZF?

Es cada transitivo de ZF-modelo de altura inaccesible un truncamiento interior de un modelo?

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Fubini sin CH

Aproximado teorema del valor intermedio en el más puro constructivo de las matemáticas

Que los gráficos son elementarily equivalente a su propia discontinuo sumas?

Hay dos ligeramente diferentes nociones de ultraproduct. ¿Por qué dice que es mejor que el otro?

Categoría de la teoría y de la teoría de conjuntos: sólo un idioma diferente, o diferente de la fundación de las matemáticas?

Cohen reales y fuertes conjuntos de medida cero

A principios de cálculo incompatible?

¿Cuánto tiempo pueden durar las pruebas?

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

¿Existe un subconjunto del plano de los números naturales que no sepa cuáles de sus cortes son aritméticos?

¿Podemos axiomatizar los números enteros omnímodos sin el sistema de números surrealistas?

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

Es un ser racional decidable?

Si ZFC tiene un modelo transitivo, tiene uno de tamaño arbitrario?

Pruebas matemáticas respaldando $|\mathbb{R}|=\aleph_2$

Antirandom reales

La filosofía detrás de local anillos

¿Quién introdujo los límites directos?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: