Обчислення (інформатика)

Обчислення — це будь-який тип арифметичного або неарифметичного обчислення, що слідує чітко визначеній моделі (наприклад, алгоритм).

Механічні або електронні пристрої (або, історично, люди), які виконують обчислення, відомі як комп'ютери. Особливо відомою дисципліною вивчення обчислень є інформатика.

Фізичний процес

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

Ця точка зору була прийнята Шаблон:Нп, розділом теоретичної фізики, а також областю Шаблон:Нп.

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

Обліковий запис відображення

Класичний опис обчислень можна знайти в роботах Гіларі Патнема та інших. Шаблон:Нп назвав це «простим обліковим записом відображення». У підсумку свого звіту Шаблон:Нп стверджує, що можна сказати, що фізична система виконує певні обчислення, коли існує відображення між станом цієї системи та обчисленням таким чином, що «мікрофізичні стани [системи] відображають переходи станів між обчислювальними станами».

Семантичний розрахунок

Філософи, такі як Джеррі Фодор, запропонували різні пояснення обчислень з обмеженням, що семантичний зміст є необхідною умовою для обчислення (тобто те, що відрізняє довільну фізичну систему від обчислювальної системи, полягає в тому, що операнди обчислення представляють щось). Це поняття намагається запобігти логічній абстракції пояснення панкомп'ютералізму, ідеї про те, що можна сказати, що все обчислює все.

Механістичний розрахунок

Шаблон:Нп пропонує пояснення обчислень, засноване на філософії механіки. У ньому стверджується, що фізичні обчислювальні системи — це типи механізмів, які за своєю конструкцією виконують фізичні обчислення або маніпуляції (за допомогою функціонального механізму) «незалежним від середовища» транспортним засобом відповідно до правила. «Незалежність від середовища» вимагає, щоб властивість могла бути створена декількома реалізаторами та декількома механізмами, а також щоб вхідні та вихідні дані механізму також були Шаблон:Нп. Коротко кажучи, незалежність від середовища дозволяє використовувати фізичні змінні з властивостями, відмінними від напруги (як у типових цифрових комп'ютерах); це необхідно при розгляді інших типів обчислень, таких як ті, що відбуваються в мозку або у квантовому комп'ютері. У цьому сенсі правило забезпечує відображення між входами, виходами та внутрішніми станами фізичної обчислювальної системи.

Математичні моделі

У теорії обчислень було розроблено багато математичних моделей комп'ютерів. Типовими математичними моделями комп'ютерів є наступні:

• Моделі станів, включаючи машину Тьюринга, автомат з магазинною пам'яттю, скінченний автомат і PRAM;
• Функціональні моделі, включаючи лямбда-числення;
• Логічні моделі, включаючи логічне програмування;
• Паралельні моделі, включаючи модель акторів і Шаблон:Нп.

Джунті називає моделі, що вивчаються теорією обчислень, обчислювальними системами та стверджує, що всі вони є динамічними математичними системами з дискретним часом і дискретним простором станів.Шаблон:Rp  Він стверджує, що обчислювальна система є складним об'єктом, який складається з трьох частин. По-перше, математична динамічна система $DS$ з дискретним часом і дискретним простором станів; по-друге, обчислювальна установка $H=(F,B_F)$, яка складається з теоретичної частини $F$ і реальної частини $B_F$; по-третє, інтерпретація $I_{DS,H}$, яка пов'язує динамічну систему $DS$ з налаштуванням $H$.Шаблон:Rp

Див. також

• Обчислювальний підхід
• Шаблон:Нп
• Оборотні обчислення
• Гіперобчислення
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп