Г. Харди Вероятно, величайший парадокс состоит в том, что в математике имеются парадоксы... Во-первых, это противоречия и абсурдные утверждения, которые являются следствием неправильного рассуждения. Во-вторых, это теоремы, которые кажутся странными и невероятными, но которые, будучи доказанными логически безукоризненно, должны быть приняты как верные, несмотря на то что они выходят за пределы нашей интуиции и воображения. Третий и наиболее важный тип парадоксов связан с теорией множеств, такого типа парадоксы привели к пересмотру оснований математики [206, с. 8-9]. |