Сердечно благодарю за коментарий - Такое землетрясение! Так великое! [entries|archive|friends|userinfo]
pet531

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| Land of Uz ]

Такое землетрясение! Так великое! [Oct. 3rd, 2011|03:29 am]
22 сентября 2011 года. В БАК зафиксировано превышение нейтрино скорости света.
15 октября 2011 года. Доказана противоречивость аксиом Пеано.
13 ноября 2011 года. Найдено элементарное доказательство Великой Теоремы Ферма.
17 декабря 2011 года. Найден элементарный контрпример к Великой Теореме Ферма.
?? ?? ??. Воскресший накануне в Мавзолее Владимир Ильич Ленин выступил с коротким новогодним обращением к россиянам. "Времени больше не будет", - заявил он.
LinkLeave a comment

Comments:
From:(Anonymous)
Date:October 3rd, 2011 - 10:47 pm
(Link)
нейтронами?
From:[info]pet531
Date:October 3rd, 2011 - 10:49 pm
(Link)
Спасибо, я кретин.
From:[info]maxmornev
Date:October 4th, 2011 - 09:41 pm
(Link)
> 15 октября 2011 года. Доказана противоречивость аксиом Пеано.

Так вроде-бы уже?
From:[info]pet531
Date:October 4th, 2011 - 09:45 pm
(Link)
Ну не проверили же еще, ёпт.
From:[info]maxmornev
Date:October 4th, 2011 - 09:54 pm
(Link)
Что значит ``не проверили''?

Тао уже ошибку нашел. Нельсон
[Error: Irreparable invalid markup ('<a [...] слился</a>') in entry. Owner must fix manually. Raw contents below.]

Что значит ``не проверили''?

Тао уже ошибку нашел. Нельсон <a href="http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039590"слился</a>.

Увы. С противоречивой арифметикой было бы
круто.
From:[info]maxmornev
Date:October 4th, 2011 - 09:55 pm
(Link)
Пардон, разметку запорол.
From:[info]pet531
Date:October 4th, 2011 - 09:58 pm
(Link)
Так значит не доказали еще, а Вы мне что пишите!
К 15 докажут, я гарантирую это.
From:[info]maxmornev
Date:October 4th, 2011 - 10:04 pm
(Link)
Верю, надеюсь, жду.

The only really worthwhile radical act is
to undermine the foundations of
mathematics.
From:[info]pet531
Date:October 4th, 2011 - 10:11 pm
(Link)
А Тао, кстати, очень крутой, вряд ли много неспециалистов полезло это проверять, а он прямо:
"I can reconstruct enough of the argument to figure out where the error in reasoning is going to be."
Настоящий ученый, типа.
From:[info]maxmornev
Date:October 4th, 2011 - 10:32 pm
(Link)
Да, Тао впечатляет. Впрочем,
неспециалистом его назвать сложно. В
прошлом году, когда разбирали док-во
Деолалинкара, Тао также первым нашел
ошибку. Похоже он давно серьезно
интересуется theoretical computer
science. А foundations of mathematics
--- это, скорее, раздел TCS, а не
математики.
From:(Anonymous)
Date:October 12th, 2011 - 12:27 pm
(Link)
15 близится, могут еще доказать.