|
"Итак, формулировка первой,или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»." И какие интересные выводы из нее по поводу отличия человеческого мышления от мышления компь
...
Читать дальше »
|
|
|
|
Книги, которые больше всего пользуются спросом в магазинах Москвы. По материалам блога Книжное казино сайта Эхо Москвы. Рейтинг за март 2013 г. - \\\\Борис Акунин «Черный город» - \\\\Мария Метлицкая «После измены» - \\\\Джоан Роулинг «Случайная вакансия» (ёфицированная версия) - \\\\Э.Л. Джеймс «Пятьдесят оттенков серого» - \Виктор Пелевин «Бэтман Аполло»
...
Читать дальше »
|
|
Сергей Вольф Завтра утром, за чаем
|
Mandelbrot SetПусть ее координаты (x;y) Этой точке соответствует комплексное число x+iy Построим последовательность комплексных чисел zn
...
Читать дальше »
|
|
Лица и имена Координационного Совета оппозиции
 (При просмотре изображения будьте осторожны с рекламой. Увеличение по клику) И их записи... |
