Projekt Ramsey@Home sa zaoberá Ramseyho teóriou. Základom tejto teórie je myšlienka hľadania usporiadania v náhodných konfiguráciách.
Typický výsledok v Ramseyho teórii začína s určitou matematickou štruktúrou, ktorá sa rozdelí na menšie časti. Otázka znie: aká veľká musí byť pôvodná štruktúra, aby aspoň jedna jej časť mala určenú zaujímavú vlastnosť?
Názorným príkladom je princíp holubníka: vieme, že n holubov býva v m priehradkach holubníka. Aké veľké má byť číslo n aby sme si boli istí že aspoň jedna priehradka obsahuje aspoň dvoch holubov?