Лаплас в 1814 году, в «Опыте философии теории вероятностей», предложил такую картину: если бы существовал ум, которому доступны все силы природы и точное положение всех тел, из которых она состоит, — он смог бы свести к одной формуле движение и крупнейших небесных тел, и мельчайших атомов. Для такого ума ничто не было бы недостоверным, и будущее открывалось бы ему так же ясно, как прошлое.
Рубрика «тьюринг»
Демон Лапласа как исполняемая модель: условная энтропия и шесть типов ограничений на предсказание
2026-07-25 в 12:12, admin, рубрики: белл, вероятность, Демон Лапласа, детерминизм, Ландауэра, Лаплас, наука, тьюринг, физика, философияРазмышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
2025-11-15 в 11:18, admin, рубрики: информация, тьюринг, тьюринг-полнота, тьюринг-полные системыПару лет назад я написал статью Размышления о структурном программировании, в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). Тогда как на самом деле:
-
Эту теорему доказали (с условиями и ограничениями) итальянские ученые Бём и Якопини, а Дейкстра лишь ссылался на неё.
-
Трех указанных базовых алгоритмических конструкций недостаточно для современного программирования (например, требуется обработка исключений).
Алонзо Чёрч: забытый архитектор современного программирования
2024-12-06 в 11:39, admin, рубрики: Биографии гиков, биография, История ИТ, математика, Научно-популярное, научпоп, тьюринг
Все знают Алана Тьюринга. Он создал компьютер, который помог взломать Энигму, а также заложил основы концепции искусственного интеллекта. Его знаменитый тест «проверки на вшивость» недавно прошел ChatGPT (правда, не всех это убедило, да и к самому тесту есть вопросы).
Творец Колосса. История Томаса Флауэрса
2023-09-21 в 11:00, admin, рубрики: Colossus, Z1, Z2, вычислительная мощность, оборудование, тьюринг, Флауэрс, Цузе, эвм
Говорят, что война — это битва не только снарядов и брони, но и информационных технологий. В современном мире это действительно так, однако справедливость данного высказывания в полной мере относится и ко Второй мировой войне. На Германскую авиационную промышленность работали созданные Конрадом Цузе компьютеры Z2 и Z3, а на фронте немецкая армия вовсю использовала сложные системы шифрования для передачи сообщений, которые союзникам требовалось оперативно расшифровывать. И здесь им на помощь пришла мощная вычислительная машина, которую построил простой инженер почтовой службы, британец Томми Флауэрс.
Читать полностью »
84 года Дональду Кнуту
2023-01-10 в 8:01, admin, рубрики: cbs, IBM 650, METAFONT, tex, timeweb_статьи, Ziegler Candy, Алгоритмы, Блог компании Timeweb Cloud, дональд кнут, игры, информатика, история, музыка, Программирование, тьюринг, Читальный зал
На его книгах обучилось не одно поколение программистов, в том числе, и в нашей стране. Созданная им в 70-х годах прошлого века система набора текста TeX до сих пор активно используется по всему миру для верстки высококачественных документов, таких как исследовательские работы, технические руководства и учебники. Его называют пионером в области компьютерных технологий, особенно в сфере языков программирования, а также «отцом анализа алгоритмов». Речь идет о почетном профессоре Стэнфордского университета Дональде Эрвине Кнуте, известном ученом, математике и авторе популярной технической литературы.Читать полностью »
Алан Тьюринг, отец современного компьютера
2020-08-20 в 6:55, admin, рубрики: Блог компании ua-hosting.company, искусственная жизнь, искусственный интеллект, история, история создания, компьютер, Компьютерное железо, машинное обучение, сборка пк, тьюринг, тьюринговская трясина
Вступление
Каждый, кто умеет пользоваться компьютером, знает, что для выполнения какой-либо операции на нем необходимо открыть соответствующую программу, которая хранится в его памяти. Однако жизнь не всегда была такой простой, как сейчас. Первые большие электронные цифровые компьютеры, британский «Колосс» (1944 год) и американский ENIAC (1945 год), не умели хранить программы в памяти. Чтобы настроить эти компьютеры на новую задачу, необходимо было перекоммутировать их, то есть вручную переподключить кабели и переустановить переключатели. Основной принцип работы современного компьютера, подразумевающий управление машиной с помощью программы, которая хранится в ее памяти и представляет собой закодированные инструкции, был сформулирован Аланом Тьюрингом.Читать полностью »
10 самых важных вех в развитии ИИ на сегодняшний день
2019-11-04 в 7:00, admin, рубрики: AlphaGo, atari, deep blue, IBM, азимов, дартмут, зима ии, искусственный интеллект, каспаров, машинное обучение, нейросети, розенблатт, тьюрингНа протяжении своей истории, от первых рассказов Азимова про роботов до AlphaGo, у ИИ были взлёты и падения. Но на самом деле его история только начинается.
Искусственный интеллект пока ещё очень молод. Однако в этой области произошло уже много значимых событий. Некоторые из них привлекли внимание культуры, другие породили взрывную волну, воспринятую только учёными. Вот некоторые ключевые моменты, наиболее сильно повлиявшие на развитие ИИ.
1. Айзек Азимов впервые упомянул "Три закона робототехники" (1942)
Рассказ Азимова "Хоровод" отмечает первое появление в историях этого знаменитого фантаста «трёх законов робототехники»:
Читать полностью »
Искусственный интеллект и призрак в машине
2017-03-03 в 16:34, admin, рубрики: будущее здесь, искусственный интеллект, китайская комната, мински, Научно-популярное, разум, сознание, тьюринг, философский зомби, метки: китайская комната, философский зомби
Концепция ИИ восходит к гораздо более ранним временам, чем время появления современных компьютеров – ещё к греческим мифам. Гефест, греческий бог ремесленников и кузнецов, создал автоматы, работавшие на него. Ещё один мифический персонаж, Пигмалион, вырезал статую прекрасной женщины из слоновой кости, в которую затем и влюбился. Афродита наградила статую жизнью в качестве дара Пигмалиону, который женился на уже живой женщине.
В истории постоянно встречались мифы и легенды об искусственных существах, наделённых интеллектом. Они разнились от просто сверхъестественных источников (греческие мифы) до более научных методов, таких, как алхимия. В художественных произведениях, в частности, в научной фантастике, ИИ стали всё чаще появляться в XIX веке.
Но только когда математика, философия и научные методы развились достаточно для того, в XIX и XX веках ИИ начали принимать всёрьёз в качестве реальной возможности. Именно тогда такие математики, как Джордж Буль, Бертран Рассел и Альфред Норт Уайтхед начали предлагать теории формализации логических рассуждений. С разработкой цифровых компьютеров во второй половине XX века эти концепции нашли практическое применение, и вопрос ИИ начали исследовать по-настоящему.
Читать полностью »
Биологи приближаются к разгадке узоров Тьюринга
2017-02-01 в 9:14, admin, рубрики: генетика, Научно-популярное, тьюринг
В 1952 году Алан Тьюринг, британский математик, наиболее известный по работе над расшифровкой кодов и искусственным интеллектом, был осуждён за гомосексуализм и приговорён к химической кастрации. Но в процессе этой личной драмы он всё-таки нашёл время для публикации визионерской работы по математике регулярно повторяющихся узоров в природе, которую можно применить к узорам тигров и рыбки данио-рерио, пятнам леопарда и расстояниям между зубами аллигатора.
Сейчас, спустя 60 лет, биологи открывают свидетельства реального существования механизмов морфогенеза, предложенных Тьюрингом в той работе. «Все структуры нам известны, – говорит Джереми Грин, специалист по биологии развития из Королевского колледжа Лондона. – Нам нужно только скрестить химию с математикой, чтобы понять биологию».
Читать полностью »
Невычислимые функции на примере Busy Beaver Game
2016-12-21 в 10:18, admin, рубрики: busy beaver game, halting problem, hypercomputation, Алгоритмы, большие числа, высокая производительность, вычислительная сложность, математика, тьюринг, функции, метки: busy beaver game
IT технологии проникли в большинство сфер жизни человека и продолжают развиваться. Автопилот, банковская сфера, машинный перевод, медицина, финансовые рынки, полеты в космос — все это возможно благодаря одной простой идее.
В этой статье я предлагаю заглянуть за границы возможностей компьютеров и рассмотреть чего же они не могут. И почему. Алан Тьюринг еще в 30-е годы обозначил невозможные для компьютера задачи.