Формальная система: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет никаких свидетельств существования такой работы, есть только "Основания математики". В любом случае изобретение формальных систем в со |
оформление |
||
Строка 6:
Формальная система — это совокупность абстрактных объектов, не связанных с внешним миром, в которой представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики.
Строго описанные формальные системы появились после того, как была поставлена [[Седьмая проблема Гильберта|задача Гильберта]]. Первые ФС появились после выхода книг [[Рассел, Бертран|Рассела]] и [[Уайтхед, Альфред Норт|Уайтхеда]] «Формальные системы»{{
== Основные положения ==
| |||