в действительности все эти вопросы (неполноты, ...
Хайдук wrote:
в действительности все эти вопросы (неполноты, непротиворечивости, АВ, всё возрастающих бесконечностей/мощностей и пр.) довольно эзотеричны и изолированы от практики нормальной "осмысленной" (тем паче прикладной) математики; даже обычной и довольно трудной чистой математикой заниматься какой смысл?
Григорий на Вас нет
но ведь надо определить что такое "процедура", она происходит в уме, не может отличаться ...
но ведь надо определить что такое "процедура", она происходит в уме, не может отличаться принципиально от любых других актов
определения/постулирования объектов тем же умом
; к примеру,
постулирование НЕ конечного множества натуральных никак НЕ хуже любого, якобы конструктивного (поскольку
конечного, видимо) натурального. После такого постулирования/фиксирования можем вполне логично, исчерпывающим и конечным образом рассуждать о новом объекте, даже формализовать знаками можем эти рассуждения
"конструктивность" это лишь другое слово ...
+ развернуть текст сохранённая копия
Хайдук wrote:
"конструктивность" это лишь другое слово для обозначения конечности
Совершенно другое понятие. Когда мы можем различать элементы при помощи понятной процедуры, это и есть конструктивность.
Тэги:
математика.,
матрица
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
2017-03-18 18:19:08
Хайдук wrote:
....даже свойства и соотношения не колышут особо, ...
+ развернуть текст сохранённая копия
Хайдук wrote:
....даже свойства и соотношения не колышут особо, важно "различить в уме"
Чтобы "различить в уме" надобно понять свойства и соотношения
Тэги:
математика.,
матрица
