#тьюринг — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #тьюринг, aggregated by home.social.
-
[Перевод] Машины Тьюринга, огромные числа и бобры: что у них общего?
Представьте, что кто-то даёт вам список из пяти чисел: 1, 6, 21, 107 и внезапно — 47 176 870. Догадаетесь, что будет дальше? Если вы не угадаете, ничего страшного — практически никто не угадывает. Вот первые пять чисел «усердного бобра» — последовательности, тесно связанной с одним из самых известных и сложных вопросов теоретической информатики. Он звучит так: сколько времени может работать машина Тьюринга с некоторым набором правил, пока не остановится. Определение значений чисел «усердного бобра» — сложнейшая задача, которая уже более 60 лет привлекает поклонников как среди профессиональных математиков, так и среди любителей.
-
Размышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
Пару лет назад я написал статью "Размышления о структурном программировании", в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). А вот теперь настало время написать про некоторые проблемы машины Тьюринга - фундаментальной основы всех информационных технологий.
-
Размышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
Пару лет назад я написал статью "Размышления о структурном программировании", в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). А вот теперь настало время написать про некоторые проблемы машины Тьюринга - фундаментальной основы всех информационных технологий.
-
Размышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
Пару лет назад я написал статью "Размышления о структурном программировании", в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). А вот теперь настало время написать про некоторые проблемы машины Тьюринга - фундаментальной основы всех информационных технологий.
-
132 строчки на Python, которые рождают математического гипермонстра
Наверное, все слышали хотя бы в общих чертах про число Лоадера, очень большого гугологического монстра. Но если нет, то вкратце Loader's number — это одно из самых больших чисел, когда-либо появившихся в серьёзном математическом контексте, и оно знаменито именно в сообществе гугологов.Оно было получено в 2002 году программистом Ральфом Лоудером в результате работы его программы, которая выиграла соревнование по написанию самой эффективной программы для вывода в Лямбда-исчислении. Почему оно так знаменито и так велико? Не просто "большое", а "максимально эффективное". Программа Лоудера была настолько оптимизирована, что, по мнению многих специалистов, она достигает практического предела мощности для вычислимой функции в рамках Лямбда-исчисления. Она создает число, которое, вероятно, является самым большим вычислимым числом, когда-либо явно описанным с помощью столь компактной программы. Основа - лямбда-исчисление. Это не просто алгоритм, написанный на C++ или Python. Он работает в фундаментальной системе, которая является основой функционального программирования и самой теории вычислимости,что придает числу огромную "математическую плотность". Ну и как вишенка на торте - оно превосходит других гигантов: Число Лоудера невероятно больше, чем многие другие известные "большие числа", такие как распиаренное число Грэма или даже числа, сгенерированные быстрорастущей иерархией на низких уровнях. Его мощность находится на очень высоких ординалах.
https://habr.com/ru/articles/959192/
#большие_числа #гугология #tree #python #тьюринг #вычисления #рекурсия #математика
-
132 строчки на Python, которые рождают математического гипермонстра
Наверное, все слышали хотя бы в общих чертах про число Лоадера, очень большого гугологического монстра. Но если нет, то вкратце Loader's number — это одно из самых больших чисел, когда-либо появившихся в серьёзном математическом контексте, и оно знаменито именно в сообществе гугологов.Оно было получено в 2002 году программистом Ральфом Лоудером в результате работы его программы, которая выиграла соревнование по написанию самой эффективной программы для вывода в Лямбда-исчислении. Почему оно так знаменито и так велико? Не просто "большое", а "максимально эффективное". Программа Лоудера была настолько оптимизирована, что, по мнению многих специалистов, она достигает практического предела мощности для вычислимой функции в рамках Лямбда-исчисления. Она создает число, которое, вероятно, является самым большим вычислимым числом, когда-либо явно описанным с помощью столь компактной программы. Основа - лямбда-исчисление. Это не просто алгоритм, написанный на C++ или Python. Он работает в фундаментальной системе, которая является основой функционального программирования и самой теории вычислимости,что придает числу огромную "математическую плотность". Ну и как вишенка на торте - оно превосходит других гигантов: Число Лоудера невероятно больше, чем многие другие известные "большие числа", такие как распиаренное число Грэма или даже числа, сгенерированные быстрорастущей иерархией на низких уровнях. Его мощность находится на очень высоких ординалах.
https://habr.com/ru/articles/959192/
#большие_числа #гугология #tree #python #тьюринг #вычисления #рекурсия #математика
-
132 строчки на Python, которые рождают математического гипермонстра
Наверное, все слышали хотя бы в общих чертах про число Лоадера, очень большого гугологического монстра. Но если нет, то вкратце Loader's number — это одно из самых больших чисел, когда-либо появившихся в серьёзном математическом контексте, и оно знаменито именно в сообществе гугологов.Оно было получено в 2002 году программистом Ральфом Лоудером в результате работы его программы, которая выиграла соревнование по написанию самой эффективной программы для вывода в Лямбда-исчислении. Почему оно так знаменито и так велико? Не просто "большое", а "максимально эффективное". Программа Лоудера была настолько оптимизирована, что, по мнению многих специалистов, она достигает практического предела мощности для вычислимой функции в рамках Лямбда-исчисления. Она создает число, которое, вероятно, является самым большим вычислимым числом, когда-либо явно описанным с помощью столь компактной программы. Основа - лямбда-исчисление. Это не просто алгоритм, написанный на C++ или Python. Он работает в фундаментальной системе, которая является основой функционального программирования и самой теории вычислимости,что придает числу огромную "математическую плотность". Ну и как вишенка на торте - оно превосходит других гигантов: Число Лоудера невероятно больше, чем многие другие известные "большие числа", такие как распиаренное число Грэма или даже числа, сгенерированные быстрорастущей иерархией на низких уровнях. Его мощность находится на очень высоких ординалах.
https://habr.com/ru/articles/959192/
#большие_числа #гугология #tree #python #тьюринг #вычисления #рекурсия #математика
-
132 строчки на Python, которые рождают математического гипермонстра
Наверное, все слышали хотя бы в общих чертах про число Лоадера, очень большого гугологического монстра. Но если нет, то вкратце Loader's number — это одно из самых больших чисел, когда-либо появившихся в серьёзном математическом контексте, и оно знаменито именно в сообществе гугологов.Оно было получено в 2002 году программистом Ральфом Лоудером в результате работы его программы, которая выиграла соревнование по написанию самой эффективной программы для вывода в Лямбда-исчислении. Почему оно так знаменито и так велико? Не просто "большое", а "максимально эффективное". Программа Лоудера была настолько оптимизирована, что, по мнению многих специалистов, она достигает практического предела мощности для вычислимой функции в рамках Лямбда-исчисления. Она создает число, которое, вероятно, является самым большим вычислимым числом, когда-либо явно описанным с помощью столь компактной программы. Основа - лямбда-исчисление. Это не просто алгоритм, написанный на C++ или Python. Он работает в фундаментальной системе, которая является основой функционального программирования и самой теории вычислимости,что придает числу огромную "математическую плотность". Ну и как вишенка на торте - оно превосходит других гигантов: Число Лоудера невероятно больше, чем многие другие известные "большие числа", такие как распиаренное число Грэма или даже числа, сгенерированные быстрорастущей иерархией на низких уровнях. Его мощность находится на очень высоких ординалах.
https://habr.com/ru/articles/959192/
#большие_числа #гугология #tree #python #тьюринг #вычисления #рекурсия #математика
-
[Перевод] Хаос «нового уровня» определяет истинный предел предсказуемости
В математике и информатике исследователи давно поняли, что некоторые вопросы принципиально не имеют ответа. Теперь физики изучают, как обычные физические системы накладывают жёсткие ограничения на то, что мы можем предсказать даже в теории.
https://habr.com/ru/companies/first/articles/911366/
#математика #хаос #физика #познаваемость #квантовые_вычисления #демон_лапласа #тьюринг
-
Prime Target — разбираем сериал «Опасные числа» вместе с криптографами
Теме криптографии посвящён сериал Prime Target (в русской локализации называется «Опасные числа»). Он включает в себя множество математических и криптографических отсылок, которые обогащают его сюжет и подчёркивают интеллектуальные вызовы, стоящие перед героями. В этой статье вместе с настоящими криптографами мы разберём, какие атрибуты были использованы в сериале, и что из них похоже на правду. — Коллеги, пожалуйста, представьтесь нашим читателям. — Иван Чижов, заместитель руководителя лаборатории криптографии по научной работе компании «Криптонит». — Илья Герасимов. Я аспирант кафедры информационной безопасности ВМК МГУ и работаю специалистом-исследователем в лаборатории криптографии «Криптонита». — Интересно! Главный герой сериала — тоже аспирант. — И тоже математик, но на этом наше сходство заканчивается [смеётся]. Скажем так, область научных интересов у него другая. Я занимаюсь криптографией на эллиптических кривых, а главный герой сериала ищет закономерности в числовых рядах. — В этом есть какой-то смысл? — Да. Этим занимается теория чисел. Математика отражает законы природы и выявляет закономерности. Например, у главного героя на стене висит вырезка из газеты с фотографией раковины моллюска и заголовком «Primes of the Past».
https://habr.com/ru/companies/kryptonite/articles/899414/
#Prime_Target #prime_numbers #простые_числа #сериал #научная_фантастика #криптография #rsa #тьюринг #кембридж #факторизация
-
Т-функция: подключаем логику к UI как к БД
Так, давайте еще раз. Я - Владимир, который в прошлый раз рассказал про то, как сделать классную, цельную и масштабируемую логику для кроссплатформенного приложения в вакууме. Открытым остался вопрос: как ее к UI подключать? Точнее я уже частично отвечал на этот вопрос в двух прошлых статьях, но в этой я хотел бы целенаправленно поговорить именно об этой части того подхода, который я предлагаю. В этой статье я разложу по полочкам само решение, как я к нему пришел и при чем тут Алан Тьюринг. А бонусом покажу как это все масштабируется и оставлю вас размышлять о том, почему мы не додумались до этого раньше (ну за 85 лет уже можно было бы). Утонуть в тексте
https://habr.com/ru/articles/871096/
#программирование #архитектура_приложений #архитектура_по #андроид #разработка #проектирование_по #тьюринг #машина_тьюринга #взаимодействие_с_пользователем
-
Алонзо Чёрч: забытый архитектор современного программирования
Все знают Алана Тьюринга. Он создал компьютер, который помог взломать Энигму, а также заложил основы концепции искусственного интеллекта. Его знаменитый тест «проверки на вшивость» недавно прошел ChatGPT (правда, не всех это убедило, да и к самому тесту есть вопросы). Но вот про Алонзо Чёрча, ближайшего сподвижника Тьюринга, который сыграл огромную роль в появлении современных функциональных языков программирования, как-то редко вспоминают. Мы решили исправить эту ситуацию и рассказать про этого удивительного человека.
https://habr.com/ru/companies/first/articles/864508/
#научнопопулярное #научпоп #история_it #история_ит #математика #биография #биографии_гиков #тьюринг
-
Алонзо Чёрч: забытый архитектор современного программирования
Все знают Алана Тьюринга. Он создал компьютер, который помог взломать Энигму, а также заложил основы концепции искусственного интеллекта. Его знаменитый тест «проверки на вшивость» недавно прошел ChatGPT (правда, не всех это убедило, да и к самому тесту есть вопросы). Но вот про Алонзо Чёрча, ближайшего сподвижника Тьюринга, который сыграл огромную роль в появлении современных функциональных языков программирования, как-то редко вспоминают. Мы решили исправить эту ситуацию и рассказать про этого удивительного человека.
https://habr.com/ru/companies/first/articles/864508/
#научнопопулярное #научпоп #история_it #история_ит #математика #биография #биографии_гиков #тьюринг
-
Алонзо Чёрч: забытый архитектор современного программирования
Все знают Алана Тьюринга. Он создал компьютер, который помог взломать Энигму, а также заложил основы концепции искусственного интеллекта. Его знаменитый тест «проверки на вшивость» недавно прошел ChatGPT (правда, не всех это убедило, да и к самому тесту есть вопросы). Но вот про Алонзо Чёрча, ближайшего сподвижника Тьюринга, который сыграл огромную роль в появлении современных функциональных языков программирования, как-то редко вспоминают. Мы решили исправить эту ситуацию и рассказать про этого удивительного человека.
https://habr.com/ru/companies/first/articles/864508/
#научнопопулярное #научпоп #история_it #история_ит #математика #биография #биографии_гиков #тьюринг
-
Алонзо Чёрч: забытый архитектор современного программирования
Все знают Алана Тьюринга. Он создал компьютер, который помог взломать Энигму, а также заложил основы концепции искусственного интеллекта. Его знаменитый тест «проверки на вшивость» недавно прошел ChatGPT (правда, не всех это убедило, да и к самому тесту есть вопросы). Но вот про Алонзо Чёрча, ближайшего сподвижника Тьюринга, который сыграл огромную роль в появлении современных функциональных языков программирования, как-то редко вспоминают. Мы решили исправить эту ситуацию и рассказать про этого удивительного человека.
https://habr.com/ru/companies/first/articles/864508/
#научнопопулярное #научпоп #история_it #история_ит #математика #биография #биографии_гиков #тьюринг
-
Винтон Серф – человек, который придумал интернет
Сегодня мы познакомимся с большим фанатом научной фантастики, хорошего вина и компьютерных технологий. С одним из «отцов интернета», соавтором TCP/IP и ряда иных разработок. Винтон Серф совсем недавно отпраздновал свой 81-й день рождения и продолжает уверенно смотреть в будущее. Винтон мог стать аэрокосмическим инженером, профессиональным виолончелистом, мог избрать множество путей в жизни, но запомнят его благодаря превращению интернета в критически важную для человечества структуру.
https://habr.com/ru/companies/timeweb/articles/827238/
#timeweb_статьи #интернет #tcp/ip #винтон_серф #sage #rfc #bendix_g15 #ibm #тьюринг #arpanet
-
Тьюринг. Гений, опередивший время
Как известно, именно Алан разгадал немецкий шифр в «Энигме». Но не будем повествовать об этом – тема давно изъезжена вдоль и поперёк, сняты фильмы, написаны книги и выпущено бесчисленное количество статей. Лучше к дню рождения великого британского математика попробуем узнать, каким человеком он был.
https://habr.com/ru/companies/timeweb/articles/823724/
#timeweb_статьи #тьюринг #энигма #шифр #история #криптография #наука #тест_тьюринга #чатботы #captcha
-
[Перевод] Как собрать компьютер из оригами
Два математика показали, что оригами в принципе можно использовать для выполнения любых возможных вычислений. В 1936 году британский математик Алан Тьюринг выдвинул идею универсального компьютера. Это было простое устройство: бесконечная полоса ленты, покрытая нулями и единицами, вместе с машиной, которая могла двигаться вперед и назад по ленте, меняя нули на единицы и наоборот в соответствии с некоторым набором правил. Он показал, что такое устройство можно использовать для выполнения любых вычислений. А в сентябре 2023 года Инна Захаревич из Корнельского университета и Томас Халл из колледжа Франклина и Маршалла показали, что всё вычислимое можно вычислить, сложив бумагу .