Аксиоматика Тарского (геометрия) — Википедия. Что такое Аксиоматика Тарского (геометрия)
Wiki.sc

Аксиоматика Тарского (геометрия)

Материал из Википедии — свободной энциклопедии

Аксиоматика Тарского — система аксиом элементарной евклидовой геометрии, предложенная Альфредом Тарским. Замечательна тем, что формулируется в логике первого порядка с идентичностью и не требует теории множеств.

История

Альфред Тарский работал над своей аксиоматизацией с перерывами с 1926 до его смерти в 1983 году; первая публикация вышла в 1959 году.[1] В частности Тарский доказал, что его аксиоматика полна и непротиворечива; более того, существует алгоритм позволяющий выяснить, верно или неверно любое утверждение. (Эта теорема не противоречит теореме Гёделя о неполноте поскольку в аксиоматике Тарского для геометрии нет средств выразить арифметику.)

Основным труды Тарского и его учеников в этом направлении изложены в монографии 1983 года.[2] Аксиоматика представленная в этой книге состоит из 10 аксиом и одной схема аксиом[en].

Аксиомы

Неопределяемые понятия
  • Лежать междутернарное отношение Bxyz, означающее, что у «лежит между» х и z. Другими словами, что y является точкой на отрезке хz. (При этом концы включаются, то есть, как будет следовать из аксиом Bxxz — истинно).
Аксиомы
Аксиома Паша
Tarski's continuity axiom.svg
Верхняя оценка размерности.
Аксиома о пятом отрезке
  • Рефлексивность конгруэнтности
  • Тождественность конгруэнтности
  • Транзитивность конгруэнтности
  • Тождественность отношения лежать между
То есть единственная точка на отрезке линии это сама точка .
  • Аксиома Паша
Две диагонали четырехугольника должны пересекаться в некоторой точке.
  • Схема аксиом непрерывности. Пусть и суть формулы первого порядка формулы без свободных переменных a или b. Пусть также нет свободных переменных в или в . Тогда все выражения следующего типа являются аксиомами
То есть, если и описывают два множества точек луча с вершиной a, первое из которых левее второго, то найдётся точка b между этими множествами.
  • Нижняя оценка размерности
То есть существуют три неколлинеарные точки. Без этой аксиомы, теории могут быть смоделированы с помощью одномерной вещественной прямой, в одну точку, или даже пустое множество.
  • Верхняя оценка размерности
То есть любые три точки, равноудаленные от двух различных точек образуют лежат на прямой. Без этой аксиомы, теории может быть применен в трехмерном или более-мерном пространстве.
  • Аксиома о пятом отрезке
То есть, если 4 пар отрезков на двух чертежах равны то и пятая пара отрезков равна между собой.
  • Построение отрезка
То есть, для от любой точки в любом направлении можно отложить отрезок данной длины.

Примечания

  1. Tarski, Alfred (1959), "What is elementary geometry?", in Leon Henkin, Patrick Suppes and Alfred Tarski, The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957-Jan. 4, 1958, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, сс. 16–29 .
  2. Schwabhäuser, W., Szmielew, W., Alfred Tarski, 1983. Metamathematische Methoden in der Geometrie. Springer-Verlag.

Ссылки

Что такое Wiki.sc Вики является главным информационным ресурсом в интернете. Она открыта для любого пользователя. Вики это библиотека, которая является общественной и многоязычной.

Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License.

Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI.SC является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).

E-mail: admin@wiki.sc