Teorema de Ramsey

Qué se descubrió

En toda estructura suficientemente grande aparece forzosamente orden (por ejemplo, entre seis personas siempre hay tres que se conocen entre sí o tres desconocidos mutuos). Origen de la teoría de Ramsey y de la combinatoria extremal.

Ramsey lo probó como lema para un caso del Entscheidungsproblem y murió a los 26 años.

A qué dio paso

• combinatoria extremal
• teorema de Szemerédi
• matemática de Erdős
• teorema de Green-Tao

Se apoya en

• Teoría de grafos: los siete puentes de Königsberg1736
• lógica de primer orden (problema de decisión)

📄 Publicación original

Enlaces