Аналіз формалізованих мов логіки та арифметики
Під формалізованими мовами у логіці розуміють інтерпретоване числення, тобто деяку формальну систему разом з її інтерпретацією. Використання формалізованих мов – характерна особливість математичної логіки, яку часто і визначають як «предмет формальної логіки, що вивчається за допомогою побудови формалізованих мов». Такого роду «визначення» зовсім не є невід'ємним атрибутом математичної логіки: поняття формалізованої мови не лише не входить (як правило) в наочні логіко-математичні мови, але не є, щиро кажучи, і елементом жодної конкретної метамови, а швидше є зручним робочим терміном для попередніх евристичних пояснень предмету цієї науки.
- Черч А. [1] — т. 1,М. : ІЛ, 1960. Архівовано з джерела 1 травня 2013
Літ.: Черч А., Введення в математичну логіку, пер.(переклад) з англ.(англійський), т. 1, М., 1960, Введення (§§ 00–09).
 | На цю статтю не посилаються інші статті Вікіпедії. Будь ласка розставте посилання відповідно до прийнятих рекомендацій. |