(Оффтоп)
Я живу в очень скучном и бедном мире. В мире идей, которые понимаю сам.
:-)
Понимаю - в том смысле, что могу перевывести. Так вот, подобный результат был бы для меня не только бесполезен, но скорее вреден. Потому что снял бы нервное напряжение, предложив вместо него всего лишь бездумную веру.
А, вот вы о чём. Я подумал о другом: что для доказательства всего лишь факта в рамках одной одной теории, пришлось построить другую, вдесятеро крупнее прежней.
Ну а верить я, конечно, не призываю. Впрочем, я и раньше теорему Ферма передоказать не мог, и теперь не смогу - мне это ничего не изменило, я её не использую. И ещё, ещё в студенческие годы выяснил, что совсем без веры нельзя - хотя бы, чтобы в солипсизм не впадать, какие-то моменты принимать на веру приходится. Вопрос в том, чтобы выбирать те, что получше (и вообще поменьше).