Українська Банерна Мережа
UkrKniga.org.ua
Яка влада темряви не оголошує себе світлою? / Валентин Чемерис

Додати в закладки



Додати в закладки zakladki.ukr.net Додати в закладки links.i.ua Додати в закладки kopay.com.ua Додати в закладки uca.kiev.ua Написати нотатку в vkontakte.ru Додати в закладки twitter.com Додати в закладки facebook.com Додати в закладки myspace.com Додати в закладки google.com Додати в закладки myweb2.search.yahoo.com Додати в закладки myjeeves.ask.com Додати в закладки del.icio.us Додати в закладки technorati.com Додати в закладки stumbleupon.com Додати в закладки slashdot.org Додати в закладки digg.com
Додати в закладки bobrdobr.ru Додати в закладки moemesto.ru Додати в закладки memori.ru Додати в закладки linkstore.ru Додати в закладки news2.ru Додати в закладки rumarkz.ru Додати в закладки smi2.ru Додати в закладки zakladki.yandex.ru Додати в закладки ruspace.ru Додати в закладки mister-wong.ru Додати в закладки toodoo.ru Додати в закладки 100zakladok.ru Додати в закладки myscoop.ru Додати в закладки newsland.ru Додати в закладки vaau.ru Додати в закладки moikrug.ru
Додати в інші сервіси закладок   RSS - Стрічка новин сайту.
Переклад Натисни для перекладу. Сlick to translate.Translate


Вхід в УЧАН
Анонімний форум з обміну зображеннями і жартами.



Додати книгу на сайт:
Завантажити книгу


Скачати одним файлом. Книга: Вступ до сучасної логіки / Жоль


§ 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження

Великий внесок у теорію логічних автоматів зробив англійський вчений А. М. Тьюрінг (1912— 1954), який у 1937 р. довів, що універсальна обчислювальна машина теоретично можлива і їй під силу розв'язання практично необмеженого числа різних задач. Придуманий ним гіпотетичний пристрій, названий потім «універсальною машиною Тьюрінга», рухаючись вперед і назад по стрічці, на якій записані дані та програма, щось зчитує й щось переписує доти, доки не виникає відповідь.

За словами Д. Мічі, особисті спроби Тьюрінга побудувати машину закінчилися безрезультатно, та його ідея про те, як це зробити, виявилася неперевершеною.

«Машина Тьюрінга» — це не машина у власному значенні слова, а тільки її теорія. Згідно з цією теорією обчислювальна машина має містити кінцевий автомат, з'єднаний з головкою, що читає та пише. Ця головка може записувати символи на паперовій стрічці й зчитувати їх. Стрічка поділена на комірки, де зафіксовано відповідні символи (наприклад: «0» і «1»), і виступає вданій «машині» як запам'ятовувальний пристрій.

Слід підкреслити, що пам'ять є найважливішою частиною будь-якого комп'ютера, її можна використовувати для зберігання команд, завдяки чому комп'ютер має можливість працювати сам із собою. Послідовність команд утворює те, що називається програмою.

Кілька тисяч однакових регістрів (комірок) утворюють внутрішню пам'ять машини. Регістри — це електронні схеми, в яких зберігаються числа, оскільки у себе всередині машина має справу виключно з числами.

У пам'яті машини записуються команди й дані, з якими ця машина має працювати. Оскільки зовні такі команди й дані однакові (для машини кожна команда, як і дані, є числом), перед машиною стоїть завдання стежити затим, де записані команди, аде — дані. Розв'язання цієї задачі здійснюється за допомогою лічильника команд. Лічильник містить адресу команди.

Закодовані у вигляді чисел команди утворюють машинні коди. Взагалі програми для машин можна складати прямо в машинних кодах, але ця робота є дуже трудомісткою й надзвичайно складною для програміста. Тому було винайдено машинні мови, в яких вирази природної мови представлені машинним кодом за допомогою окремої програми, записаної у пам'яті машини.

Найпоширеніші мови програмування містять багато слів природної мови. Наприклад, у мові АЛГОЛ використовуються слова «почати», «кінець», «для», «поки», «якщо», «то», «інакше». Деякі з цих слів містять також мови ФОРТРАН і БЕЙСІК. Машинні мови, що містять такі слова, істотно полегшують задачу програмування.

Теоретично «машина Тьюрінга» може розв'язувати задачі якої завгодно складності, але практичне застосування автоматів, побудованих за схемою цієї «машини», недоцільне, оскільки число кроків, потрібних для розв'язування складних задач, надто велике. Теорія «машини Тьюрінга» має велике значення для з'ясування таких важливих питань, як існування алгоритму розв'язання того чи іншого класу задач і визначення, які функції можуть, а які не можуть виконуватися автоматично.

Існує тісний зв'язок між теорією автоматів і теорією інформації. Остання своєю появою на світ зобов'язана американському інженеру й математику К. Шеннону, який у 1948 р. сформулював у загальному вигляді математичну теорію зв'язку, котру іноді називають теорією інформації. Це пояснюється тим, що теорія, яка виникла з вивчення електричного зв'язку, не обмежується сферою фізики: завдяки абстрактній математичній формі вона має широку сферу застосування. Однак не слід перебільшувати її можливості. Корисно мати на увазі, що не здійснились надії тих, хто без усяких уточнень намагався застосувати теорію інформації, не турбуючись про відповідність методу предметові вивчення.

І все ж таки між поняттями «інформація» і «знання» (знання як зміст людської свідомості) було поставлено знак приблизної рівності. Виникла потреба з'ясувати, чи це насправді так.

Зауваження Шеннона про те, шо смисл повідомлень не має ніякого відношення до його математичної теорії інформації, не зупинило дослідників, а, навпаки, сприяло зародженню семантичної теорії інформації.

Відомі західні вчені Р. Карнап (1891— 1970) і Й. Бар-Хіллел запропонували міру для інформаційного аспекту мови й назвали її семантичною інформацією. Ці вчені дали означення кількісній стороні смислу, що міститься в якомусь реченні. При цьому головна ставка робилась на використання методу екстенціоналу (екстенсіоналу) та інтен-ціоналу (інтенсіоналу).

Даний метод розробив Карнап, спробувавши поширити семантичну концепцію Фреге на всі мовні вирази. При цьому було здійснено певне коригування базисних понять концепції Фреге. Замість поняття «значення» (Ве-deutung) Карнап увів поняття «екстенціонал», а замість поняття «смисл» (Sinn) — поняття «інтенціонал», яким у логіці Арістотеля відповідають поняття «обсяг» і «зміст».

Семантична концепція Карнапа зумовлена спробами побудувати такі абстрактні об'єкти, які могли б відповідати смислу й значенню та не здавалися б чимось потойбічним для мови логіки. Інакше кажучи, будується в думках уявний ідеальний об'єкт, який можна охарактеризувати як екстенціонал (значення) або як інтенціонал (смисл) відповідного мовного виразу.

Книга: Вступ до сучасної логіки / Жоль

ЗМІСТ

1. Вступ до сучасної логіки / Жоль
2. ГЛАВА 1. ЛОГІКА І ПРИЙНЯТТЯ РІШЕННЯ § 1. Технічні системи та їхня роль у підвищенні ефективності рішень, що приймаються
3. § 2. Алгебра контактних схем
4. § 3. Теорія множин
5. ГЛАВА 2. ВІД ЛОГІКИ ДО МЕТАЛОГІКИ § 4. Аксіоматика в логіці й математиці
6. § 5. Проблеми теорії множин
7. § 6. Логічні дослідження Д. Гільберта
8. § 7. Поглиблене розуміння аксіоматичного методу
9. ГЛАВА 3. ЛОГІКА ВИСЛОВЛЕНЬ, АБО ПРОПОЗИЦІЙНА ЛОГІКА § 8. Формалізовані мови науки й формальна логіка.
10. § 9. Змінні й постійні в мові науки
11. § 10. Закони логіки, таблиці істинності та логічні сполучники
12. § 11. Трактування релейно-контактних схем у термінах логіки висловлень
13. § 12. Індуктивні й дедуктивні умовиводи
14. ГЛАВА 4. ЛОГІКА ПРЕДИКАТІВ, АБО ПРОПОЗИЦІЙНИХ ФУНКЦІЙ § 13. Відмітні риси логіки предикатів
15. § 14. Дескрипція
16. § 15. Суть проблеми існування в логіці
17. § 16. Квантор існування
18. § 17. Значення виразу «бути поняттям»
19. § 18. Квантори й змінні: істотні уточнення
20. ГЛАВА 5. НОВІ ЛОГІЧНІ ІДЕЇ І СИСТЕМИ § 20. Розвиток ідей математичного конструктивізму
21. § 21. Конструктивна логіка
22. § 22. Ця дивна нечітка логіка
23. § 23. Проблеми модальної логіки
24. § 24. З історії терміна «семантика»
25. § 25. Логічна семантика: проблеми й поняття
26. ГЛАВА 6. ЛОГІКА І КІБЕРНЕТИКА § 26. Кібернетика, логіка й теорія кінцевих автоматів
27. § 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження
28. § 28. «Штучний інтелект» з погляду логіків

На попередню


Додати в закладки



Додати в закладки zakladki.ukr.net Додати в закладки links.i.ua Додати в закладки kopay.com.ua Додати в закладки uca.kiev.ua Написати нотатку в vkontakte.ru Додати в закладки twitter.com Додати в закладки facebook.com Додати в закладки myspace.com Додати в закладки google.com Додати в закладки myweb2.search.yahoo.com Додати в закладки myjeeves.ask.com Додати в закладки del.icio.us Додати в закладки technorati.com Додати в закладки stumbleupon.com Додати в закладки slashdot.org Додати в закладки digg.com
Додати в закладки bobrdobr.ru Додати в закладки moemesto.ru Додати в закладки memori.ru Додати в закладки linkstore.ru Додати в закладки news2.ru Додати в закладки rumarkz.ru Додати в закладки smi2.ru Додати в закладки zakladki.yandex.ru Додати в закладки ruspace.ru Додати в закладки mister-wong.ru Додати в закладки toodoo.ru Додати в закладки 100zakladok.ru Додати в закладки myscoop.ru Додати в закладки newsland.ru Додати в закладки vaau.ru Додати в закладки moikrug.ru
Додати в інші сервіси закладок   RSS - Стрічка новин сайту.
Переклад Натисни для перекладу. Сlick to translate.Translate