Preguntas de fundaciones03

17

2Resp

499Vistas

Desarrollo de la teoría de las categorías dentro de ETCS

Resuelta

Preguntado el 29 de Junio, 2013 por Hanno

30

5Resp

2374Vistas

¿Es la verdad formal en lógica matemática una generalización de la verdad intuitiva, todos los días?

Abierta

Preguntado el 12 de Mayo, 2016 por justin

14

5Resp

971Vistas

Cuantificador: "Para todos los conjuntos"

Abierta

Preguntado el 10 de Diciembre, 2015 por YoTengoUnLCD

14

2Resp

480Vistas

Hao Wang $\mathfrak S$ sistema/ $\Sigma$ sistema: un "transfinito" tipo de teoría que evita la Goedel de teoremas.

Resuelta

Preguntado el 12 de Mayo, 2013 por MphLee

18

4Resp

1811Vistas

¿Preocupa a matemáticos profesionales con infinitamente muchas opciones dependiendo la formalización?

Abierta

Preguntado el 13 de Mayo, 2016 por retret45y45y4

12

2Resp

360Vistas

La fundación de la Aritmética en la geometría

Resuelta

Preguntado el 22 de Febrero, 2014 por Willemien

11

1Resp

474Vistas

Lo de los "Conjuntos, Clases y Categorías de" el acercamiento a las bases?

Abierta

Preguntado el 15 de Abril, 2013 por goblin

11

5Resp

1477Vistas

¿Qué significa la notación teórica de conjuntos {}=0 y {{}}=1?

Abierta

Preguntado el 7 de Septiembre, 2014 por user174364

11

5Resp

382Vistas

¿Qué es una función? por favor.

Abierta

Preguntado el 11 de Junio, 2013 por Roosh

10

4Resp

482Vistas

¿Lo que precisamente se pierde al considerar clases adecuadas en lugar de conjuntos?

Resuelta

Preguntado el 20 de Julio, 2013 por Cameron

36

2Resp

1189Vistas

¿Hay un modelo de ZFC que ZFC no tiene un modelo?

Resuelta

Preguntado el 14 de Junio, 2016 por jogaco

9

2Resp

635Vistas

¿Qué significa "las Matemáticas de la Computación"?

Abierta

Preguntado el 20 de Febrero, 2016 por Peter Bernier

10

4Resp

627Vistas

La fundación de la orden de los números reales

Resuelta

Preguntado el 11 de Julio, 2015 por John Jack

17

3Resp

343Vistas

Preservar la igualdad entre distintos objetos matemáticos

Abierta

Preguntado el 28 de Junio, 2016 por Eduardo M.

11

3Resp

402Vistas

¿Por qué algo no es un campo si lo ' s una clase adecuada?

Resuelta

Preguntado el 30 de Abril, 2015 por jkabrg

10

4Resp

1151Vistas

Podemos demostrar que los números pares y los impares alternativa sin el uso de la inducción?

Abierta

Preguntado el 10 de Septiembre, 2013 por Keshav Srinivasan

8

1Resp

336Vistas

Podemos encontrar matemáticas sin evaluación o membresía?

Abierta

Preguntado el 3 de Octubre, 2013 por goblin

9

1Resp

283Vistas

Problema de corrección de la prueba

Abierta

Preguntado el 17 de Julio, 2014 por mdk

16

1Resp

507Vistas

Cómo es la geometría definida por el uso de ZFC?

Resuelta

Preguntado el 7 de Junio, 2014 por ignoramus

9

2Resp

334Vistas

Hay conceptos de las matemáticas hoy en día que no están en un sólido fundamento lógico?

Resuelta

Preguntado el 29 de Abril, 2013 por Andrew

14

1Resp

256Vistas

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

Resuelta

Preguntado el 14 de Agosto, 2016 por Treppe

45

3Resp

3713Vistas

¿Todos los "números" son sólo un valor unitario transformado por una función?

Abierta

Preguntado el 3 de Octubre, 2016 por lunchmeat317

8

2Resp

1670Vistas

¿La caracterización de Einstein del "tiempo" como "la posición de la manecilla de mi reloj" es definitiva y vinculante en la RT?

Abierta

Preguntado el 22 de Abril, 2015 por Gil Milow

18

4Resp

1099Vistas

Las "funciones" de tipo lambda cálculo no son (conjunto teórico) funciona así, cuáles son?

Resuelta

Preguntado el 7 de Octubre, 2016 por Q the Platypus

9

2Resp

376Vistas

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

Abierta

Preguntado el 9 de Junio, 2013 por user2800708

15

1Resp

357Vistas

¿Son la adición y la multiplicación de números reales, como lo conocemos, únicos?

Abierta

Preguntado el 16 de Diciembre, 2015 por Diego Mucciolo

16

5Resp

1897Vistas

¿Cuál es la lógica matemática?

Resuelta

Preguntado el 31 de Octubre, 2016 por rere

14

5Resp

1051Vistas

¿Qué significan las personas por "finito"?

Abierta

Preguntado el 1 de Junio, 2015 por Calum Gilhooley

11

1Resp

499Vistas

¿Cuál es la definición de la función en ZF/ZFC?

Resuelta

Preguntado el 10 de Octubre, 2016 por reprogrammer

7

4Resp

947Vistas

Las definiciones circulares en la Relatividad Especial?

Abierta

Preguntado el 12 de Agosto, 2016 por släcker

Preguntas de fundaciones

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Desarrollo de la teoría de las categorías dentro de ETCS

¿Es la verdad formal en lógica matemática una generalización de la verdad intuitiva, todos los días?

Cuantificador: "Para todos los conjuntos"

Hao Wang $\mathfrak S$ sistema/ $\Sigma$ sistema: un "transfinito" tipo de teoría que evita la Goedel de teoremas.

¿Preocupa a matemáticos profesionales con infinitamente muchas opciones dependiendo la formalización?

La fundación de la Aritmética en la geometría

Lo de los "Conjuntos, Clases y Categorías de" el acercamiento a las bases?

¿Qué significa la notación teórica de conjuntos {}=0 y {{}}=1?

¿Qué es una función? por favor.

¿Lo que precisamente se pierde al considerar clases adecuadas en lugar de conjuntos?

¿Hay un modelo de ZFC que ZFC no tiene un modelo?

¿Qué significa "las Matemáticas de la Computación"?

La fundación de la orden de los números reales

Preservar la igualdad entre distintos objetos matemáticos

¿Por qué algo no es un campo si lo ' s una clase adecuada?

Podemos demostrar que los números pares y los impares alternativa sin el uso de la inducción?

Podemos encontrar matemáticas sin evaluación o membresía?

Problema de corrección de la prueba

Cómo es la geometría definida por el uso de ZFC?

Hay conceptos de las matemáticas hoy en día que no están en un sólido fundamento lógico?

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

¿Todos los "números" son sólo un valor unitario transformado por una función?

¿La caracterización de Einstein del "tiempo" como "la posición de la manecilla de mi reloj" es definitiva y vinculante en la RT?

Las "funciones" de tipo lambda cálculo no son (conjunto teórico) funciona así, cuáles son?

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

¿Son la adición y la multiplicación de números reales, como lo conocemos, únicos?

¿Cuál es la lógica matemática?

¿Qué significan las personas por "finito"?

¿Cuál es la definición de la función en ZF/ZFC?

Las definiciones circulares en la Relatividad Especial?

Etiquetas mas usadas

i-Ciencias.com

Powered by: