[Daily Science] Dangerous Knowledge
Спонсор месяца - Earn money with your rx pharmacy traffic!
Сайт дня (как попасть) - stariy-pioneer.livejournal.com
Dangerous Knowledge - одна из моих любимых документалок о математике. Вернее, только кажется, что она о математике. На самом деле она о человеке, о мире и о том, как мы этот мир познаем. В документалке рассказывается о четырех ученых - Канторе, Больцмане, Гёделе и Тьюринге - которые работали примерно надо одним и тем же типом проблемы, которая свела их с ума или подтолкнула к суициду. Как одна бесконечность может быть больше чем другая? Как некоторые утверждения могут быть одновременно правдивыми и недоказуемыми? Работает ли человеческий мозг, как компьютер? Если да, то есть определенный тип вопросов - на который компьютер не в состоянии ответить и который заставляет компьютер выполнять вычисления, у которых нет конца. Что если такой вопрос задать человеку? Что если проблема, над которой я сейчас работаю, является именно таким вопросом? Что если математика - это язык природы и решение одной математической проблемы откроет глаза на то, как устроен мир?
Короче, смотрите и наслаждайтесь, дока мегазачетная.
Широкоформатная печать в Москве
Открытое письмо "одноклассницам", или почему в Рунете все бабы - дуры
Как правильно написать пресс-релиз
Леонардо становись!
EBITDAT [Финансовые показатели нового поколения]
Ты знаешь, где я тебя родила?
"Вебкам-модели просто санитары леса!" Интервью с Maggie
Спонсор месяца - Earn money with your rx pharmacy traffic!
Сайт дня (как попасть) - stariy-pioneer.livejournal.com
Dangerous Knowledge - одна из моих любимых документалок о математике. Вернее, только кажется, что она о математике. На самом деле она о человеке, о мире и о том, как мы этот мир познаем. В документалке рассказывается о четырех ученых - Канторе, Больцмане, Гёделе и Тьюринге - которые работали примерно надо одним и тем же типом проблемы, которая свела их с ума или подтолкнула к суициду. Как одна бесконечность может быть больше чем другая? Как некоторые утверждения могут быть одновременно правдивыми и недоказуемыми? Работает ли человеческий мозг, как компьютер? Если да, то есть определенный тип вопросов - на который компьютер не в состоянии ответить и который заставляет компьютер выполнять вычисления, у которых нет конца. Что если такой вопрос задать человеку? Что если проблема, над которой я сейчас работаю, является именно таким вопросом? Что если математика - это язык природы и решение одной математической проблемы откроет глаза на то, как устроен мир?
Короче, смотрите и наслаждайтесь, дока мегазачетная.
Широкоформатная печать в Москве
Открытое письмо "одноклассницам", или почему в Рунете все бабы - дуры
Как правильно написать пресс-релиз
Леонардо становись!
EBITDAT [Финансовые показатели нового поколения]
Ты знаешь, где я тебя родила?
"Вебкам-модели просто санитары леса!" Интервью с Maggie
Спонсор месяца - Earn money with your rx pharmacy traffic!
Labels: daily science
posted by UncommonBusiness at 12:43 AM
14 Comments:
человеческий мозг работает в миллионы раз быстрее любого компьютерного чипа. все дело в подсознании, благодаря которому мы не отвлекаемся заново на проделывание одних и тех же занятий типа почистить зубы. мы это уже знаем.
Спасибо вам за эти замечательные документалки.
Давыдом, я бы тебе посоветовал прочитать книгу: "Gödel, Escher, Bach: An Eternal Golden Braid" Douglas Hofstadter
On its surface, GEB examines logician Kurt Gödel, artist M. C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives. At a deeper level, the book is a detailed and subtle exposition of concepts fundamental to mathematics, symmetry, and intelligence.
Through illustration and analysis, the book discusses how self-reference and formal rules allow systems to acquire meaning despite being made of "meaningless" elements. It also discusses what it means to communicate, how knowledge can be represented and stored, the methods and limitations of symbolic representation, and even the fundamental notion of "meaning" itself.
In response to confusion over the book's theme, Hofstadter has emphasized that GEB is not about mathematics, art, and music but rather about how cognition and thinking emerge from well-hidden neurological mechanisms. In the book, he presents an analogy about how the individual neurons of the brain coordinate to create a unified sense of a coherent mind by comparing it to the social organization displayed in a colony of ants.
(с) http://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach
Для не читающих на английском посетителей:
Я рекомендую прочитать книгу "ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда" Даглас Р. Хофштадтер Здесь http://lib.rus.ec/b/93721 можно её скачать на русском.
Документалка очень хорошая, только тема Кантора не раскрыта. Из неё абсолютно не понятно, что такого он открыл. Пример, с линиями и окружностью, на самом деле демонтирует понятие меры множества, а не мощности. В общем, я у себя в блоге напишу небольшое пояснение.
Насчёт Тьюринга, не понятно, почему тест Тьюринга не был упомянут хотя бы вскользь.
А вообще, Давыдов, большее спасибо!
ot4, все намного сложнее. Почитайте книгу «Гёдель, Эшер, Бах: эта бесконечная гирлянда».
http://www.philosophy.nsc.ru/journals/philscience/9_01/06_Pob.htm О бесконечном
забыл тег поставить
Эту я не читал, но я читал следующую - I Am A Strange Loop, там есть несколько интересных идей, но в целом у меня книга не пошла.
Спасибо за наводку, сейчас почитаю интервью.
Прочитал интервью его http://tal.forum2.org/hofstadter_interview (English)
http://www.haayal.co.il/story_2899 (Hebrew)
Он решил продолжить именно тут часть GEB, что мне не очень понравилась.
P.S. По ходу дела моя задумка написать несколько замечаний разрастается. Первая часть будет опубликована сегодня вечером.
Спасибо за документалку. Ссылка пылилась у меня несколько лет, но теперь почему-то посмотрел.
По сути в ней нет ничего такого, чего не рассказывали бы студенту математической специальности на курсе мат. анализа и мат. логики. Но цепляет :).
В общем "человек - познай себя" остаётся актуальным. Сейчас это выражается в поиске ответа на вопрос почему человеческий "способ мозговой деятельности", интеллект, логика (whatever) применимы к описанию мира, предсказанию и использованию. И в какой мере они применимы и почему они часто таки срабатывают ( не смотря на то, что там говорят агностики ;) ).
Кстати, как видно из доки - слишком глубокие размышления над такими вопросами ( в уединении или публично, с отстаиванием своей правоты - не важно ) до добра не доводят. Так что если что, ты там это - особо не увлекайся :).
Sorry za translit.
Istoriya s Kantorom sil'no napominaet syuzhet fil'ma "The messenger" (po russki "Zhanna D'Ark"). Ei tozhe s samogo detstva mere6ilsa golos bozhii...
Sovpadenie?
Тим, рассказывают это на трёх различных курсах. Про Кантора на введение в теорию множеств, про Гёделя у принципе на курсе логики, но у меня в программе этого курса не было, про Тьюринга на курсе "автоматы и формальные языки".
Знаешь, когда я понял в чём суть диагонального аргумента Кантора? Когда, прочитал книгу GEB. :-) Когда проходили доказательство проблему остановки (halting problemm), я так и не понял, где же там диагональ. :-) Более того, на курсе по введению в теорию множеств, парадокс Расселя упоминался (в контексте, мол, по хорошему надо бы вам преподать аксиомы Цермело-Френкеля, но мы вас пожалеем), но всю его глубину я понял только когда прочитал GEB.
Прикоснуться к бесконечности http://alexsmail.blogspot.com/2010/11/blog-post.html Есть определённые шереховатости, но в целом, за неполных два часа приводится вся наивная теория множеств со всеми идеями доказательств.
Post a Comment
<< Home