Livejournal
Log in
Post
Friends
My journal
rexy_craxy
Новости из-за переднего края науки.
Jun 25, 2008 00:20
(
Read more...
)
матлогика
,
программизЬм
Leave a comment
Comments 4
anbotticel
June 24 2008, 18:13:37 UTC
Дважды два-четыре?
или не дано мне будет утешения спасти тебя.
Reply
rexy_craxy
June 24 2008, 20:36:14 UTC
"оставь надежду, всяк" (ц)
Reply
warlen
June 25 2008, 07:22:23 UTC
Не вижу ничего смешного. Если есть компьютерная алгебра, то почему бы не быть и компьютерной метаматематике? По-моему, довольно интересная работа, хотя есть и некоторые сомнения в её осуществимости.
Reply
rexy_craxy
June 25 2008, 10:56:18 UTC
Э?... Я тоже не вижу ничего смешного. Автор "один мой знакомый друг", если что.
Reply
Leave a comment
Up
Comments 4
или не дано мне будет утешения спасти тебя.
Reply
Reply
Reply
Reply
Leave a comment