Loading AI tools
З Вікіпедії, вільної енциклопедії
Теорія обчислюваності, також відома як теорія рекурсії, є розділом математичної логіки, інформатики та теорії обчислень, що виникла в 1930-х роках з вивчення обчислювальних функцій і степенів Тюрінга. З тих пір ця сфера розширилася, включивши в себе вивчення узагальненої обчислюваності та визначеності[en]. У цих областях теорія обчислюваності перетинається з теорією доказів та ефективною описовою теорією множин[en].
Основні питання, які вирішує теорія обчислюваності, включають:
Теоретики математичної обчислюваності вивчають теорію відносної обчислюваності, поняття зведеності та структури степенів;
В свою чергу, в фокусі інформатики знаходяться теорія субрекурсивних ієрархій, формальні методи і формальні мови.
Теорія обчислюваності виникла в 1930-х роках завдяки роботам Курта Геделя, Алонзо Черча, Рози Петер, Алана Тюрінга, Стівена Кліні та Еміля Поста.[2][3]
Фундаментальні результати, отримані дослідниками, встановили обчислюваність за Тюрінгом як правильну формалізацію неформальної ідеї ефективного обчислення. Ці результати спонукали Стівена Кліні (1952) створити дві назви «теза Черча» і «теза Тюрінга». Нині їх часто розглядають як одну гіпотезу, тезу Черча-Тюрінга, яка стверджує, що будь-яка функція, обчислювана за допомогою алгоритму, є обчислюваною функцією. Хоча спочатку скептично налаштований, до 1946 року Гедель стверджував на користь цієї тези:
З визначенням ефективного обчислення з'явилися перші докази того, що в математиці є проблеми, які неможливо ефективно розв'язати. Черч і Тюрінг, натхненні прийомами, використаними Геделем для доведення його теорем про неповноту, незалежно продемонстрували, що проблема Entscheidungs не є ефективно розв'язною. Цей результат показав, що не існує жодної алгоритмічної процедури, яка могла б правильно вирішити, є довільні математичні пропозиції істинними чи хибними.
Виявилося, що багато задач у математиці не можна вирішити після того, як були встановлені ці початкові приклади. У 1947 році Марков і Пост опублікували незалежні статті, які показали, що словесну проблему для напівгруп[en] неможливо ефективно вирішити. Розширюючи цей результат, Петро Новіков[en] та Вільям Бун[en] незалежно показали в 1950-х роках, що проблема слова для груп[en] не є ефективно розв'язаною: не існує ефективної процедури, яка б, задавши слово в скінченно представленій групі, вирішила, чи елемент, представлений словом, є нейтральним елементом групи. У 1970 році Юрій Матіясевич довів (за допомогою результатів Джулії Робінсон) теорему Матіясевича[en], з якої випливає, що десята задача Гільберта[en] не має ефективного рішення; Ця проблема ставила питання про існування ефективної процедури, яка з'ясовує чи має діофантове рівняння над цілими числами розв'язок у цілих числах. Список алгоритмічно нерозв'язних задач[en] надає додаткові приклади задач без обчислювального розв'язку.
Вивчення того, які математичні конструкції можна ефективно виконувати, іноді називають рекурсивною математикою; Довідник з рекурсивної математики (Ershov et al. 1998) охоплює багато відомих результатів у цій галузі.
Основна форма обчислюваності, що вивчається в теорії обчислюваності, була введена Тюрінгом (1936). Множина натуральних чисел називається обчислюваною множиною (також званою розв'язуваною, рекурсивною або обчислюваною множиною за Тюрінгом), якщо існує машина Тюрінга, яка приймаючи число n зупиняється з виходом 1, якщо n знаходиться в множині, і зупиняється. з виходом 0, якщо n не входить у набір. Функція f від натуральних чисел до натуральних чисел є обчислювальною (Тюрінгом) або обчислюваною функцією, якщо існує машина Тюрінга, яка на прийнявши на вхід n зупиняється та повертає f (n). Використання машин Тюрінга тут не є необхідним; є багато інших моделей обчислень, які мають таку ж обчислювальну потужність, що й машини Тюрінга; наприклад, µ-рекурсивні функції, отримані з примітивної рекурсії, і µ-оператора.
Термінологія обчислювальних функцій і множин не повністю стандартизована. Визначення в термінах μ-рекурсивних функцій, а також інше визначення обчислюваних функцій Геделем привели до традиційної назви обчислюваних для множин і функцій, обчислюваних машиною Тюрінга. Слово вирішуваний походить від німецького слова Entscheidungsproblem, яке використовувалося в оригінальних роботах Тюрінга та інших. У сучасному вживанні термін «обчислювана функція» має різні визначення: згідно з Катлендом (1980), це часткова рекурсивна функція (яка може бути невизначеною для деяких вхідних даних), тоді як відповідно до Соаре (1987) вона є повністю рекурсивною (еквівалентно, загальна рекурсивна) функція. Ця стаття відповідає другому з цих умов. Соаре (1996) дає додаткові коментарі щодо термінології.
Не кожен набір натуральних чисел обчислюється. Проблема зупинки, яка являє собою набір (описів) машин Тюрінга, які зупиняються на вході 0, є добре відомим прикладом необчислюваної множини. Існування багатьох не обчислюваних множин випливає з того факту, що існує лише зліченна кількість машин Тюрінга, а отже, лише зліченна кількість обчислювальних множин, але згідно з теоремою Кантора існує незліченна кількість множин натуральних чисел.
Хоча проблема зупинки не обчислюється, можна змоделювати виконання програми та створити нескінченний список програм, які зупиняються. Таким чином, проблема зупинки є прикладом перераховуваної множини[en], яка являє собою множину, яку можна перерахувати машиною Тюрінга (інші терміни для перераховуваної множини включають рекурсивно перераховані та напіввирішуваний). Еквівалентно, множина є перераховуваною тоді і тільки тоді, коли вона є діапазоном деякої обчислювальної функції. Множини, хоча і не розв'язні в цілому, були детально вивчені в теорії обчислюваності.
Починаючи з теорії обчислювальних множин і функцій, описаної вище, область теорії обчислюваності розширилася до вивчення багатьох тісно пов'язаних тем. Це не самостійні галузі дослідження: кожна з цих областей черпає ідеї та результати з інших, і більшість теоретиків обчислюваності знайомі з більшістю з них.
Теорія обчислюваності в математичній логіці традиційно зосереджується на відносній обчислюваності, узагальненні обчислюваності за Тюрінгом, визначеній за допомогою оракульних машин Тюрінга, введеної Тюрінгом (1939). Машина Тюрінга оракула — це гіпотетичний пристрій, який, крім виконання дій звичайної машини Тюрінга, здатний задавати питання оракулу, який є певною множиною натуральних чисел. Машина оракула може задавати лише запитання виду «Чи є n у множині оракула?». На кожне запитання буде негайно дано правильну відповідь, навіть якщо набір оракула не обчислюється. Таким чином, машина оракула з невичислимим оракулом зможе обчислювати множини, які машина Тюрінга без оракула не може.
Неофіційно, набір натуральних чисел A зводиться за Тьюрінгом до множини B, якщо існує машина оракула, яка правильно повідомляє, чи є числа в A, коли виконується з B як набір оракула (у цьому випадку множина A також називається (відносно) обчислюваний з B і рекурсивний у B). Якщо множина A зводиться за Тюрінгом до множини B, а B є зведеною за Тюрінгом до A, тоді кажуть, що множини мають однаковий степінь Тюрінга (також званий степенем нерозв'язності). степінь Тюрінга множини дає точну міру того, наскільки множина є невичислимою.
Природні приклади множин, які не піддаються обчисленню, включаючи безліч різних множин, які кодують варіанти проблеми зупинки, мають дві спільні властивості:
Багатозначна зводимість «сильніше», ніж скорочення Тюрінга: якщо множина A зводиться до множини B, то A є зведеною за Тюрінгом до B, але зворотне не завжди виконується. Хоча природні приклади необчислюваних множин є еквівалентними багатозначним, можна побудувати обчислювані множини A і B так, що A зводиться за Тюрінгом до B, але не зводиться багаозначно до B. Можна показати, що кожна обчислювально перераховувана множина зводиться багатозначно, а потім і до проблеми зупинки, отже, проблема зупинки є найскладнішою обчислювальною множиною, яка може бути перерахована враховуючи багатозначну зводимість і зводимість за Тюрінгом. Пост (1944) запитав, чи кожна обчислювано перераховувана множина обчислювана або еквівалентна за Тюрінгом до задачі зупинки, тобто чи не існує перераховувальної множини з проміжним степенем Тюрінга між цими двома.
Як проміжні результати Пост визначив природні типи перераховуваних множин, таких як прості, гіперпрості та гіпергіперпрості множини. Пост показав, що ці множини знаходяться строго між обчислювальними множинами і проблемою зупинки щодо багатозначної зводності. Пост також показав, що деякі з них є строго проміжними за іншими поняттями зводимості, більш сильними, ніж звідність по Тюрінгу. Але Пост залишив відкритою головну проблему існування перераховуваних множин проміжного степеня Тюрінга; ця проблема стала відома як проблема Поста. Через десять років, (в 1954 році) Кліні і Пост показали, що існують проміжні степені Тюрінга між множинами, що обчислюються, і проблемою зупинки, але їм не вдалося показати, що жодна з цих степенів містить перераховувану множину. Дуже скоро після цього Фрідберг і Мухнік незалежно вирішили проблему Поста, встановивши існування перераховувальних множин проміжного степеня. Цей новаторський результат відкрив широке вивчення степенів Тюрінга перераховуваних множин, які, як виявилося, мають дуже складну і нетривіальну структуру.
Існує незліченно багато множин, які неможливо перерахувати, і дослідження степенів Тюрінга всіх множин є таким же центральним у теорії обчислюваності, як дослідження перераховуваних степенів Тюрінга. Було побудовано багато степенів зі спеціальними властивостями: гіперімунні степені, де кожна обчислювана відносно цього степеня функція мажорується (нерелятивізованою) обчислюваною функцією; високі степені, щодо яких можна обчислити функцію f, яка домінує над кожною обчислюваною функцією g у тому сенсі, що існує константа c, що залежить від g, така, що g(x) < f(x) для всіх x > c; випадкові степені, що містять алгоритмічно випадкові множини[en]; 1-родові степені 1-родових множин; і градуси нижче проблеми зупинки гранично обчислювальних[en] множин.
Вивчення довільних (не обов'язково перераховуваних) степенів Тюрінга включає вивчення стрибка Тюрінга. Для множини A стрибок Тюрінга[en] A — це набір натуральних чисел, що кодують рішення проблеми зупинки для машин оракула Тюрінга, що працюють з оракулом A. Стрибок Тюрінга будь-якої множини завжди має вищий степінь Тюрінга, ніж вихідна множина, і теорема Фрідбурга показує, що будь-яку множину, яка обчислює проблему зупинки, можна отримати як стрибок Тюрінга іншої множини. Теорема Поста встановлює тісний зв'язок між операцією стрибка Тюрінга та арифметичною ієрархією[en], яка є класифікацією певних підмножин натуральних чисел на основі їх визначеності в арифметиці.
Більшість останніх досліджень степенів Тюрінга зосереджені на загальній структурі множини степенів Тюрінга та множини степенів Тюрінга, що містить перераховувані множини. Глибока теорема Шора і Сламана (1999) стверджує, що функція, яка відображає степінь x у степінь її стрибка Тюрінга, визначається в частковому порядку степенів Тюрінга. Нещодавнє дослідження, проведене Амбос-Шпієсом і Фейєром (2006), дає огляд цього дослідження та його історичного прогресу.
Нинішня область досліджень у теорії обчислюваності вивчає відношення зводимості, відмінні від зводимості за Тюрінгом. Пост (1944) ввів кілька сильних зведень, названих так тому, що вони передбачають зведеність таблиці істинності. Машина Тюрінга, що реалізує сильну зведеність, обчислює повну функцію (total function) незалежно від того, який оракул вона представлена. Слабкі зведення — це ті, де процес зведення може не закінчитися для всіх оракулів; Одним із прикладів є зведення по Тюрінгу.
До сильних скорочень належать:
Подальші зведення(позитивні, диз'юнктивні, кон'юнктивні, лінійні та їх слабкі та обмежені варіанти) розглядаються в статті Редукція (теорія обчислюваності)[en].
Основним дослідженням сильних скорочень було порівняння їхніх теорій, як для класу всіх перераховуваних множин, так і для класу всіх підмножин натуральних чисел. Крім того, досліджено співвідношення між зведенями. Наприклад, відомо, що кожен степінь Тюрінга або є степенем таблиці істинності, або є об'єднанням нескінченної кількості степенів таблиці істинності.
Також досліджувалися зведення, слабші за зводимість за Тюрінгом (тобто скорочення, які випливають із зводимості за Тюрінгом). Найбільш відомими є арифметична зводимість і гіперарифметична зводимість. Ці скорочення тісно пов'язані з визначеністю в порівнянні зі стандартною моделлю арифметики.
Райс показав, що для кожного нетривіального класу C (який містить деякі, але не всі перераховувані множини) індексний набір E = {e: e-та перераховувані множина We знаходиться в C} має властивість, що або проблема зупинки, або її доповнення є багатозначно зведеним до E, тобто може бути відображений за допомогою багатозначного зведення до E (докладніше див. теорему Райса[en]). Але багато з цих множин індексів навіть складніші, ніж проблема зупинки. Цей тип множин можна класифікувати за допомогою арифметичної ієрархії[en]. Наприклад, множина індексів FIN класу всіх кінцевих множин знаходиться на рівні Σ2, множина індексів REC класу всіх рекурсивних множин знаходиться на рівні Σ3, множина індексів COFIN всіх скінченних множин також знаходиться на рівень Σ3 та множина індексів COMP класу всіх повних множин Тюрінга Σ4. Ці рівні ієрархії визначаються індуктивно, Σn+1 містить лише всі множини, які є пререраховувальними щодо Σn; Σ1 містить пререраховувальні множини. Наведені тут множини індексів є повними для своїх рівнів, тобто всі множини на цих рівнях можуть бути багатозначно зведені (багато до одиного) до заданих множин індексів.
Програма зворотної математики[en] запитує, які аксіоми існування множин необхідні для доведення конкретних теорем математики в підсистемах арифметики другого порядку[en]. Це дослідження було ініційоване Харві Фрідманом[en], а його детально вивчали Стівен Сімпсон[en] та інші; Сімпсон дає детальне обговорення програми. Аксіоми існування множин, про які йде мова, неформально відповідають аксіомам, які кажуть, що множина степенів натуральних чисел закрита відповідно до різних уявлень про зведення. Найслабшою такою аксіомою, що вивчається у зворотній математиці, є рекурсивне розуміння, яке стверджує, що множина степенів натуральних чисел замкнута відповідно до зведеності за Тюрінгом.
Нумерація — це перерахування функцій; він має два параметри, e і x, і виводить значення e-ї функції в нумерації x, що подаються на вхід. Нумерація може бути частково обчислюваною, хоча деякі її члени є повністю обчислюваними функціями. Допустимі нумерації[en] — це нумерації, на які можна перевести всі інші. Нумерація Фрідберга[en] (названа на честь її першовідкривача) — це нумерація всіх частково обчислюваних функцій. Пізніші дослідження також стосувалися нумерації інших класів, наприклад класів перерераховувальних множин. Гончаров відкрив, наприклад, клас пререраховувальних множин, для яких нумерації поділяються точно на два класи відносно обчислювальних ізоморфізмів.
Проблема Поста була вирішена за допомогою методу, який називається методом пріоритету; доказ, який спирається на цей метод, називається аргументом пріоритету. Цей метод в основному використовується для побудови пререраховувальних множин з певними властивостями. Щоб використовувати цей метод, бажані властивості множини, який потрібно побудувати, розбиваються на нескінченний список цілей, відомий як вимоги, так що виконання всіх вимог призведе до того, що створена множина матиме потрібні властивості. Кожній вимозі присвоюється натуральне число, що представляє пріоритет вимоги; тому 0 призначається найважливішому пріоритету, 1 — другому за важливістю тощо. Потім множина будується поетапно, кожен етап намагається задовольнити одну з кількох вимог шляхом додавання чисел до множини або виключення чисел з множини, щоб кінцевий набір задовольнив вимогу. Може статися, що задоволення однієї вимоги призведе до незадоволення іншої; порядок пріоритету використовується, щоб вирішити, що робити в такій події.
Пріоритетні аргументи були використані для вирішення багатьох проблем у теорії обчислюваності, і були класифіковані в ієрархії на основі їх складності (Соаре 1987). Оскільки складні аргументи пріоритету можуть бути специфічними і їх важко дотримуватися, традиційно вважалося, що бажано доводити результати без аргументів пріоритету, або перевірити, чи результати, доведені за допомогою аргументів пріоритету, також можна довести без них. Наприклад, Куммер опублікував статтю про доказ існування нумерації Фрідберга без використання методу пріоритету.
Коли Пост визначив поняття простої множини як пререраховувальної множини з нескінченним доповненням, що не містить жодної нескінченної пререраховувальної множини, він почав вивчати структуру пререраховувальних множин при включенні. Ця решітка стала добре вивченою конструкцією. Обчислювані множини можуть бути визначені в цій структурі у разі, якщо множина обчислювана тоді й тільки тоді, коли множина та її доповнення є пререраховувальними. Нескінченні пререраховувальні множини завжди мають нескінченні обчислювані підмножини; але з іншого боку, прості множини існують, але не завжди мають скінченну обчислювальну надмножину. Пост (1944) ввів гіперпрості та гіпергіперпрості множини; пізніше були побудовані максимальні множини, які є такими множинами, що кожна пререраховувальна надмножина є або скінченним варіантом даної максимальної множини, або співкінечною. Початкова мотивація Поста у дослідженні цієї решітки полягала в тому, щоб знайти структурне поняття, при якому кожна множина, яка задовольняє цій властивості, не перебуває ні в степені Тюрінга обчислюваних множин, ні в степені Тюрінга проблеми зупинки. Пост не знайшов такої властивості, і замість нього для вирішення його проблеми застосували пріоритетні методи; Гаррінгтон і Соаре (1991) врешті знайшли таку властивість.
Іншим важливим питанням є існування автоморфізмів у теоретико-обчислювальних структурах. Однією з цих структур є одна з пререраховувальних множин включенні за модулем скінченної різниці; у цій структурі A знаходиться нижче B тоді і тільки тоді, коли встановлена різниця B − A є кінцевим. Максимальні множини[en] (як визначено в попередньому абзаці) мають властивість, що вони не можуть бути автоморфними до немаксимальних множин, тобто якщо існує автоморфізм пререраховувальних множин у щойно згаданій структурі, тоді кожна максимальна множина відображається на іншу максимальну множину. Соаре (1974) показав, що буває і зворотне, тобто кожні дві максимальні множини є автоморфними. Отже, максимальні множини утворюють орбіту, тобто кожен автоморфізм зберігає максимальність і будь-які дві максимальні множини перетворюються одна в одну за допомогою деякого автоморфізму. Харрінгтон навів ще один приклад автоморфної властивості: властивість творчих множин, множин, які є багатозначно (багато-один) еквівалентними задачі зупинки.
Крім решітки пререраховувальних множин, автоморфізми досліджуються також для структури степенів Тюрінга всіх множин, а також для структури степенів Тюрінга пререраховувальних множин. В обох випадках Купер стверджує, що побудував нетривіальні автоморфізми, які відображають одні степені в інші степені; ця конструкція, однак, не була перевірена, і деякі колеги вважають, що конструкція містить помилки і що питання про те, чи існує нетривіальний автоморфізм степенів Тюрінга, досі залишається одним з основних невирішених питань у цій області.
Область колмогоровської складності та алгоритмічної випадковості була розроблена протягом 1960-х і 1970-х років Чайтіним, Колмогоровим, Левіним, Мартін-Льофом і Соломоновим (імена наведені тут в алфавітному порядку; значна частина досліджень була незалежною, а єдність концепції випадковості в той час не було зрозуміло). Основна ідея полягає в тому, щоб розглянути універсальну машину Тюрінга U і виміряти складність числа (або рядка) x як довжину найкоротшого входу p так, що U (p) виводить x. Цей підхід революціонізував попередні способи визначення того, коли нескінченна послідовність (еквівалентно, характеристична функція підмножини натуральних чисел) є випадковою чи ні, використовуючи поняття випадковості для кінцевих об'єктів. Колмогоровська складність стала не тільки предметом самостійного вивчення, але й стала застосовуватися до інших предметів як інструмент для отримання доказів. У цій сфері залишається багато відкритих проблем. З цієї причини в січні 2007 року відбулася дослідницька конференція в цій галузі, а список відкритих проблем[5] ведуть Джозеф Міллер та Андре Ніс.
Ця галузь теорії обчислюваності аналізувала таке питання: для фіксованих m і n де 0 < m < n, для яких функцій A можна обчислити будь-які різні n входів x1, x2, …, xn кортеж із n чисел y1, y2,…,yn таких, що принаймні m рівнянь A(xk) = yk є істинними. Такі множини відомі як (m, n)-рекурсивні множини. Першим основним результатом у цій галузі теорії обчислюваності є результат Трахтенброта про те, що множина обчислювана, якщо вона є (m, n)-рекурсивною для деяких m, n з 2m > n. З іншого боку, напіврекурсивні множини Джокуша (які вже були відомі неофіційно до того, як Джокуш представив їх у 1968 році) є прикладами множини, яка є (m, n)-рекурсивною тоді і тільки тоді, коли 2m < n + 1. Існує незліченна кількість цих множин, а також деякі перераховувані, але необчислювані. Пізніше Дегтєв встановив ієрархію перераховуваних множин, які є (1, n + 1)-рекурсивними, але не (1, n)-рекурсивними. Після тривалого етапу досліджень російських вчених ця тема знову стала поширеною на заході тезою Бейгеля про обмежені запити, яка пов'язувала обчислення частоти з вищезгаданими обмеженими зведеннями та іншими пов'язаними поняттями. Одним з головних результатів була теорія потужності Куммера, яка стверджує, що множина A обчислюється тоді і тільки тоді, коли існує n таке, що деякий алгоритм перераховує для кожного кортежу з n різних чисел до n можливих варіантів потужності цієї множини n чисел, що перетинаються з A; ці варіанти повинні містити справжню потужність, але допускати принаймні одну помилкову.
Це теоретико-обчислювальна галузь теорії навчання. Вона заснована на моделі навчання Е. Марка Голда в межах з 1967 року і з тих пір розробляє все більше і більше моделей навчання. Загальний сценарій виглядає наступним чином: маючи клас обчислювальних функцій S, чи є учень (тобто обчислюваний функціонал), який виводить гіпотезу для будь-якого входу у вигляді (f(0), f(1),…, f(n)). Учень M вивчає функцію f, якщо майже всі гіпотези мають однаковий індекс e з f щодо попередньо узгодженої прийнятної нумерації всіх обчислюваних функцій; M дізнається S, якщо M дізнається кожну f у S. Основні результати полягають у тому, що всі перераховувані класи функцій доступні для вивчення, тоді як клас REC усіх обчислюваних функцій не доступний для вивчення. Було розглянуто багато пов'язаних моделей, а також вивчення класів перераховуваних множин із позитивних даних є темою, яка вивчається з новаторської роботи Голда в 1967 році.
Теорія обчислюваності включає вивчення узагальнених понять цієї області, таких як арифметична зводимість, гіперарифметична звідність[en] і теорія α-рекурсії[en], як описано Саксом (1990). Ці узагальнені поняття включають зводимості, які не можуть бути виконані машинами Тюрінга, але, тим не менш, є узагальненнями зведеності Тюрінга. Ці дослідження включають підходи до дослідження аналітичної ієрархії[en], яка відрізняється від арифметичної, дозволяючи кількісно оцінювати набори натуральних чисел на додаток до кількісної оцінки окремих чисел. Ці області пов'язані з теоріями сильного впорядкування і дерев; наприклад, множина усіх індексів обчислюваних (небінарних) дерев без нескінченних розгалужень повний для рівня аналітичної ієрархії. У галузі ефективної описової теорії множин[en] важливі як зводимість за Тюрінгом, так і гіперарифметична. Ще більш загальне поняття степенів конструктивності вивчається в теорії множин.
Теорія обчислюваності для цифрових обчислень добре розроблена. Теорія обчислюваності менш добре розроблена для аналогових обчислень, які відбуваються в аналогових комп'ютерах, обробці аналогових сигналів, аналоговій електроніці, нейронних мережах і безперервної теорії керування, змодельованої диференціальними рівняннями та безперервними динамічними системами.
Існує тісний зв'язок між степенем Тюрінга множини натуральних чисел і складністю (з точки зору арифметичної ієрархії) визначення цієї множини за допомогою формули першого порядку. Один з таких зв'язків уточнюється теоремою Поста. Більш слабкий зв'язок був продемонстрований Куртом Геделем у доказах його теореми про повноту та теорем про неповноту. Докази Геделя показують, що множина логічних наслідків ефективної теорії першого порядку є перераховуваною множиною, і якщо теорія досить сильна, ця множина буде невичислимою. Аналогічно, теорему про невизначеність Тарського можна інтерпретувати як з точки зору визначеності, так і з точки зору обчислюваності.
Теорія обчислюваності також пов'язана з арифметикою другого порядку[en], формальною теорією натуральних чисел і множин натуральних чисел. Той факт, що певні множини обчислювані або відносно обчислювані, часто означає, що ці множини можна визначити в слабких підсистемах арифметики другого порядку. Програма зворотної математики використовує ці підсистеми для вимірювання невичислимості, властивої добре відомим математичним теоремам. Сімпсон (1999) обговорює багато аспектів арифметики другого порядку та зворотної математики.
Сфера теорії доказів включає вивчення арифметики другого порядку та арифметики Пеано, а також формальних теорій натуральних чисел, слабших, ніж арифметика Пеано. Одним із методів класифікації міцності цих слабких систем є визначення того, про які обчислювані функції система може довести їх повноту. Наприклад, у примітивно-рекурсивній арифметиці будь-яка обчислювана функція, яка є доказово повною, насправді є примітивно рекурсивною, тоді як арифметика Пеано доводить, що такі функції, як функція Аккермана, які не є примітивно рекурсивними, є тотальними. Однак не кожна обчислювана функція є доказово тотальною в арифметиці Пеано; прикладом такої функції є теорема Гудштейна.
Область математичної логіки, що стосується обчислюваності та її узагальнень, з перших днів її існування називалася «теорією рекурсії». Роберт І. Соаре[en], видатний дослідник у цій галузі, запропонував замість цього назвати цю область «теорією обчислюваності». Він стверджує, що термінологія Тюрінга, що використовує слово «обчислювальний», є більш природною та більш зрозумілою, ніж термінологія, що використовує слово «рекурсивний» яку ввів Кліні. Багато сучасних дослідників почали використовувати цю альтернативну термінологію.[6] Ці дослідники також використовують таку термінологію, як частково обчислювана функція та перераховувана множина замість часткової рекурсивної функції та рекурсивно перераховуваної множини. Однак не всі дослідники були переконані, як пояснили Фортноу[7] і Сімпсон.[8] Деякі коментатори стверджують, що як теорія рекурсії, так і теорія обчислюваності не можуть передати той факт, що більшість об'єктів, що вивчаються в теорії обчислюваності, не є обчислювальними.[9]
Роджерс (1967) припустив, що ключовою властивістю теорії обчислюваності є те, що її результати та структури повинні бути інваріантними щодо обчислювальних бієкції на натуральні числа (ця пропозиція спирається на ідеї програми Ерлангена в геометрії). Ідея полягає в тому, що обчислювана бієкція просто перейменовує числа в множині, а не вказує на будь-яку структуру в множині, так само як обертання евклідової площини не змінює жодного геометричного аспекту накреслених на ній ліній. Оскільки будь-які дві нескінченні обчислювані множини пов'язані обчислюваною біекцією, ця пропозиція ідентифікує всі нескінченні обчислювані множини (кінечні обчислювані множини розглядаються як тривіальні). Згідно з Роджерсом, множини, що представляють інтерес у теорії обчислюваності, — це необчислювані множини, розбиті на класи еквівалентності обчислювальними бієкціями натуральних чисел.
Головною професійною організацією з теорії обчислюваності є Асоціація символічної логіки, яка щороку проводить кілька дослідницьких конференцій. Міждисциплінарна дослідницька асоціація Computability in Europe[en] (CIE) також організовує серію щорічних конференцій.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.