I cannot seem to find the formal statement of the theorem if there are infinite perfect numbers in Wikipedia or online. I searched this site but the closest is the generalization of perfect numbers question dealing with group theory.
Where can I find resources relating to the computability aspect of perfect numbers?