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

в 11:00, , рубрики: Colossus, Z1, Z2, вычислительная мощность, оборудование, тьюринг, Флауэрс, Цузе, эвм
Творец Колосса. История Томаса Флауэрса - 1

Говорят, что война — это битва не только снарядов и брони, но и информационных технологий. В современном мире это действительно так, однако справедливость данного высказывания в полной мере относится и ко Второй мировой войне. На Германскую авиационную промышленность работали созданные Конрадом Цузе компьютеры Z2 и Z3, а на фронте немецкая армия вовсю использовала сложные системы шифрования для передачи сообщений, которые союзникам требовалось оперативно расшифровывать. И здесь им на помощь пришла мощная вычислительная машина, которую построил простой инженер почтовой службы, британец Томми Флауэрс.
Читать полностью »

в 8:01, , рубрики: cbs, IBM 650, METAFONT, tex, timeweb_статьи, Ziegler Candy, Алгоритмы, Блог компании Timeweb Cloud, дональд кнут, игры, информатика, история, музыка, Программирование, тьюринг, Читальный зал
84 года Дональду Кнуту - 1

На его книгах обучилось не одно поколение программистов, в том числе, и в нашей стране. Созданная им в 70-х годах прошлого века система набора текста TeX до сих пор активно используется по всему миру для верстки высококачественных документов, таких как исследовательские работы, технические руководства и учебники. Его называют пионером в области компьютерных технологий, особенно в сфере языков программирования, а также «отцом анализа алгоритмов». Речь идет о почетном профессоре Стэнфордского университета Дональде Эрвине Кнуте, известном ученом, математике и авторе популярной технической литературы.Читать полностью »

в 6:55, , рубрики: Блог компании ua-hosting.company, искусственная жизнь, искусственный интеллект, история, история создания, компьютер, Компьютерное железо, машинное обучение, сборка пк, тьюринг, тьюринговская трясина
Алан Тьюринг, отец современного компьютера - 1
Алан Тьюринг, отец современного компьютера - 2

Вступление

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

в 7:00, , рубрики: AlphaGo, atari, deep blue, IBM, азимов, дартмут, зима ии, искусственный интеллект, каспаров, машинное обучение, нейросети, розенблатт, тьюринг

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

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

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

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

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

в 16:34, , рубрики: будущее здесь, искусственный интеллект, китайская комната, мински, Научно-популярное, разум, сознание, тьюринг, философский зомби, метки: ,

image

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

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

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

в 9:14, , рубрики: генетика, Научно-популярное, тьюринг

image

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

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

в 10:18, , рубрики: busy beaver game, halting problem, hypercomputation, Алгоритмы, большие числа, высокая производительность, вычислительная сложность, математика, тьюринг, функции, метки:
Невычислимые функции на примере Busy Beaver Game - 1

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

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

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

в 15:05, , рубрики: tex, Wolfram Alpha, wolfram language, wolfram mathematica, аристотель, Блог компании Wolfram Research, бэбидж, вавилон, виет, Древняя Греция, евклид, Занимательные задачки, лейбниц, лингвистика, лопиталь, математика, математическая нотация, математические обозначения, Программирование, Профессиональная литература, римские цифры, системы счисления, Стивен Вольфрам, тьюринг, эйлер
Математические обозначения: Прошлое и будущее - 1

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

Содержание

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

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

Резюме

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

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

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

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

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

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

в 18:09, , рубрики: вторая мировая, информационная безопасность, История ИТ, тьюринг, шифры, Энигма

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

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

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

в 20:34, , рубрики: Алгоритмы, Программирование, тьюринг

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

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

12
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js