Доказательство правильности программ

Знаете ли вы, что такое время? А как придумали теорию струн? Какой химический элемент – самый большой в мире? А вот Дмитрий Побединский, физик, популярный видеоблогер и постоянный автор "Чердака", знает – и может рассказать! Существуют ли параллельные вселенные? Можно ли создать настоящий световой меч? Что почувствует искусственный интеллект при первом поцелуе? Как устроена черная дыра? На эти и д...

Наши представления о черных дырах чаще всего основываются на популярных мифах и нескольких общеизвестных научных фактах. Описывая историю исследования черных дыр, Крис Импи с легкостью развенчивает наиболее распространенные заблуждения и приоткрывает дверь в загадочный мир далеких звезд и их невидимых, но влиятельных спутниц.История астрофизики предстает как череда потрясающих открытий, сделанных ...

Время – высшая ценность, которая у нас есть. Управление временем стало одним из величайших вызовов нашей эпохи. Эта книга о нашем восприятии времени и отношении к нему, изменившемся за последние 250 лет. Саймон Гарфилд, блестящий британский популяризатор науки, в характерной для него изообретательной и увлекательной манере, расскажет о попытках измерять время, управлять им, торговать, снимать...

Понимаете ли вы теорию Стивена Хокинга и теорию относительности? Знаете ли и сможете ли доступно объяснить основы квантовой физики? Расскажете об открытии Марии Склодовской-Кюри? Хотите понять самую модную науку XXI века? Неважно, учитесь ли вы в школе или уже давно закончили ее. Если вы любознательный человек, то эта книга ДЛЯ ВАС! САМАЯ ГЛАВНАЯ НАУКА – ЭТО ФИЗИКА! Так начинает эту книгу...

В этой книге авторитетные ученые Брайан Кокс и Джефф Форшоу знакомят читателей с квантовой механикой – фундаментальной моделью устройства мира. Они рассказывают, какие наблюдения привели физиков к квантовой теории, как она разрабатывалась и почему ученые, несмотря на всю ее странность, так в ней уверены.Книга предназначена для всех, кому интересны квантовая физика и устройство Вселенной.На русском...

Один из самых известных научных писателей - о поисках истинного возраста Вселенной и теории всего. Джон Гриббин рассказывает драматичную историю поиска истинного возраста Вселенной и звезд. Он считает, что это открытие - одно из величайших достижений человечества, и доказывает, что современная физика на верном пути к открытию ?Теории всего?. Ведь еще несколько поколений назад люди могли лишь...

Наша Вселенная огромна, темна и полна тайн. Может ли черная дыра поглотить целую галактику? Получится ли развести огонь на Марсе? Что скрывается на обратной стороне Луны? Современная наука способна объяснить многие космические явления - не только те, что видны невооруженным глазом, но и те, что пока не удается разглядеть даже в телескоп. Книга Стефана Дайтерса, в которой он постарался как можно...

Увлекательное и доступное объяснение самого известного в мире уравнения через повседневную жизнь. Уравнение E=mc² визуально знакомо многим. Но далеко не все понимают его физический смысл. В этой книге два профессора раскрывают реальный смысл, стоящий за каждым символом в легендарном уравнении Эйнштейна — и делают это с позиций современной науки. Попутно они отвечают на вопросы, связанные ...

Обладатель ученой степени в области теоретической химической физики, старший научный сотрудник исследовательской группы по разработке новых лекарств Скотт Бембенек в лучших традициях популярной литературы рассказывает, как рождались и развивались научные теории. Эта книга — уникальное сочетание науки, истории и биографии. Она доступным языком рассказывает историю науки от самых ранних научных воп...

Язык науки, как язык музыки или архитектуры, — особая знаковая система, наделенная философским смыслом. Не каждый способен понять музыкальную гармонию, не всякий разглядит античное изящество и символичность простой формулы. Между тем Платон считал, что у того, кто способен оценить вечную и совершенную красоту математических наук, "возникает желание ее воспроизвести — не биологически, а интеллектуа...