Данная статья относится к Категории: Методология науки
Теорема Фрэнка Рамсея сформулирована на математическом языке, но имеет ряд интерпретаций, сформулированных на обычном языке.
Формулировка-1: Полная неупорядоченность невозможна.
Формулировка-2: Упорядоченные конфигурации неизбежно присутствуют в любой большой структуре или: любая структура обязательно содержит упорядоченную подструктуру.
Формулировка-3: Если число объектов (звёзд, камней, людей, геометрических точек и т.п.) в совокупности достаточно велико и любые два объекта связывает одно из набора отношений, то всегда существует подмножество данной совокупности, содержащее заданное число объектов, и при этом такое, что в нём все объекты связаны отношением одного типа.
Фрэнк Рамсей доказал теорему, пытался обосновать тезис, ранее выдвинутый Бертраном Расселом и Альфредом Нортом Уайтхедом в их трактате: Principia Mathematica / Основы математики - что все математические истины могут быть выведены из ограниченного набора аксиом.
Если публикация Вас заинтересовала - поставьте лайк или напишите об этом комментарий внизу страницы.
Дополнительные возможности
Начало IX-го сезона бесплатных воскресных online-лекций VIKENT.RU о творческих Личностях и принятии креативных решений – 26 января 2020 года в 19:59 (мск)
Изображения в статье
- Фрэнк Пламптон Рамсей, By ELApro - Own work, CC BY-SA 4.0