Математические открытия; а также математические идеи, используемые в других областях деятельности
Методология наукиОсновные работы в области методологии науки
Научные теорииНаучные концепции, широко применявшиеся за рамками своих наук…
Научные гипотезыНаучные гипотезы и метафоры, широко применявшиеся за рамками своих наук…
X
Теорема Фрэнка Рамсея сформулирована на математическом языке, но имеет ряд интерпретаций, сформулированных на обычном языке.
Формулировка-1: Полная неупорядоченность невозможна.
Формулировка-2: Упорядоченные конфигурации неизбежно присутствуют в любой большой структуре или: любая структура обязательно содержит упорядоченную подструктуру.
Формулировка-3: Если число объектов (звёзд, камней, людей, геометрических точек и т.п.) в совокупности достаточно велико и любые два объекта связывает одно из набора отношений, то всегда существует подмножество данной совокупности, содержащее заданное число объектов, и при этом такое, что в нём все объекты связаны отношением одного типа.
Фрэнк Рамсей доказал теорему, пытался обосновать тезис, ранее выдвинутый Бертраном Расселом и Альфредом Нортом Уайтхедом в их трактате: Principia Mathematica / Основы математики - что все математические истины могут быть выведены из ограниченного набора аксиом.
