|
«Ко времни Кантора уже столетие как была формализована логика математическая» (См. N65. "клещенизмы усугубляются")…
Этого и следовало ожидать от человека, считающего себя настолько выдающимся ученым, что Аристотель ему даже в подметки не годится (заодно можно назвать еще таких ученых как Лейбниц, Кант, Гаусс… Гильберт, Цермело, Вопенка, Лузин, Зенкин – далеко не полный перечень математиков, которые подвергали сомнению концепцию существования актуальной бесконечности)...
За столетие до Г.Кантора не существовало математической логики! Математическая логика стала складываться и окончательно оформилась в научную дисциплину в конце XIX – начале XX в.в. То есть, как раз где-то в промежутке с 1884 г. (когда у Г.Кантора начались проблемы, связанные с отторжением континуум-гипотезы многими математиками) и до 1913 (когда Г.Кантор трагически скончался в психиатрической клинике). Это к вопросу о том, что «у Кантора нет апологии логики Аристотеля…» (См. N65. "клещенизмы усугубляются"). При всем уважении к Г.Кантору, действительно, какая уж тут апология. Тут не до апологии…
Когда г-н Веревкин говорит о «формализации» математической логики за столетие до появления теории бесконечных множеств Г.Кантора, он вновь, в который уже раз, пытается выдать желаемое за действительное, подменив термин «формальная логика» (которая действительно существовала задолго до Кантора) термином «математическая логика».
Начало формализации логики было положено как раз «презренным неучем» Аристотелем, который даже не имел и не мог иметь доступных каждому современному школьнику астрономических данных. Затем определенный вклад в развитие формальной логики внесли средневековые схоласты, которые, как известно, с помощью формальных умозаключений доказали немало нелепых представлений и суеверий. В новое время развитие формальной логики связано с именем Лейбница и многих других философов и математиков. Вот что касается исторических фактов.
Что касается математики, то концепция потенциальной бесконечности не противоречит математической логике. А.Зенкин, как ведущий специалист вычислительного центра РАН, владел математической логикой (и логикой вообще, в широком смысле) гораздо лучше г-на Веревкина. Согласно математической логике, именно в концепции существования актуальной бесконечности и теории бесконечных множеств Г.Кантора существуют противоречия. Так как г-н Веревкин не приводит решений, которые бы устраняли данные противоречия, то его эмоциональные ссылки на математическую логику с целью доказать «логичность» актуальной бесконечности и «нелогичность» потенциальной бесконечности – абсурдны, так же, как и почти все, что он говорит.
Он требует от меня ЗАПИСЬ дроби, которая выражается многими терабайтами информации, и которую я бы не стал для него записывать, даже если бы такая запись состояла из 1000 или 10000 знаков. Для г-на Веревкина это и есть доказательство абсурдности гипотезы периодичности. Что ж, с таким же упорством можно требовать от астронома назвать ТОЧНОЕ число звезд в отдаленной галактике, а затем доказывать ему, что идущее от галактики излучение – всего лишь помеха.
|