Respuestas del usuario 117645

Puntuación Visitas Fecha
Avatar de Paul

4 votos

Generalización de la notación Big O a espacios vectoriales arbitrarios

Aceptada
Respondido el 16 de Mayo, 2017 por Paul
q2astack::content.general.tags :
Avatar de Paul

17 votos

¿Cotación inferior para la suma de coeficientes binomiales?

Aceptada
Respondido el 16 de Febrero, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

4 votos

Subcampos "pequeños" de campos algebraicamente cerrados

Aceptada
Respondido el 10 de Septiembre, 2013 por Paul
q2astack::content.general.tags :
Avatar de Paul

13 votos

¿Es la geometría hiperbólica tarskiana consistente, completa y decidible?

Aceptada
Respondido el 7 de Abril, 2021 por Paul
q2astack::content.general.tags :
Avatar de Paul

7 votos

Aritmética intuitiva de Robinson

Aceptada
Respondido el 9 de Enero, 2016 por Paul
q2astack::content.general.tags :
Avatar de Paul

13 votos

¿Pruebas no constructivas de decidibilidad?

Respondido el 3 de Febrero, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

36 votos

¿Es la Hipótesis de Riemann equivalente a una $\Pi_1$ ¿sentencia?

Respondido el 23 de Junio, 2014 por Paul
q2astack::content.general.tags :
Avatar de Paul

24 votos

¿Hay ejemplos de metapruebas no constructivas?

Aceptada
Respondido el 8 de Junio, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

8 votos

Teoría incoherente con una larga contradicción

Respondido el 8 de Junio, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

8 votos

Axiomas cardinales grandes y funciones recursivas totales

Aceptada
Respondido el 8 de Junio, 2012 por Paul
q2astack::content.general.tags :
Avatar de Paul

3 votos

¿Existe una axiomatización matemática del tiempo (aparte, quizás, de la entropía)?

Respondido el 8 de Marzo, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

3 votos

¿Se sabe que el cálculo factorial está en una clase menor que $FEXP$ ?

Aceptada
Respondido el 15 de Agosto, 2021 por Paul
q2astack::content.general.tags :
Avatar de Paul

7 votos

¿Cuál es el programa más corto para el que se desconoce la parada?

Respondido el 10 de Marzo, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

19 votos

¿Hay más Nullstellensätze?

Aceptada
Respondido el 2 de Agosto, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

9 votos

ERA, PRA, PA, inducción transfinita y equivalencias

Aceptada
Respondido el 6 de Marzo, 2013 por Paul
q2astack::content.general.tags :
Avatar de Paul

4 votos

Ultrafiltros que conservan las uniones infinitas

Respondido el 30 de Octubre, 2018 por Paul
q2astack::content.general.tags :
Avatar de Paul

30 votos

Un rompecabezas sobre la búsqueda de tres puntos $(x,y)$ , $(x,z)$ et $(y,z)$ en un subconjunto de un cuadrado.

Aceptada
Respondido el 25 de Febrero, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

6 votos

Construcciones únicas hasta el isomorfismo no único

Respondido el 9 de Marzo, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

11 votos

Juego consistente en "hacer preguntas sobre un real

Aceptada
Respondido el 18 de Febrero, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

29 votos

¿Podemos interpretar la aritmética en la teoría de conjuntos, con exactamente PA como las consecuencias demostrables ZFC?

Respondido el 26 de Mayo, 2022 por Paul
q2astack::content.general.tags :
Avatar de Paul

12 votos

Tautologías teóricas de conjuntos

Aceptada
Respondido el 22 de Julio, 2014 por Paul
q2astack::content.general.tags :
Avatar de Paul

20 votos

¿Puede la FPA demostrar realmente su coherencia?

Aceptada
Respondido el 29 de Enero, 2013 por Paul
q2astack::content.general.tags :
Avatar de Paul

2 votos

¿Un modelo de aritmética contenido en un modelo de aritmética es un segmento inicial?

Respondido el 18 de Marzo, 2014 por Paul
q2astack::content.general.tags :
Avatar de Paul

24 votos

Fuerza de consistencia de la teoría de conjuntos de Morse-Kelley

Respondido el 1 de Febrero, 2012 por Paul
q2astack::content.general.tags :
Avatar de Paul

1 votos

Interpolación de determinados coeficientes

Aceptada
Respondido el 24 de Mayo, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

5 votos

¿El método de refutación intuicionista implicaría la permutación de premisas?

Respondido el 6 de Junio, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

31 votos

¿Cree que P=NP?

Aceptada
Respondido el 15 de Abril, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

11 votos

eliminación de cortes

Respondido el 12 de Mayo, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

21 votos

Evaluación rápida de polinomios

Aceptada
Respondido el 4 de Julio, 2011 por Paul
q2astack::content.general.tags :
Avatar de Paul

13 votos

Constantes del teorema de Rolle aplicadas a polinomios

Respondido el 2 de Noviembre, 2011 por Paul
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