Preguntas de meta-matemáticas02

5

3Resp

317Vistas

Hay un área de estudio con respecto a por qué ciertas definiciones matemáticas son útiles?

Abierta

Preguntado el 21 de Marzo, 2015 por TonyP

87

5Resp

11594Vistas

Solo un montón de hojas.

Abierta

Preguntado el 2 de Mayo, 2018 por Vinicius Deloi

11

4Resp

348Vistas

Recursos como "Cómo resolverlo" de Polya

Resuelta

Preguntado el 24 de Mayo, 2018 por zxc

7

2Resp

181Vistas

¿Hay cualquier sistema coherente, completa, matemático que implica la existencia del infinito?

Abierta

Preguntado el 18 de Febrero, 2016 por John

7

5Resp

1101Vistas

En lógica, ¿es 'P = Q,' donde P y Q son proposiciones, mal concebido?

Abierta

Preguntado el 28 de Agosto, 2016 por David Marlowe

14

1Resp

289Vistas

¿La sentencia de Gödel explícitamente elaborada?

Resuelta

Preguntado el 8 de Julio, 2014 por user161646

6

1Resp

140Vistas

¿Qué significa "declaración dual" significa exactamente en la teoría de categorías?

Resuelta

Preguntado el 16 de Febrero, 2016 por Censi LI

17

5Resp

1798Vistas

Es esta analogía visual de Gödel del teorema de la incompletitud precisa?

Abierta

Preguntado el 10 de Junio, 2015 por Andrew

12

2Resp

1660Vistas

Definición de "no constructiva"a prueba de

Resuelta

Preguntado el 13 de Noviembre, 2011 por khebbie

10

1Resp

1438Vistas

Ficción "División por cero", de Ted Chiang

Resuelta

Preguntado el 18 de Diciembre, 2010 por Karl Voigtland

33

4Resp

2962Vistas

¿Cuál es la diferencia entre una proposición y un teorema?

Abierta

Preguntado el 28 de Septiembre, 2011 por François Feugeas

8

1Resp

252Vistas

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user894795

14

1Resp

205Vistas

Recursión primitiva y $\Delta^0_0$

Abierta

Preguntado el 21 de Junio, 2015 por Allen Bauer

8

1Resp

239Vistas

Hay fuertemente axiomatizable lógicas que no son compactos?

Abierta

Preguntado el 24 de Mayo, 2011 por bob

7

5Resp

1373Vistas

Por qué algunas personas don ' t como las pruebas por contradicción

Resuelta

Preguntado el 16 de Julio, 2011 por Beni Bogosel

6

3Resp

224Vistas

¿Si $T$ prueba $\operatorname{Con}(ZFC)$, es $T$ por lo menos tan fuerte como teoría de conjuntos?

Resuelta

Preguntado el 29 de Abril, 2012 por Jose Villada

7

2Resp

161Vistas

Metamatemática de las consecuencias de los espacios de Banach del teorema de la categoría de Baire

Resuelta

Preguntado el 5 de Abril, 2017 por user161311

10

2Resp

849Vistas

¿Hay una teoría efectiva que "soluciona" el problema de parada?

Abierta

Preguntado el 29 de Julio, 2017 por PyRulez

3

1Resp

474Vistas

¿Por qué isn ' t este un predicado de verdad?

Abierta

Preguntado el 16 de Agosto, 2017 por PyRulez

7

2Resp

158Vistas

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

Abierta

Preguntado el 31 de Mayo, 2018 por PyRulez

4

2Resp

190Vistas

¿Son los resultados de consistencia relativa los metatheorems?

Resuelta

Preguntado el 26 de Diciembre, 2018 por Nuntractatuses Amável

Preguntas de meta-matemáticas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Hay un área de estudio con respecto a por qué ciertas definiciones matemáticas son útiles?

Solo un montón de hojas.

Recursos como "Cómo resolverlo" de Polya

¿Hay cualquier sistema coherente, completa, matemático que implica la existencia del infinito?

En lógica, ¿es 'P = Q,' donde P y Q son proposiciones, mal concebido?

¿La sentencia de Gödel explícitamente elaborada?

¿Qué significa "declaración dual" significa exactamente en la teoría de categorías?

Es esta analogía visual de Gödel del teorema de la incompletitud precisa?

Definición de "no constructiva"a prueba de

Ficción "División por cero", de Ted Chiang

¿Cuál es la diferencia entre una proposición y un teorema?

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Recursión primitiva y $\Delta^0_0$

Hay fuertemente axiomatizable lógicas que no son compactos?

Por qué algunas personas don ' t como las pruebas por contradicción

¿Si $T$ prueba $\operatorname{Con}(ZFC)$, es $T$ por lo menos tan fuerte como teoría de conjuntos?

Metamatemática de las consecuencias de los espacios de Banach del teorema de la categoría de Baire

¿Hay una teoría efectiva que "soluciona" el problema de parada?

¿Por qué isn ' t este un predicado de verdad?

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

¿Son los resultados de consistencia relativa los metatheorems?

Etiquetas mas usadas

i-Ciencias.com

Powered by: