Пиши и продавай!
как написать статью, книгу, рекламный текст на сайте копирайтеров

 <<<     ΛΛΛ     >>>   

Октаэдр

8

8

12

8.

«Башня»

9

9

16

9.

Усеченный куб

7

10

15

Мы столько раз не могли .подобрать для них формулу[117].Но потом внезапно нас поразил настоящий закон, управляющий ими:
V-E+F = 2.
Каппа (в сторону). «Настоящий закон»? Странное название для полнейшей ложности.
Бета. Все, что мы должны теперь сделать, это дополнить нашу таблицу новыми данными для неэйлеровых многогранников и поискать новую формулу: при наличии терпеливого прилежного наблюдения и некоторого счастья мы попадем на правильную формулу; затем мы можем снова ее улучшить, применяя метод доказательств и опровержений!
Дзета. Терпеливое, прилежное наблюдение? Пробовать одну формулу за другой? Может быть, вы придумаете гадательную машину, которая будет давать вам случайные формулы и пробовать их на вашей таблице? Неужели вы так думаете о прогрессе науки?
Бета. Не понимаю вашего гнева. Ведь вы, конечно, согласитесь, что начало нашего знания, наши наивные догадки могут прийти только после прилежного наблюдения и внезапного прозрения, как бы много ни взял на себя наш критический метод «доказательств и опровержений», после того как мы найдем наивную догадку? Любой дедуктивный метод должен начинаться с индуктивного основания!
Сигма. Ваш индуктивный метод никогда не принесет удачи. Мы пришли к F-E + F=2 только потому, что в нашей первоначальной таблице не было ни картинной рамы, ни морского ежа. Теперь же, когда этот исторический инцидент…
Каппа (в сторону) … или благосклонное божественное руководство…
Сигма… более уже не существует, вы никогда не сможете из хаоса «индуцировать» порядок. Мы начали с долгого наблюдения и со счастливым прозрением — и потерпели поражение. Теперь вы предлагаете начать снова с еще более долгим наблюдением и с более счастливым прозрением. Даже если бы мы пришли к какой-нибудь новой наивной догадке — в чем я сомневаюсь — мы кончили бы только такой же путаницей.
Бета. Может быть, вы хотите совсем отказаться от исследования? Нам нужно начать снова — прежде всего с некоторой новой наивной догадки, а затем снова пройти через метод доказательств и опровержений.
Дзета. Нет, Бета. Я согласен с Сигмой, поэтому и не начну опять с новой наивной догадки.
Бета. Тогда с чего же вы хотите начать, если не с индуктивного обобщения на низшем уровне в качестве наивной догадки? Или у вас есть какой-нибудь другой метод для начала?

в) Дедуктивная догадка против наивной догадки

Дзета. Начинать? Зачем я должен начинать? Мой ум не пуст, когда я открываю (или изобретаю) задачу.
Учитель. Не дразните Бету. Вот задача: имеется ли соотношение между числами вершин, ребер и граней многогранника, аналогичное тривиальному соотношению между числами вершин и сторон многоугольника V=E ? [118] Как вы приметесь за эту задачу?
Дзета. Прежде всего я не имею стипендии от правительства для производства подробной описи многогранников, а также не обладаю армией ассистентов для подсчета их вершин, ребер и граней и составления таблиц по этим данным. Но если бы даже все это у меня было, я не имел бы терпения — или интереса — испытывать пригодность одной формулы за другой.
Бета. Что же тогда? Вы ляжете на диван, закроете глаза и забудете о данных?
Дзета. Так точно я и сделаю. Чтобы начать, мне нужна идея, а не какие-либо данные.
Бета. А откуда вы возьмете идею?
Дзета. Она уже имеется в нашем уме, когда мы формулируем задачу; фактически она имеется уже в самой формулировке задачи.
Бета. Какая же идея?
Дзета. Та, что для многоугольника V=E.
Бета. Ну так что же?
Дзета. Задача никогда не приходит с неба. Она всегда связана с нашим земным знанием. Мы знаем, что для многоугольников V = Е. Теперь многоугольник есть система многоугольников, состоящая из одного единственного многоугольника. Многогранник есть система многоугольников, состоящих более чем из одного многоугольника. Но для многогранников V?E. В каком пункте отношение V=E отказалось служить при переходе от монополигональных систем к полиполигональным? Вместо того чтобы собирать данные, я прослежу, как эта задача возникла на основе нашего земного знания, или каковы были ожидания, опровержение которых представило эту задачу.
Сигма. Правильно. Последуем вашим рекомендациям. Для всякого многоугольника Е—V = 0 Ищите картинки на nkozlov.ru(рис. 17, а). Что случится, если я прикреплю к нему другой многоугольник (необязательно в той же плоскости)? Добавляемый многоугольник имеет n1 сторон и n1 вершин; если мы прикрепим его к первоначальному по цепочке из n1' ребер и n1'+1 вершин, то мы увеличим число ребер на n1— n1', а число вершин на n1— (n1' + 1); значит, в новой 2-полигональной системе получится избыток в числе ребер над числом вершин: Е — V = 1 (рис. 17,6); необычное, но совершенно допустимое прикрепление мы видим на рис. 17, в. «Прикрепление» новой грани к системе будет всегда увеличивать этот избыток на единицу; следовательно, для построенной таким образом F-полигональной системы будет всегда E—V=F—1.
Бета. Или V—E + F=1.
Ламбда. Но ведь это неверно для большей части полигональных систем. Возьмите куб…
Сигма. Но мое построение может привести только к «открытым» полигональным системам — ограниченным цепочкой ребер. Мой мысленный эксперимент я могу легко распространить на «закрытую» полигональную систему без такой границы. Это закрытие может быть произведено, если мы такую сосудообразную систему покроем многоугольником — крышкой; прикрепление такого покрывающего многоугольника увеличит F на единицу без изменения V или Е…
Дзета. Итак, для закрытой полигональной системы — и закрытого многогранника,— построенной таким образом, V—E+F=2; догадка, которую мы теперь получили без «наблюдения» числа вершин, ребер и граней одного многогранника!
Ламбда. И теперь вы можете применить метод доказательств и опровержений без какой-нибудь «индуктивной отправной точки».
Дзета. С той разницей, что вам уже не надо будет выдумывать доказательство — оно уже получилось готовым. Вы можете продолжать непосредственно с опровержениями, анализом доказательства, образованием теоремы.
Ламбда. Тогда в вашем методе — вместо наблюдений— доказательство предшествует наивной догадке[119].
Дзета. Ну, я не назвал бы «наивным» предположение, которое выросло из доказательства. В моем методе нет места для индуктивных наивностей.
Бета. Есть возражение! Вы только отодвинули назад наивное индуктивное начало: вы же начали с «V=E для многоугольников». Разве вы не основываете это на наблюдениях?
Дзета. Как большинство математиков, я не умею считать. Я только что попытался сосчитать стороны и вершины у семиугольника; сначала я нашел 7 сторон и 8 вершин, а затем, второй раз, 8 сторон и 7 вершин…
Бета. Шутки в сторону, как вы получили V=E?
Ищите картинки на nkozlov.ruДзета. Я был глубоко потрясен, когда впервые понял, что для треугольника V—E=0. Я, конечно, хорошо знал, что для одного ребра V — Е = 1 (рис. 18,а). Я знал также, что присоединение новых ребер всегда увеличивает на единицу и число ребер и число вершин (рис. 18,6 и 18,в). Почему же тогда в полигональных системах ребер будет V — Е = 0? Потом я понял, что это получается вследствие перехода от открытой системы ребер (которая ограничивается двумя вершинами) к закрытой системе ребер (которая не имеет такой границы), так как мы «закрываем» открытую систему, вставляя ребро без добавления новой вершины. Таким образом, я доказал, но не наблюдал, что для многоугольников будет V—Е = 0.
Бета. Ваша хитрость не поможет вам. Вы только еще дальше отодвинули назад индуктивную отправную точку; теперь обратимся к утверждению, что для всякого ребра V—Е = 1. Вы это доказали или наблюдали?
Дзета. Я доказал это. Я, конечно, знал, что для одной вершины V = 1 (рис. 19). Моей задачей было построить аналогичное соотношение…
Бета (яростно). Разве вы не наблюдали, что для точки V=1?
Дзета. А вы наблюдали это? (В сторону, к Пи.) Должен ли я сказать ему, что моей «индуктивной отправной точкой» было пустое пространство? Что я начал с того, что «наблюдал» ничто?
Ламбда. Во всяком случае два пункта мы установили. Сначала Сигма аргументировал, что только благодаря исторической случайности можно прийти к наивной индуктивной догадке; если имеешь перед собой реальный хаос фактов, то вряд ли сможешь подвести их под изящную формулу. Затем Дзета показал, что для логики доказательств и опровержений мы совсем не нуждаемся ни в наивной догадке, ни в индуктивистской отправной точке.
Бета. Возражение! А как быть с теми прославленными наивными догадками, которым не предшествовали (или даже за которыми не следовали) доказательства, вроде догадки о четырех цветах, которая говорит, что четырех цветов вполне достаточно для того, чтобы раскрасить любую карту, или догадки Гольдбаха? Ведь только благодаря историческим случайностям доказательства могут предшествовать теоремам, или может иметь место «дедуктивная догадка» Дзеты; в других случаях первыми бывают наивные индуктивные догадки.
Учитель. Мы, конечно, должны усвоить оба эвристических образца; дедуктивная догадка является самой лучшей, но наивная догадка лучше, чем отсутствие всякой догадки. Но наивная догадка — не индукция; такие вещи, как индуктивные догадки, не существуют!
Бета. Но ведь мы нашли наивную догадку при помощи индукции! «Это значит, что она была внушена наблюдением, указана особыми событиями… И среди частных случаев, которые мы рассмотрели, мы могли различить две группы: те, которые предшествовали формулировке догадки, и те, которые появились потом. Первые подсказали догадку, вторые поддержали ее. Оба ряда случаев произвели некоторого рода контакт между догадкой и «фактами»…[120] Этот двойной контакт и представляет сердце индукции; первый создает индуктивную эвристику, второй дает индуктивное оправдание, или индуктивную логику.
Учитель. Нет! Факты не подсказывают догадок и тем более не поддерживают их!
Бета. Тогда что же подсказало мне F—E+F=2, если не факты, собранные в моей таблице?
Учитель. Я скажу вам. Вам самим несколько раз не удавалось подвести их под формулу[121] . Произошло следующее: у вас были три или четыре догадки, которые по очереди были быстро отвергнуты. Ваша таблица была построена в процессе проверки и опровержения этих догадок. Эти мертвые и теперь уже забытые догадки подсказали факты, а не факты подсказали догадки. Наивные догадки не являются индуктивными догадками; мы приходим к ним путем испытаний и ошибок, через предположения и опровержения[122].
Но если вы думаете — неправильно,— что пришли к ним индуктивным путем от ваших таблиц, если вы верите, что чем длиннее таблица, тем больше догадок она подскажет и потом поддержит, то вы можете потратить даром свое время, собирая ненужные данные. Таким образом, проникшись доктриной, что путь открытия ведет от фактов к догадкам и от догадки к доказательству (миф индукции), вы можете полностью забыть об эвристической альтернативе: дедуктивном угадывании[123].
Математическая эвристика очень похожа на научную эвристику — не потому, что обе являются индуктивными, но потому, что обе характеризуются догадками, доказательствами и опровержениями. Важная разница заключается в природе соответствующих догадок, доказательств (в науке — объяснений) и контрапримеров[124] .
Бета. Понимаю. Тогда наша наивная догадка никогда не была первой догадкой, «подсказанной» жесткими непредположительными фактами; ей предшествовали многие «донаивные» догадки и опровержения. Логика догадок и опровержений не имеет исходной точки, но логика доказательств и опровержений имеет ее: она начинается с первой наивной догадки, за которой должен последовать мысленный эксперимент.
Альфа. Может быть. Но тогда я не стал бы называть ее «наивной»[125] .
Каппа (в сторону). Даже в эвристике нет такой вещи, как совершенная наивность.
Бета. Главное — как можно скорее выйти из периода испытаний и ошибок, быстро перейти к мысленным экспериментам, не имея слишком много «индуктивного» уважения к «фактам». Это уважение может задерживать рост знания. Представьте себе, что при помощи испытаний и ошибок вы пришли к догадке V—E+F = 2 и что она будет сразу же отвергнута наблюдением: для картинной рамы V — Е + F = 0. Если вы слишком уважаете факты, в особенности когда они опровергают ваши догадки, вы пойдете снова к до-наивным испытаниям и ошибкам и будете искать другую догадку. Но если вы обладаете лучшей эвристикой, то вы по крайней мере попытаетесь игнорировать неприятное испытание наблюдением и попробуете испытание мысленным экспериментом, вроде доказательства Коши.
Сигма. Какая путаница! Зачем называть испытанием доказательство Коши?
Бета. Зачем называть испытанием доказательство Коши? Это было испытание! Послушайте. Вы начали с наивной догадки: V—E + F=2 для всех многогранников. Затем вы отсюда вывели следствие: «если наивная догадка справедлива, то после устранения одной грани для оставшейся сети будет V—E+F = 1»; «если это следствие справедливо, то V—E+F=1, даже после триангуляции»; «если это последнее следствие справедливо, то V—E+F=1 будет справедливым, когда мы будем отнимать треугольники по одному»; «если это верно, то V—Е + F = 1 для одного-единственного треугольника»…
Теперь это последнее заключение оказалось общеизвестным, истинным. Но что произошло бы, если бы мы заключили, что для единственного треугольника V—E+F = 0? Мы сразу же отвергли бы первоначальное предположение как ложное. Все, что мы сделали, сводится к тому, что мы испробовали нашу догадку, а именно выводили из нее следствия. Испытание, по-видимому, подтвердило нашу догадку. Но подтверждение еще не доказательство.
Сигма. Но тогда наше доказательство доказало даже еще меньше, чем мы думали! Тогда нам нужно обратить процесс и попытаться построить мысленный эксперимент, который идет в противоположном направлении: от треугольника назад к многограннику!
Бета. Это верно. Только Дзета показал, что вместо решения нашей задачи сначала путем создания наивной догадки при помощи испытаний и ошибок, затем проверки, затем обращения испытания в доказательство можно сразу же начать с реального доказательства. Если бы мы поняли возможность дедуктивного угадывания, то мы могли бы избежать всей этой псевдоиндуктивной возни!
Каппа (в сторону). Что за драматическая серия поворотов на 180°! Критически настроенный Альфа обратился в догматика, догматик Дельта в опровергателя, а теперь индуктивист Бета в дедуктивиста!
Сигма. Но подождите. Если за испытательным мысленным экспериментом
Бета. Я назову его анализом
Сигма …может всегда сразу последовать доказательный мысленный эксперимент
Бета. Я назову его синтезом…[126]
Сигма. …то будет ли «аналитическая теорема» необходимо тождественной с «синтетической»? Идя в противоположном направлении, мы можем пользоваться другими леммами[127].
Бета. Если они будут другими, то синтетическая теорема должна заменить аналитическую; в конце концов анализ только испытывает, тогда как синтез доказывает.
Учитель. Ваше открытие, что наше «доказательство» фактически было испытанием, как будто шокировало класс и отвлекло его внимание от вашего главного аргумента: именно, если мы имеем догадку, уже опровергнутую контрапримером, то мы должны отложить опровержение в сторону и попытаться испробовать догадку при помощи мысленного эксперимента. Таким путем мы могли бы напасть на доказательство, оставить фазу испытаний и ошибок и пустить в ход метод доказательств и опровержений. Но ведь именно это и заставило меня сказать, что «я готов заняться „доказательством" ложного предположения»[128]. И тогда Ламбда потребовал в своем Правиле 1: «Если вы имеете какую-нибудь догадку, то попробуйте доказать ее и опровергнуть ее».
Дзета. Это верно. Но позвольте мне дополнить правило Ламбды и Правило 4 Омеги так:
Правило 5. Если у вас есть контрапример любого типа, попробуйте при помощи дедуктивного гадания найти более глубокую теорему, для которой уже более не будет контрапримеров.
Омега. Вы теперь расширяете мое понятие «глубины» и, может быть, вы и правы. Но как же быть с действительным применением нашего нового правила? До сих пор оно только давало нам результаты, которые мы уже знали. Легко быть мудрым после события. Ваше «дедуктивное гадание» как раз представляет синтез, соответствующий первоначальному анализу Учителя. Но теперь вы должны быть честным — вы должны использовать ваш метод для нахождения догадки, которой вы еще не знали, с обещанным увеличением содержания.
Дзета. Правильно. Я начну с теоремы, рожденной моим мысленным экспериментом: «Все закрытые нормальные многогранники будут эйлеровыми».
Омега. «Нормальные»?
Дзета. Я не желаю тратить времени на прохождение через метод доказательств и опровержений. Я просто называю «нормальными» все многогранники, которые могут быть построены, исходя из «совершенного» многоугольника, прикладывая к нему (а) первые F — 2 граней без изменения V - Е + F (это будут открытые нормальные многогранники) и (б) наконец, закрывающую грань, которая увеличивает V—E+F на 1 (и превращает открытый многогранник в закрытый).
Омега. «Совершенный» многоугольник?
Дзета. Под «совершенным» многоугольником я подразумеваю такой, который может быть построен, исходя из одной-единственной вершины, прикладыванием к ней сначала n—1 ребер без изменения V—Е и, наконец, последнего закрывающего ребра, которое уменьшает V—Е на 1.
Омега. Будут ли ваши закрытые нормальные многогранники совпадать с многогранниками Коши?
Дзета. Я не желаю сейчас углубляться в это.

г) Увеличение содержания путем дедуктивного угадывания

Учитель. Достаточно предварительных замечаний. Посмотрим ваш вывод.
Дзета. Хорошо, сэр. Я беру два закрытых нормальных многогранника (рис. 20,а) и Ищите картинки на nkozlov.ruсклеиваю их вместе по многоугольному обводу так, чтобы исчезли две склеивающиеся грани (рис. 20, б). Так как для двух многогранников V—E+F=4, то исчезновение двух граней в соединенном многограннике восстановит формулу Эйлера — ничего удивительного после доказательства Коши, так как новый многогранник может быть легко раздут в шар. Таким образом, формула хорошо выдерживает это испытание приклеиванием. Но попробуем теперь испытать двойное приклеивание: склеим вместе два многогранника по двум многоугольным обводам (рис. 20, в). Теперь исчезнут 4 грани и для нового многогранника V—E+F = 0.
Гамма. Это контрапример 4 Альфы, картинная рама!
Дзета. Теперь если при помощи «двойного приклеивания» я прикреплю к этой картинной рамеИщите картинки на nkozlov.ru (рис. 20, в) еще один нормальный многогранник (рис. 21,а), то V - Е + F будет —2 (рис. 21,б).
Сигма. Для моносфероидального многогранника V—E+F=2, для дисфероидального V—E+F = 0, для трисфероидального V - Е + F = — 2, для n-сфероидального V — E + F = 2—2*(n-1)…
Дзета. …что представляет вашу новую догадку с содержанием, бывшим еще неизвестным, полную и с доказательством и без составления какой-нибудь таблицы[129] .
Сигма. Это действительно прекрасно. Вы не только объяснили упорную картинную раму, но вы создали еще бесконечное множество новых контрапримеров…
Дзета. С полным объяснением.
Ро. Я как раз пришел к тому же результату другим путем. Дзета начал с двух эйлеровых примеров и превратил их в контрапример, контролируя экспериментом. Я начинаю с контрапримера и превращаю его в пример. Я сделал следующий умственный эксперимент с картинной рамой: «Пусть многогранник будет из какого-нибудь материала, который легко режется как мягкая глина; пропустим нитку через туннель, а затем через глину. Многогранник не распадется[130]… Но он сделается знакомым, простым сфероидальным многогранником! Это верно, мы увеличим число граней на 2, а числа и ребер и вершин на m; но так как мы знаем, что эйлерова характеристика простого многогранника равна 2, то первоначальный должен был иметь характеристику 0. Теперь, если для того чтобы сделать многогранник простым, необходимо большее число, скажем n, таких разрезов, то его характеристика будет 2-2*n.
Сигма. Это интересно. Дзета уже показал нам, что мы можем не нуждаться в догадке для начала доказательства, что мы можем непосредственно произвести синтез, т. е. доказательный умственный эксперимент над близким предложением, которое, как мы знаем, является верным. Теперь Ро показывает, что мы можем обойтись без догадки даже для начала испытания, но, предполагая, что результат уже имеется, мы можем заняться придумыванием анализа, т. е. проверочного мысленного эксперимента[131] .
Омега. Однако какой бы путь вы ни выбрали, все еще остаются кучи необъясненных многогранников. По вашей новой теореме для всех многогранников V—E + F будет четным числом, меньшим 2. Но мы видели также несколько многогранников с нечетными эйлеровыми характеристиками. Возьмите увенчанный куб (рис. 12) с V-E+F=1…
Дзета. Я никогда не говорил, что моя теорема приложима ко всем многогранникам. Она применима только ко всем n-сфероидальным многогранникам, построенным согласно моей конструкции. В настоящем ее состоянии она не приводит к кольцеобразным граням.
Омега. Да?
Ищите картинки на nkozlov.ruСигма. Я знаю! Ее можно распространить и на многогранники с кольцеобразными гранями: можно построить кольцеобразный многоугольник, уничтожив ребро в рожденной доказательством подходящей системе многоугольников, не изменяя числа граней (рис. 22, а и 22, б). Я думаю, не существуют ли также «нормальные» системы многоугольников, построенные в согласии с нашим доказательством, в которых можно уничтожить даже более одного ребра, не уменьшая числа граней…
Ищите картинки на nkozlov.ruГамма. Это правда. Посмотрите на такую «нормальную» систему многоугольников (рис. 23,а). Вы можете уничтожить два ребра, не уменьшая числа граней (рис. 23,б).
Сигма. Хорошо! Тогда вообще
для n-сфероидальных, или n-связных, многогранников с lk ребрами, которые можно уничтожить без уменьшения числа граней.
Бета. Эта формула объясняет мой увенчанный куб (рис. 12) , моносфероидальный многогранник (с n=1) с одной кольцеобразной гранью: все lk равны нулю, кроме l1, которое будет 1, или:
следовательно, V-E+F=1.
Сигма. Она также объясняет ваш «иррациональный» эйлеров каприз: куб с двумя кольцеобразными гранями и туннелем (рис. 16). Это дисфероидальный многогранник (n = 2) с
Следовательно, его характеристика будет V-E+F=2-2+2=2. В мире многогранников восстановлен моральный порядок[132]
Омега. А как для многогранников с полостями?
Сигма. Я знаю! Для них нужно сложить эйлеровы характеристики каждой отдельной несвязанной поверхности[133],
Бета. А тетраэдры-близнецы?
Сигма. Я знаю!..
Гамма. Какой смысл всей этой точности? Остановите этот поток претенциозных тривиальностей![134]
Альфа. А почему должен он прекратиться? Разве тетраэдры-близнецы — монстры, а не настоящие многогранники? Тетраэдр-близнец такой же хороший многогранник, как и ваш цилиндр! Но вам нравилась лингвистическая точность[135]. Почему же вы осмеиваете нашу новую точность? Мы должны добиться, чтобы теорема охватила все многогранники; делая ее точной, мы увеличиваем, а не уменьшаем ее содержание. В этом случае точность будет добродетелью!
Каппа. Скучные добродетели так же плохи, как и скучные пороки! Кроме того, вы никогда не достигнете полной точности. Мы должны остановиться там, где нам перестанет быть интересным идти дальше.
Альфа. Моя точка зрения иная. Мы начали с положения
(1): одна вершина есть одна вершина.
Отсюда мы вывели
(2) : V=E для всех совершенных многоугольников.
Отсюда мы вывели
(3):V — E + F=1 для всех нормальных открытых систем многоугольников.
Отсюда
(4):V—E+F=2 для всех нормальных закрытых систем многоугольников, т. е. для многогранников.
Отсюда, по очереди, снова
(5) : F — Е + F = 2— 2 (n — 1) для нормальных n-сфероидальных многогранников.
для нормальных n-сфероидальных многогранников с многосвязными гранями,
для нормальных n-сфероидальных многогранников с многосвязными гранями и полостями.
Разве это не чудесное раскрытие скрытых богатств, содержавшихся в тривиальной исходной точке? И так как (1) несомненно истинно, то также будет и остальное.
Ро (в сторону). Скрытые «богатства»? Два последних пункта показывают только, как дешево можно получить обобщения[136].
Ламбда. Вы серьезно думаете, что (1) является единственной аксиомой, из которой вытекает все остальное? Что дедукция увеличивает содержание?
Альфа. Конечно! Разве это не чудо дедуктивного мысленного эксперимента? Если вы уж схватили маленькую истину, то дедукция неизбежно развернет ее в дерево познания[137]. Если дедукция не увеличивает содержания, то я назвал бы ее не дедукцией, но «проверкой»; проверка отличается от истинного доказательства как раз тем, что она бывает чисто аналитической и также бесплодной[138].
Ламбда. Но, конечно, дедукция не может увеличить содержания. Если критика устанавливает, что заключение богаче предпосылок, то нам нужно усилить предпосылки, выявив скрытые леммы.
Каппа. А эти скрытые леммы содержат софистич-ность и погрешимость и в конце концов уничтожают миф о непогрешимой дедукции[139].
Учитель. Есть еще вопросы относительно метода Дзеты?

д) Логические контрапримеры против эвристических

 <<<     ΛΛΛ     >>>   

Альфа понятие об опровержении понятий понятие
Но можем ли мы остановиться расширение понятий может опровергнуть
Разобрал фазы доказательства

сайт копирайтеров Евгений