Respuestas del usuario 36004

Puntuación Visitas Fecha
Avatar de Sekhat

86 votos

Que las ideas matemáticas se han hecho más para cambiar la historia?

Respondido el 1 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

10 votos

Se Bourbaki ha comprometido a establecer teórico-reduccionismo?

Respondido el 10 de Enero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

19 votos

Prueba de asistentes para las matemáticas

Respondido el 11 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

29 votos

Aritmética de Presburger

Aceptada
Respondido el 29 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

14 votos

Hay una categoría de no-bien fundada?

Aceptada
Respondido el 4 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

7 votos

El uso de extremos para construir categórica puntos fijos

Respondido el 1 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

2 votos

Cómo gran parte de la actual lógica es acerca de la sintaxis?

Aceptada
Respondido el 13 de Enero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

13 votos

¿Sabe cualquier buen recurso introductorio al cálculo sequent?

Respondido el 9 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

1 votos

¿Existe algún asistente de pruebas basado en la lógica de primer orden?

Respondido el 18 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

2 votos

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

Aceptada
Respondido el 14 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

27 votos

Formalización de la "no basura, no hay confusión"

Aceptada
Respondido el 24 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

6 votos

Badiou y Matemáticas

Respondido el 9 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

12 votos

¿Por qué son universales introducción y existencial eliminación válidas las reglas de inferencia?

Respondido el 4 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

5 votos

¿Hay aleatoriedades no equivalentes?

Respondido el 10 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

4 votos

Gramática libre de contexto + funciones = ?

Respondido el 26 de Febrero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

0 votos

¿Es cada red el conjunto de puntos fijos de un endomorfismo de orden de ⋄ ^ n?

Respondido el 14 de Enero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

31 votos

¿Cómo verifican un verificador de pruebas formalizadas?

Aceptada
Respondido el 16 de Marzo, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

22 votos

¿La capacidad de decisión tiene algo que ver con los números primos?

Respondido el 31 de Marzo, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

7 votos

¿Podemos demostrar que la teoría de conjuntos es consistente?

Respondido el 26 de Abril, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

12 votos

Cualquier ejemplo de no-fuerte de la mónada?

Respondido el 12 de Enero, 2012 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

2 votos

Impredicativity

Respondido el 28 de Mayo, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

30 votos

¿Un lenguaje de programación que sólo puede crear algoritmos con tiempo de ejecución polinómico?

Aceptada
Respondido el 4 de Febrero, 2012 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

11 votos

¿Es la programación funcional una rama de las matemáticas?

Aceptada
Respondido el 16 de Enero, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

16 votos

Lógica en matemáticas y filosofía

Respondido el 20 de Abril, 2011 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

4 votos

¿El infinito puede acortar mucho las pruebas?

Respondido el 18 de Noviembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

32 votos

La unificación de las matemáticas a través de la teoría de los topos

Respondido el 23 de Junio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

11 votos

Reforzar la hipótesis de la inducción

Respondido el 13 de Julio, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

6 votos

Igualdad vs. isomorfismo vs. isomorfismo específico

Respondido el 12 de Mayo, 2010 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

21 votos

Asistentes de pruebas para las matemáticas

Respondido el 11 de Diciembre, 2009 por Sekhat
q2astack::content.general.tags :
Avatar de Sekhat

31 votos

¿Qué es la matemática realista?

Respondido el 8 de Agosto, 2010 por Sekhat
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