LOGO Необходимость уточнения понятия алгоритм. Длительное время интуитивного понятия алгоритма было достаточно.

Презентация:



Advertisements
Похожие презентации
Алгоритмически неразрешимые задачи и вычислимые функции.
Advertisements

LOGO Определение машины Тьюринга. Машина Тьюринга – абстрактный исполнитель, осуществляющий алгоритмический процесс Это математический объект, а не физическая.
LOGO Рекурсивные функции Простейшие функции Операция суперпозиции.
Элементы теоретического программирования Машина Тьюринга – математическое понятие алгоритма.
Введение в формальные (аксиоматические) системы. Формальные системы - это системы операций над объектами, понимаемыми как последовательность символов.
Алгоритм называется частичным алгоритмом, если мы получаем результат только для некоторых d є D и полным алгоритмом, если алгоритм получает правильный.
Формализация понятия алгоритма - это система правил, чётко описывающая последовательность действий, которые необходимо выполнить для решения задачи.
Идею о возможности математизации логики высказал еще в XVII в. немецкий логик Готфрид Вильгельм Лейбниц. Он пытался создать универсальный язык, с помощью.
Решение алгебраических уравнений Методическая разработка учителя Поляковой Е. А.
Решение алгебраических уравнений Методическая разработка учителя Поляковой Е. А.
Лекция 1 Введение в дискретную математику. Элементы теории множеств. Дискретная математика Лектор : Данилова Соелма Доржигушаевна, доцент кафедры систем.
Онтологический аргумент Гёделя Горбатов В.В.. Курт Гёдель ( ) Австрийский логик, математик и философ Австрийский логик, математик и философ Участвовал.
Алгоритм - способ выполнения арифметических действий над десятичными числами. Обозначение любой последовательности действий, приводящей к решению поставленной.
Машина Тьюринга. КТО? Машина Тьюринга – математическая (воображаемая) машина, а не машина физическая. Она такой же математический объект, как функция,
Введение в математическую логику и теорию алгоритмов Алексей Львович Семенов Лекция 16.
Вклад отечественных ученых в развитие теории вероятности.
Математическая логика и теория алгоритмов формальной теории исчисления Одним из основных понятий математической логики является понятие формальной теории.
Лекция 12. Формальные теории Содержание лекции: 1.Определение формальной теорииОпределение формальной теории 2.Интерпретация формальной теорииИнтерпретация.
Машина Тьюринга. История возникновения Машины Тьюринга Алгоритмически неразрешимая задача Свойства Машины Тьюринга как алгоритм Описание МТ Информация.
Введение в математическую логику и теорию алгоритмов Лекция 14 Алексей Львович Семенов.
Транксрипт:

LOGO Необходимость уточнения понятия алгоритм

Длительное время интуитивного понятия алгоритма было достаточно

Пусть имеется массовая задача Если найден алгоритм (в интуитивном смысле) для ее решения, то не требуется другого определения алгоритма

Если после длительных попыток нахождения алгоритма возникает гипотеза, что такого алгоритма не существует, то доказать эту гипотезу на основе интуитивного определения алгоритма нельзя

Для доказательства несуществования алгоритма необходимо располагать точным определением понятия алгоритм

В 1900 году Давид Гильберт на 2-м Международном математическом конгрессе в Париже огласил 23 трудных математических проблемы Пример Давид Гильберт ( ) – выдающийся немецкий математик-универсал. В е годы (после смерти Анри Пуанкаре) был признанным мировым лидером математиков

Десятая проблема Гильберта Найти алгоритм, применение которого к алгебраическому уравнению с целыми коэффициентами (с произвольным числом неизвестных) приводило бы к результату «да», если уравнение имеет целые решения и к результату «нет» – в противном случае

Десятая проблема Гильберта Для частного случая (уравнения с одним неизвестным) такой алгоритм есть Если уравнение с целыми коэффициентами имеет целый корень, то он обязательно является делителем свободного члена a n

Десятая проблема Гильберта Можно предложить такой алгоритм: 1)Найти все делители a n : d 1, d 2, …, d k 2)Вычислить P n (x) для каждого d i, i = 1..k 3)Если P n (d i ) = 0, то d i – корень уравнения

В 1970 году ленинградский ученый Ю.В. Матиясевич успешно завершил работу ряда математиков над доказательством того, что требуемый алгоритм невозможен Юрий Владимирович Матиясевич (род ) – советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН, академик РАН, доктор физико-математических наук. Внес существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта Десятая проблема Гильберта

Направления формализации понятия алгоритм

Алонзо Чёрч ( ) – американский математик и логик. Разработал теорию лямбда- исчислений, которая позволила показать существование т.н. «неразрешимых задач» Вместе с Тьюрингом показал, что лямбда-исчисления и машина Тьюринга имеют одинаковые свойства – тезис Чёрча-Тьюринга 1. Рекурсивные функции Стивен Коул Клини ( ) – американский математик. Участвовал в разработке теории вычислимости, известен изобретением регулярных выражений, внес важный вклад в теорию конечных автоматов

Курт Фридрих Гёдель ( ) – австрийский логик, математик и философ математики. Наиболее известный по сформулированной и доказанной им теоремой о неполноте (1931 г.) Теорема о неполноте: Любая эффективно аксиоматизируемая теория, в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость возможность доказать любое высказывание: как истинное так и ложное. 1. Рекурсивные функции

Курт Фридрих Гёдель ( ) – австрийский логик, математик и философ математики. Кроме того, Гёдель написал работу по общей теории относительности, в которой предложил вариант решения уравнений Эйнштейна, из которого следует, что строение вселенной может иметь такое устройство, в котором течение времени является закольцованным (метрика Гёделя), что теоретически допускает путешествия во времени. Большинство современных физиков считают это решение верным лишь математически и не имеющим физического смысла. 1. Рекурсивные функции

В алгоритмическом процессе вычисляется значение некоторой функции f(x 1, x 2, …, x n ), определенной на множестве натуральных чисел Понятие алгоритма отождествляется со строгим математическим понятием «частично рекурсивная функция»

Алан Тьюринг ( ) – английский математик, логик и криптограф. Предложенная им в 1936 году абстрактная вычислительная машина Тьюринга позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследованиях 2. Машина Тьюринга Теорема Гёделя о неполноте побудила Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания

Алан Тьюринг ( ) – английский математик, логик и криптограф. 2. Машина Тьюринга Во время Второй мировой войны Тьюринг работал криптографом для раскрытия кода немецкой военной шифровальной машины «Энигма». Немцы пребывали в уверенности, что их система неуязвима. Но опираясь на работы польских математиков, А.Тьюринг совместно с У.Уэлчманом раскрыл шифры, создав дешифровочную машину «Бомба».

Эмиль Леон Пост ( (Польша) ) – американский математик и логик. Предложил абстрактную машину Поста 2. Машина Тьюринга Машина Поста отличается от машины Тьюринга большей простотой. Обе машины «эквивалентны» и были созданы для уточнения понятия «алгоритм».

2. Машина Тьюринга Алгоритмический процесс – работа некоторой «абстрактной вычислительной машины». Каждая отдельная машина Тьюринга выполняет только один алгоритм Лучше подходит термин «программа машины Тьюринга» – набор инструкций, упрощенных до однотипной схемы Все машины Тьюринга отличаются программами, а общим является описание исполнителя (человек- вычислитель, действующий бездумно и неукоснительно, как машина)

3. Нормальные алгорифмы Маркова Алгоритмический процесс – переработка слов некоторого алфавита с помощью точно описанных правил переработки Андрей Андреевич Марков (младший) ( ) – советский математик, сын известного русского математика А.А.Маркова, основоположник советской школы конструктивной математики, автор понятия нормального алгоритма (1947 г.)

В последствии оказалось, что эти три варианта определения понятия алгоритма равносильны

Литература 1.Игошин В.И. Математическая логика и теория алгоритмов. – М.: Академия, с. 2.Ильиных А.П. Теория алгоритмов. Учебное пособие. – Екатеринбург, с. 3.Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. – СПб.: Лань, с. 4.ВикипедиЯ. Свободная энциклопедия.

Многие готовы скорее умереть, чем подумать. Часто, кстати, так и бывает. Бертран Рассел