Повнота (логіка)
З Вікіпедії, безкоштовно encyclopedia
Повнота (або неповнота) у математичній логіці та металогіці — характеристика формальної системи. Систему називають повною стосовно деякої властивості, якщо кожна формула системи з даною властивістю може бути доведена за допомогою цієї системи (тобто є однією з теорем системи). У протилежному випадку система називається неповною. Поняття повноти також використовується у інших значеннях, що можуть залежати від контексту, найчастіше стосовно семантичної валідності. З інтуїтивної точки зору, система є повною , якщо в її межах можна вивести кожну формулу, яка є істинною. Докази повноти було опубліковано в різні роки Куртом Геделем, Леоном Генкіном і Емілем Леоном Постом (див. історію тези Черча–Тюрінга).
Ця стаття є сирим перекладом з іншої мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. (січень 2018) |