Метаобчислення

Метаобчислення обумовлені бажанням користувачів мати доступ до ресурсів, недоступних в середовищі одномашинних обчислень. Турчин Валентин Федорович заклав основи метаобчислень, запропонувавши якісно новий метод перетворення і оптимізації програм. Метакомп’ютер (або обчислювальна мережа) утворюється деяким рівнем програмного забезпечення, яке об'єднує комп'ютери і комунікаційні мережі, створюючи ілюзію одного віртуального комп'ютера. Ще один рівень програмного забезпечення на вершині цієї інфраструктури забезпечує метаобчислювальне середовище, що дозволяє програмам використовувати можливості метакомп’ютера. Суть і ролі цих рівнів програмного забезпечення подібні операційним системам, які реалізують віртуальну машину на вершині апаратних ресурсів і підтримують набір інструментів, використовуваних прикладними програмістами.Метатеорія — теорія, що аналізує методи й властивості іншої теорії, так званої предметної або об'єктної теорії. Завдання метатеорії - встановити межі області застосування досліджуваної в ній теорії, відповісти на запитання про її несуперечності та повноті, вивчити або встановити способи введення її нових понять і докази її тверджень тощо. Необхідність створення метатеорії виникла насамперед у застосуванні до математики. Вона була зумовлена потребою з'ясування сенсу понять доказ, аксіома, теорема, дослідження структури математичних теорій і питання про їхню істинність в категорійно-логічних інтерпретаціях .

Див. також

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

Література

  • Метаобчислення
  • Метаобчислення
  • Гастев Ю. Метаматематика // БСЭ.
  • Гильберт Д. Основания геометрии. — М.—Л.: ГИТТЛ, 1948 . — 491 с.
  • Энгелер Э. Метаматематика элементарной математики. — М.: Мир, 1987 . — 128 с.
  • Клини С. К. Введение в метаматематику / Пер. с англ. — М.: Иностранная литература, 1957 . — 526 с.

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.