Рубрика «тьюринг»

Алан Тьюринг, отец современного компьютера - 1
Алан Тьюринг, отец современного компьютера - 2

Вступление

Каждый, кто умеет пользоваться компьютером, знает, что для выполнения какой-либо операции на нем необходимо открыть соответствующую программу, которая хранится в его памяти. Однако жизнь не всегда была такой простой, как сейчас. Первые большие электронные цифровые компьютеры, британский «Колосс» (1944 год) и американский ENIAC (1945 год), не умели хранить программы в памяти. Чтобы настроить эти компьютеры на новую задачу, необходимо было перекоммутировать их, то есть вручную переподключить кабели и переустановить переключатели. Основной принцип работы современного компьютера, подразумевающий управление машиной с помощью программы, которая хранится в ее памяти и представляет собой закодированные инструкции, был сформулирован Аланом Тьюрингом.Читать полностью »

На протяжении своей истории, от первых рассказов Азимова про роботов до AlphaGo, у ИИ были взлёты и падения. Но на самом деле его история только начинается.

10 самых важных вех в развитии ИИ на сегодняшний день - 1

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

1. Айзек Азимов впервые упомянул "Три закона робототехники" (1942)

Рассказ Азимова "Хоровод" отмечает первое появление в историях этого знаменитого фантаста «трёх законов робототехники»:
Читать полностью »

image

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

В истории постоянно встречались мифы и легенды об искусственных существах, наделённых интеллектом. Они разнились от просто сверхъестественных источников (греческие мифы) до более научных методов, таких, как алхимия. В художественных произведениях, в частности, в научной фантастике, ИИ стали всё чаще появляться в XIX веке.

Но только когда математика, философия и научные методы развились достаточно для того, в XIX и XX веках ИИ начали принимать всёрьёз в качестве реальной возможности. Именно тогда такие математики, как Джордж Буль, Бертран Рассел и Альфред Норт Уайтхед начали предлагать теории формализации логических рассуждений. С разработкой цифровых компьютеров во второй половине XX века эти концепции нашли практическое применение, и вопрос ИИ начали исследовать по-настоящему.
Читать полностью »

image

В 1952 году Алан Тьюринг, британский математик, наиболее известный по работе над расшифровкой кодов и искусственным интеллектом, был осуждён за гомосексуализм и приговорён к химической кастрации. Но в процессе этой личной драмы он всё-таки нашёл время для публикации визионерской работы по математике регулярно повторяющихся узоров в природе, которую можно применить к узорам тигров и рыбки данио-рерио, пятнам леопарда и расстояниям между зубами аллигатора.

Сейчас, спустя 60 лет, биологи открывают свидетельства реального существования механизмов морфогенеза, предложенных Тьюрингом в той работе. «Все структуры нам известны, – говорит Джереми Грин, специалист по биологии развития из Королевского колледжа Лондона. – Нам нужно только скрестить химию с математикой, чтобы понять биологию».
Читать полностью »

Невычислимые функции на примере Busy Beaver Game - 1

IT технологии проникли в большинство сфер жизни человека и продолжают развиваться. Автопилот, банковская сфера, машинный перевод, медицина, финансовые рынки, полеты в космос — все это возможно благодаря одной простой идее.

В этой статье я предлагаю заглянуть за границы возможностей компьютеров и рассмотреть чего же они не могут. И почему. Алан Тьюринг еще в 30-е годы обозначил невозможные для компьютера задачи.

Читать полностью »

Математические обозначения: Прошлое и будущее - 1

Перевод поста Стивена Вольфрама (Stephen Wolfram) "Mathematical Notation: Past and Future (2000)".
Выражаю огромную благодарность Кириллу Гузенко KirillGuzenko за помощь в переводе и подготовке публикации


Содержание

Резюме
Введение
История
Компьютеры
Будущее
Примечания
Эмпирические законы для математических обозначений
Печатные обозначения против экранных
Письменные обозначения
Шрифты и символы
Поиск математических формул
Невизуальные обозначения
Доказательства
Отбор символов
Частотное распределение символов
Части речи в математической нотации


Стенограмма речи, представленной на секции «MathML и математика в сети» первой Международной Конференции MathML в 2000-м году.


Резюме

Большинство математических обозначений существуют уже более пятисот лет. Я рассмотрю, как они разрабатывались, что было в античные и средневековые времена, какие обозначения вводили Лейбниц, Эйлер, Пеано и другие, как они получили распространение в 19 и 20 веках. Будет рассмотрен вопрос о схожести математических обозначений с тем, что объединяет обычные человеческие языки. Я расскажу об основных принципах, которые были обнаружены для обычных человеческих языков, какие из них применяются в математических обозначениях и какие нет.

Согласно историческим тенденциям, математическая нотация, как и естественный язык, могла бы оказаться невероятно сложной для понимания компьютером. Но за последние пять лет мы внедрили в Mathematica возможности к пониманию чего-то очень близкого к стандартной математической нотации. Я расскажу о ключевых идеях, которые сделали это возможным, а также о тех особенностях в математических обозначениях, которые мы попутно обнаружили.

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

Традиционная математическая нотация представляет математические объекты, а не математические процессы. Я расскажу о попытках разработать нотацию для алгоритмов, об опыте реализации этого в APL, Mathematica, в программах для автоматических доказательств и других системах.

Обычный язык состоит их строк текста; математическая нотация часто также содержит двумерные структуры. Будет обсуждён вопрос о применении в математической нотации более общих структур и как они соотносятся с пределом познавательных возможностей людей.

Сфера приложения конкретного естественного языка обычно ограничивает сферу мышления тех, кто его использует. Я рассмотрю то, как традиционная математическая нотация ограничивает возможности математики, а также то, на что могут быть похожи обобщения математики.
Читать полностью »

Страницы из блокнота Алана Тьюринга использовались для изоляции крыши - 1

На днях были представлены сохранившиеся записи из блокнота Алана Тьюринга, с которым он работал во время расшифровки кода Энигмы, шифровальной машины нацистов. Эти записи были обнаружены еще в 2013 году, на крыше дома, где работал Тьюринг во время Второй Мировой. При этом странички использовались для очень простой цели — изоляция крыши (ими Тьюринг затыкал некоторые щели).

По счастью, многие записи сохранились, хотя в 2013 году их сразу заморожены специалистами, с тем, чтобы в будущем очистить и восстановить. Кроме документов из блокнота Тьюринга, тогда были обнаружены и другие бумаги, более бытового плана: статья из модного журнала, странички атласа и еще пара бумаг. Сейчас специалисты смогли восстановить многие записи, после чего они были оцифрованы.
Читать полностью »

Всякий, кто полагается на практику, не зная теории, подобен кормчему, вступающему на судно без руля и компаса, – он не знает, куда плывет.
Леонардо да Винчи

В Священных Языковых Войнах в качестве окончательного аргумента нередко приводят — поскольку языки полны по Тьюрингу, постольку они и равноценны. Под катом попытка уточнить этот тезис для тех, кто уже справился с Python и теперь планирует изучить Erlang или Haskell по спецификации. Материал обзорный, не методичный с картинками.Читать полностью »

Корпорация Google решила финансово поддержать самых талантливых представителей компьютерной индустрии.

Как известно, данная премия носит имя Алана Тьюринга, являющегося гениальным британским математиком, который когда-то давно помог взломать немецкую шифровальную машину Enigma, заложив основы современной информатики.

Google увеличит премию Тьюринга до миллиона долларов

Читать полностью »

Что общего у Алана Тьюринга, Винта Серфа, Джосса Уидона, Анны Ахматовой, а также олимпийских игр, пишущей машинки и гимнастического обруча?
Алан Тьюринг, Винт Серф и Джосс Уидон
23 июня 2014 года исполняется 50 лет Джоссу Уидону, 71 год Винтону Сёрфу и 102 года со дня рождения Алана Тьюринга.

Вполне возможно, что 23 июня когда-нибудь будет днем криптоанализа или днем искуственного интеллекта
Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js