Sunday, December 27, 2009
Saturday, December 26, 2009
Saturday, November 28, 2009
Tuesday, November 17, 2009
Sunday, November 15, 2009
Теорема Гёделя в полиномиальной форме
Недоказуемому утверждению, о котором говорит теорема Гёделя о неполноте, можно придать вполне осязаемый арифметический вид. А именно: для каждой непротиворечивой теории T можно указать такое целое значение параметра K, что уравнение 
не имеет решений в неотрицательных целых числах, но этот факт не может быть доказан в теории T. Более того, для каждой непротиворечивой теории можно найти бесконечное количество таких значений параметра K. Ценой увеличения количества переменных в несколько раз степень этого уравнения может быть понижена до 4. А можно, наоборот, увеличить степень, уменьшив количество переменных до 9. Подробности можно посмотреть в статье Undecidable diophantine equations и книге Юрия Матиясевича "Десятая проблема Гильберта".
Thursday, October 22, 2009
Публикация файлов в Интернете
Вам когда нибудь было нужно опубликовать какой-нибудь документ или архив в интернете, и получить прямую ссылку для его скачивания? Есть несколько сервисов, которые предоставляют такую возможность. Мне приходилось пользоваться hotlinkfiles.com и diino.com. Но первый из них ужасно медленный, а второй, к сожалению, сейчас стал платным. Между тем, есть еще один, очень простой и удобный способ. Идем на сайт nabble.com, регистрируемся, создаем mailing list с любым названием и получаем адрес для отправки сообщений в него. Потом отправляем туда письмо с аттачментом - и в ответ приходит копия этого письма, в котором аттачмент превратился в общедоступную ссылку для его скачивания. Файлы, ставшие ненужными, можно потом удалить вместе с содержащими их сообщениями через веб-интерфейс.
Monday, October 19, 2009
Thursday, October 15, 2009
IntelliJ IDEA Community Edition
IntelliJ IDEA Community Edition - бесплатно и с открытым исходным кодом.
Posts
