?

Log in

No account? Create an account
April 1st, 2007 - Научная кунсткамера — LiveJournal [entries|archive|friends|userinfo]
Научная кунсткамера

[ website | lj ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

April 1st, 2007

Theorem Геделя of incompleteness of formal arithmetics is denied [Apr. 1st, 2007|07:47 am]
Научная кунсткамера
science_freaks
[nu3getc]
[Current Mood |pessimisticpessimistic]

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

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

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

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

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

navigation
[ viewing | April 1st, 2007 ]
[ go | Previous Day|Next Day ]