April 1st, 2007

Theorem Геделя of incompleteness of formal arithmetics is denied

хм, может и было.

сайт сам по себе очень интересный: http://antigedel.boom.ru/index.htm

Но вот это Во имя Аллаха, Всемилостивейшего и Милосердного. Это следует читать аккуратно, не во время еды, а то можно подавиться.

Вторая проблема Гильберта разрешена положительно, т.к. для ее реализации необходимо и достаточно всего лишь двух аксиом, тождественно связывающих логические и арифметические выражения:
Логическое выражение Арифметический аналог
A и В А * В
не А 1 - А
Все остальное можно вывести из этих двух. Арифметика и логика оказываются связанными и взаимотождественными, не говоря уже об отсутствии каких бы то ни было противоречий.

Может, кто выведет из AB и 1-A сложение и деление? (хм, может, там пределы какие можно забацать, хе-хе) Надо этим аппроксиматором попробовать.
  • Current Mood
    pessimistic pessimistic