Теорема о компактности и компактность

[xagiwo]

Почему теорема о компактности так называется? Следует ли из неё компактность какого-то топологического пространства?

[Anton_Peplov]

Англоязычная Википедия часто информативнее русскоязычной. В англоязычной версии той же статьи сказано:

Цитата:

The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces,[1] hence the theorem's name.

[xagiwo]

Anton_Peplov спасибо. Вики отсылает на Truss, John K. Foundations of Mathematical Analysis, там и почитаю. Получается, название этой теореме дал не Гёдель?

[Anton_Peplov]

xagiwo в сообщении #1547477 писал(а):

Получается, название этой теореме дал не Гёдель?

Без понятия. Гёдель, Тихонов и Стоун - практически ровесники, так что мог дать и Гёдель. Но вообще устоявшиеся в литературе названия теорем (и не только теорем) вовсе не всегда принадлежат их первооткрывателям.