| Re: Интегралы Мак-Шейна |
Feb. 16th, 2008|08:42 pm |
> Любые два натуральных числа имеют сумму.
Великолепно, давайте препарировать. Я плохо представляю конкретику воззрений "информатиков", поэтому задам пару вопросов, ладно?
Вопрос первый: это высказывание бессмысленно, или же неверно?
Вопрос первый "а": если оно бессмысленно, то потому ли это, что общие высказывания не допускаются вообще? Если так, то тогда, по совести говоря, утверждение "2+2=4" тоже следует отправить в корзину: ведь на деле и это есть общее высказывание (говорящее по любые акты вышеописанного сложения: а вдруг для какого-то конкретного из них свободной памяти и не хватит? а вдруг сбой произойдёт?)!
Вопрос первый "б": если оно неверно, то в каком смысле? В смысле опровержения контрпримером? С удовольствием бы посмотрел на такие два натуральных числа, которые нельзя сложить принципиально (независимо от выбора машины, обсуждённых ранее свойств вселенной etc). Или в смысле содержательной верности утверждения "неверно, что любые два числа имеют сумму" в каком-то другом смысле (вроде марковских дедуктивных импликаций с верхних этажей "башни")? Тогда с какой семантикой мы тут имеем дело?
С интересом жду ответов.
> Она тоже является обрубленной и из неё тоже можно
> вывести не одну теорию.
Семантика суждений (т.е. наше понимание формул) обрубленной не является. Обрубленным является набор формул, которые мы сегодня считаем верными в рамках этой семантики (этот набор может измениться, как в сторону расширения, так и в сторону сужения — как и в любой естественной науке, впрочем).
> Например, позиция информатиков и feasibility-believers
> из неё тоже выводится, при том гораздо проще —
> непосредственно, без всяких абстракций потенциальной
> осуществимости.
На самом деле без абстракции потенциальной осуществимости Вы не выведете даже, что 2+2=4 (см.выше). Просто можно отдавать себе в этом отчёт, а можно не отдавать (и начинать возводить технические характеристики той или иной конкретной ЭВМ в философскую позицию). В остальном — вопросы я выше уже задал.
С уважением,
Гастрит
|
|