• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Машина Тюрінга

Докладніше: Машина Тюрінга

Будь-яка інтуїтивно обчислювана функція є частково рекурсивною, або, еквівалентно, може бути обчислена за допомогою деякої машини Тюрінга. Алан Тюрінг висловив припущення (відоме як теза Черча — Тюрінга), що будь-який алгоритм в інтуїтивному розумінні цього слова може бути представлений еквівалентною машиною Тюрінга. Уточнення уявлення про обчислюваність на основі поняття машини Тюрінга (і інших аналогічних йому понять) відкрило можливості для суворого доказу алгоритмічної нерозв'язності різних масових проблем (тобто проблем про знаходження єдиного методу розв'язку деякого класу задач, умови яких можуть змінюватись у відомих межах). Найпростішим прикладом алгоритмічно нерозв'язної масової проблеми є так звана проблема застосовності алгоритму (називається також проблемою зупинки). Вона полягає в наступному: потрібно знайти загальний метод, який дозволяв би для довільної машини Тюрінга (заданої за допомогою своєї програми) і довільного початкового стану стрічки цієї машини визначити, чи завершиться робота машини за скінченне число кроків, чи буде тривати необмежено довго.

Теорія штучного інтелекту

Тюрінг є засновником теорії штучного інтелекту. Машина Тюрінга є розширенням моделі скінченого автомату і здатна імітувати (при наявності відповідної програми) будь-яку машину, дія якої полягає в переході від одного дискретного стану до іншого.

Тест Тюрінга

Докладніше: Тест Тюрінга

Тест Тюрінга — тест, запропонований Аланом Тюрінгом в 1950 у статті «Обчислювальні машини і розум» (англ. Computing Machinery and Intelligence) для перевірки, чи є комп'ютер розумним у людському сенсі слова. У цьому тесті один або кілька людей повинні задавати питання двом таємним співрозмовникам і на підставі відповідей визначати, хто з них машина, а хто людина. Якщо не вдавалося розкрити машину, що маскувалася під людину, передбачалося, що машина розумна.

Морфогенез

У 1952 році Тюрінг опублікував працю під назвою «Хімічні основи морфогенезу» (англ. The chemical basis of morphogenesis^[11]), де вперше математично описав процес самоорганізації матерії. Його основним інтересом у цій галузі було листорозміщення Фібоначчі — наявність чисел Фібоначчі в структурах рослин. Пізні роботи не були опубліковані аж до 1992 року, коли був випущений збірник його праць. Внесок Тюрінга в цю область вважається основоположним.

Читайте також:

1. До двох викладачів, трьома приладами, чотирма засобам, у п’яти містах, на семи машинах, у двадцяти десятках.
2. Забезпечення безпеки виробництва робіт вантажо­підіймальними машинами поблизу контактної мережі і повітряних ліній усіх призначень і напруг.
3. Ідеальна теплова машина Карно та її ККД
4. Ідеальна теплова машина Карно та її ККД
5. Клод Белл та його машина PDP-6, 1964 р
6. Лекція 9 Облік відповідальності за методом «тариф - година - машина» в системі управління
7. МАШИНА 1622 КЛ.
8. Машина 525 кл.
9. Машина 827 КЛ.
10. Машина ENIAC, 1946р
11. Машина для нарізання хліба.
12. Машина СМ-4, 1979 р

Переглядів: 2161