Аристотель первым различил актуальную (т. е. уже свершившуюся, реализованную) и потенциальную бесконечность сущего. Например, если предположить, что космос имеет начало в древности и будет существовать вечно, то его конечный возраст потенциально бесконечен и в конце концов превзойдет любое число лет. Если же космос существовал всегда, то его возраст в любой момент времени актуально бесконечен. Аристотель пришел к мнению, что актуальная бесконечность вовсе не нужна математикам, и предпочитал мыслить бесконечность только как потенцию, становление, т. е. в форме процесса неограниченных количественных изменений.
Николай Кузанский учил, что в бесконечности совпадают между собой максимум и минимум, сливаются противоположности, сама же бесконечность «постигается непостигаемо», через «ученое незнание». Дж. Бруно считал Вселенную единой – не имеющей частей, сплошной и актуально бесконечной. По его мнению, Вселенная вечна, в ней возможное и действительное совпадают. Поскольку ей некуда двигаться, то она неподвижна.
Декарт верил в бесконечную протяженность материальной субстанции. Согласно Спинозе, бесконечность – это протяженность и длительность как модусы субстанции. Дж. Локк полагал, что идея бесконечности возникает у человека из-за способности повторять без конца какое-нибудь количество; крайние границы пространства недоступны пониманию, и только конечное в принципе познаваемо. Критикуя подобный взгляд, Лейбниц доказывал, что идея бесконечности имеет Божественную природу и человеческая душа способна внутренним способом постигать эту идею. По Канту, всякая бесконечность трансцендентальна, относима к безусловному бытию и ее не следует (дабы избежать антиномий) брать как данность. Многие философы и богословы (вслед за Шлейермахером) усматривают в религии тягу человека к бесконечному.
М. Клайн пишет: «Большинство математиков (Галилей, Лейбниц, Коши, Гаусс и др.) отчетливо понимали различие между потенциально бесконечными и актуально бесконечными множествами и исключали актуально бесконечные множества из рассмотрения. Если им приходилось, например, говорить о множестве всех рациональных чисел, то они отказывались приписывать этому множеству число – его мощность. Декарт утверждал: “Бесконечность распознаваема, но не познаваема”. <…>…Введя бесконечные множества, Кантор выступил против традиционных представлений о бесконечности, разделяемых великими математиками прошлого.
Свою позицию Кантор пытался аргументировать ссылкой на то, что потенциальная бесконечность в действительности зависит от логически предшествующей ей актуальной бесконечности. Кантор указывал также на то, что десятичные разложения иррациональных чисел… представляют собой актуально бесконечные множества, поскольку любой конечный отрезок