| |||
![]()
|
![]() ![]() |
![]()
Мальчик бананан покупает буханку хлеба Доказательство. Хотя термин "доказательство" является едва ли не самым главным в математике, он не имеет точного определения. Понятие доказательства во всей его полноте принадлежит математике не более чем психологии: ведь доказательство - это просто рассуждение, убеждающее нас настолько, что с его помощью мы готовы убеждать других. Успенский В.А. Теорема Геделя о неполноте. Бо. Ты какой-то занятой последнее время. Я никак не могу тебя поймать. Ба. А что такое? Вроде все идет нормально, никаких гордиевых узлов не поступало для разрубания. Бо. Ну как не поступало? Так что, получается, Манин прав? Седьмая стопка растет, феншуйность неуклонно падает, скоро у нас уже из ушей полезет зубная паста? Ба. Ни фига не прав. Это на самом деле ерунда. Бо. Как ерунда! Нет, не ерунда. Давай объясняйся. А то, понимаешь, я начинаю тревожиться, как бы сложность не зашкалила. Это может случиться в любой момент, ты разве не чувствуешь? У меня такое ощущение, что ты прячешь голову в песок. Ба. Э, брат, да я вижу, ты не на шутку переполошился. Ну хорошо, давай по быстрому, a то я спешу. Скажи мне, что ты видишь? Бо. Я вижу тебя, т.е. себя. Ба. А еще что? Бо. Я вижу окно, за ним вечерний город, небоскреб, машины, реку, маленькие домики, бегущих людей. Ба. А больше ничего не видишь? Бо. Вижу, ну там до фига всего, за домами вообще океан, разве перечислишь? Ба. А, видишь, всего не перечислишь! И тебя это не тревожит? Бо. Нет. Наоборот. Меня это успокаивает. Очень красивый пейзаж. Ба. А если теперь это вдруг все начнет меняться? Бо. Так оно же и так все время меняется. Машины куда-то едут, люди идут. Ба. Но ведь тебе по барабану, куда они едут и идут? Бо. Да, по барабану. Ба. Что же здесь происходит? Тебя умиротворяет не только непознаваемость мира, но и скорость увеличения его непознаваемости, и ускорение его непознаваемости. Т.е. как только мы сказали, что непознаваемость всегда была и будет и что это нормально, и даже хорошо, мы тем самым сказали, что и изменение скорости непознаваемости производит тот же самый эффект. Да? Бо. Да. С одной терминологической поправкой. То, что ты называешь непознаваемостью на самом деле познаваемо нами в некотором смысле. Ба. В каком же смысле оно познаваемо? Бо. В том, что мы знаем, что оно есть, и примерно знаем его границы. Ба. Т.е. оно в какой-то степени познаваемо. Оно не совсем не познаваемо. Бо. Т.е. оно тоже познаваемо. Ба. Т.е. непознаваемого мира нет. окончание следует |
||||||||||||||||
![]() |
![]() |