Respuestas del usuario 90123

Puntuación Visitas Fecha
Avatar de MarlonRibunal

16 votos

Estudiante de posgrado deprimido.

Respondido el 2 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

1 votos

Oneupsmanship y la Publicación de la Etiqueta

Respondido el 20 de Febrero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

3 votos

¿Qué aplicaciones prácticas hace que la teoría de conjuntos?

Respondido el 2 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

25 votos

sintético de la geometría diferencial y otras teorías alternativas

Aceptada
Respondido el 22 de Diciembre, 2009 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

8 votos

categorification de la lógica

Respondido el 21 de Diciembre, 2009 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

0 votos

Puede dependiente de las sumas que ser codificada como dependiente de productos?

Respondido el 25 de Febrero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

16 votos

Scott en la consistencia del cálculo lambda

Aceptada
Respondido el 1 de Marzo, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

2 votos

Objetivo de incrustación de Yoneda

Respondido el 2 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

3 votos

Objetivo de incrustación de Yoneda

Respondido el 2 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

5 votos

Categoría de gráficos.

Aceptada
Respondido el 17 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

8 votos

Probar que una función es recursiva primitiva

Aceptada
Respondido el 2 de Marzo, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

4 votos

¿Es la reflexividad de la igualdad un axioma o un teorema?

Respondido el 29 de Enero, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

159 votos

¿Cómo presentar las matemáticas a los no matemáticos?

Respondido el 24 de Noviembre, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

16 votos

¿Podemos unificar la suma y la multiplicación en una operación binaria? ¿Hasta qué punto podemos encontrar operaciones binarias universales?

Respondido el 5 de Marzo, 2011 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

90 votos

¿Es el rigor solo un ritual del que la mayoría de los matemáticos desean deshacerse si pudieran?

Respondido el 8 de Mayo, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

25 votos

¿Se puede usar el teorema del punto fijo de Lawvere para probar el teorema del punto fijo de Brouwer?

Respondido el 13 de Julio, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

24 votos

Libros antiguos que le gustaría volver a imprimir con una composición tipográfica de alta calidad

Respondido el 17 de Diciembre, 2018 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

120 votos

Axioma de elección, Banach-Tarski y realidad

Respondido el 20 de Enero, 2017 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

26 votos

¿Cuáles son algunos problemas importantes pero aún sin resolver en la lógica matemática?

Respondido el 27 de Diciembre, 2015 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

76 votos

Sobre la verificación de pruebas con Coq

Respondido el 11 de Noviembre, 2018 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

25 votos

¿Requiere "compacto si las proyecciones son cerradas" alguna forma de elección?

Aceptada
Respondido el 14 de Octubre, 2010 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

54 votos

¿Qué es ... un Grossone?

Aceptada
Respondido el 21 de Diciembre, 2015 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

19 votos

¿Cómo podría demostrarlo un intuicionista?

Respondido el 28 de Septiembre, 2016 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

7 votos

¿Por qué las pruebas no pueden tener infinitos pasos?

Respondido el 23 de Junio, 2012 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

19 votos

¿Existe una prueba constructiva del teorema de Cantor-Bernstein-Schroeder?

Respondido el 3 de Marzo, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

32 votos

¿Qué puede expresarse y demostrarse con la lógica interna de un topos?

Aceptada
Respondido el 4 de Abril, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

36 votos

¿Qué ganamos con lógicas de orden superior?

Respondido el 31 de Mayo, 2019 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

40 votos

Un modelo donde los Reales Dedekind y los Reales Cauchy son diferentes

Respondido el 24 de Abril, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

30 votos

¿Qué hace un teórico matemático hacer?

Respondido el 21 de Octubre, 2013 por MarlonRibunal
q2astack::content.general.tags :
Avatar de MarlonRibunal

14 votos

son los cocientes por las relaciones de equivalencia "mejor" que surjections?

Aceptada
Respondido el 8 de Diciembre, 2018 por MarlonRibunal
q2astack::content.general.tags :

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