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