Preguntas ciencias meta-matemáticas

Puntuación Visitas Fecha
Imagen de perfil de Rushi

5

1Resp
139Vistas

La discusión sobre AC y contables de los sindicatos de conjuntos contables

Resuelta
Preguntado el 4 de Diciembre, 2015 por Rushi
Etiquetas :
Foto de perfil de Nuntractatuses Amável

4

2Resp
190Vistas

¿Son los resultados de consistencia relativa los metatheorems?

Resuelta
Preguntado el 26 de Diciembre, 2018 por Nuntractatuses Amável
Etiquetas :
Imagen de perfil de user525966

9

5Resp
485Vistas

¿Es la inducción algo que tomamos por fe?

Abierta
Preguntado el 3 de Noviembre, 2018 por user525966
Etiquetas :
Imagen de perfil de 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
Etiquetas :
Imagen de perfil de zxc

11

4Resp
348Vistas

Recursos como "Cómo resolverlo" de Polya

Resuelta
Preguntado el 24 de Mayo, 2018 por zxc
Etiquetas :
Foto de perfil de Vinicius Deloi

87

5Resp
11594Vistas

Solo un montón de hojas.

Abierta
Preguntado el 2 de Mayo, 2018 por Vinicius Deloi
Etiquetas :
Foto de perfil de TonyP

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
Etiquetas :
Foto de perfil de PyRulez

5

1Resp
187Vistas

¿Qué impacto tendría una prueba que ZFC es incompatible en metamatemática?

Abierta
Preguntado el 12 de Julio, 2017 por PyRulez
Etiquetas :
Imagen de perfil de frogeyedpeas

7

2Resp
189Vistas

Prueba-búsqueda de meta

Resuelta
Preguntado el 18 de Julio, 2016 por frogeyedpeas
Etiquetas :
Foto de perfil de Censi LI

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
Etiquetas :
Foto de perfil de jorelli

5

2Resp
296Vistas

Buena fuente de información sobre las "opiniones y pensamientos" actuales sobre las matemáticas

Resuelta
Preguntado el 11 de Diciembre, 2014 por jorelli
Etiquetas :
Imagen de perfil de Cody S

6

3Resp
337Vistas

¿Dónde puedo aprender sobre Filosofía Matemática?

Abierta
Preguntado el 3 de Septiembre, 2014 por Cody S
Etiquetas :
Imagen de perfil de dgibbons

6

2Resp
186Vistas

¿Lo que se adquiere por la internalización LST (la lengua de teoría de conjuntos)?

Resuelta
Preguntado el 7 de Marzo, 2014 por dgibbons
Etiquetas :
Foto de perfil de Rich Lawrence

5

3Resp
457Vistas

Son los "axiomas" en la topología de la teoría realmente axiomas?

Resuelta
Preguntado el 29 de Enero, 2012 por Rich Lawrence
Etiquetas :
Foto de perfil de PyRulez

3

1Resp
474Vistas

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

Abierta
Preguntado el 16 de Agosto, 2017 por PyRulez
Etiquetas :
Imagen de perfil de Goran Martinic

5

5Resp
862Vistas

¿Es la matemática la única lengua que no es sujeta de interpretación?

Resuelta
Preguntado el 23 de Noviembre, 2012 por Goran Martinic
Etiquetas :
Foto de perfil de user161646

14

1Resp
289Vistas

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

Resuelta
Preguntado el 8 de Julio, 2014 por user161646
Etiquetas :
Foto de perfil de 1830rbc03

61

4Resp
3474Vistas

¿Por qué podemos utilizar la inducción al estudiar las metamatemáticas?

Abierta
Preguntado el 2 de Agosto, 2017 por 1830rbc03
Etiquetas :
Imagen de perfil de PyRulez

10

2Resp
849Vistas

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

Abierta
Preguntado el 29 de Julio, 2017 por PyRulez
Etiquetas :
Imagen de perfil de Thomas Redding

5

1Resp
177Vistas

¿Dado cualquier conjunto de axiomas consistentes, siempre es posible encontrar un modelo para estos axiomas de ZFC Fije la teoría?

Resuelta
Preguntado el 7 de Agosto, 2015 por Thomas Redding
Etiquetas :
Foto de perfil de user161311

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
Etiquetas :
Foto de perfil de A.Stone

35

4Resp
1871Vistas

¿Valen las pruebas Metalógica?

Abierta
Preguntado el 26 de Junio, 2017 por A.Stone
Etiquetas :
Foto de perfil de Jorge Perez

8

2Resp
180Vistas

¿Qué porción de las declaraciones matemáticas son ZFC indecidible?

Abierta
Preguntado el 12 de Mayo, 2017 por Jorge Perez
Etiquetas :
Foto de perfil de Jose Villada

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
Etiquetas :
Imagen de perfil de Beni Bogosel

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
Etiquetas :
Foto de perfil de The Pointer

10

3Resp
867Vistas

La consistencia de ZFC y la prueba por contradicción

Resuelta
Preguntado el 9 de Febrero, 2017 por The Pointer
Etiquetas :
Foto de perfil de dhiller

7

3Resp
321Vistas

Es allí una manera de probar que el teorema no tiene primaria de la prueba? O probar que algo puede tener ninguna prueba?

Resuelta
Preguntado el 19 de Noviembre, 2011 por dhiller
Etiquetas :
Imagen de perfil de rere

8

3Resp
234Vistas

¿Por qué Tao uso de la palabra *metatheory* en este contexto?

Resuelta
Preguntado el 4 de Noviembre, 2016 por rere
Etiquetas :
Foto de perfil de pablo1977

8

4Resp
542Vistas

El estándar de papel intuitivo de los números en los fundamentos de las matemáticas

Resuelta
Preguntado el 20 de Junio, 2014 por pablo1977
Etiquetas :
Imagen de perfil de bob

8

1Resp
239Vistas

Hay fuertemente axiomatizable lógicas que no son compactos?

Abierta
Preguntado el 24 de Mayo, 2011 por bob
Etiquetas :

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X