nu3getc (nu3getc) wrote in science_freaks,
nu3getc
nu3getc
science_freaks

  • Mood:

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

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

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

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

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

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

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 9 comments