In mathematical logic, independence refers to the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem.

PropertyValue
dbpprop:abstract
  • In mathematical logic, independence refers to the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem. A theory T is independent if each axiom in T is not provable from the remaining axioms in T. A theory for which there is an independent set of axioms is independently axiomatizable.
  • Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой. Независимость той или иной аксиомы данной аксиоматической теории означает, что эту аксиому можно без противоречия заменить её отрицанием. Иными словами, аксиома независима в том и только в том случае, если имеется интерпретация, при которой эта аксиома ложна, а все остальные аксиомы данной теории истинны. Построение такой интерпретации является классическим методом доказательства независимости. При построении аксиоматической теории в виде формальной системы, где отношение логического следования формализуется в виде понятия выводимости, аксиома считается независимой, если она не может быть выведена из других аксиом с помощью правил вывода данной формальной системы. Для широкого класса формальных систем (так называемых теорий 1-го порядка) независимость относительно выводимости совпадает с независимостью относительно логического следования. По отношению к формальным системам и вообще исчислениям имеет смысл говорить о независимости правил вывода. Правило вывода называются независимым, если существует теорема данного исчисления, которая не может быть выведена без использования этого правила. Независимость системы аксиом сама по себе не является обязательным свойством аксиоматической теории. Она лишь свидетельствует о том, что совокупность исходных положений теории не является избыточной, и представляет некоторые технические удобства. Однако исследования, посвященные независимости системы аксиом, и доказательства независимости способствуют лучшему пониманию изучаемой теории. Достаточно вспомнить, какое влияние на развитие математики оказал вопрос о независимости пятого постулата Евклида в системе аксиом геометрии.
  • Inom logik säger man att ett påstående P är oavgörbart i en viss teori T om man varken kan bevisa P eller ¬P i T. Det innebär att i så fall är både T + P och T + ¬P konsistenta teorier, för om T hade varit inkonsistent hade man kunnat bevisa både P och ¬P.
dbpprop:hasPhotoCollection
rdfs:comment
  • In mathematical logic, independence refers to the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem.
  • Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории.
  • Inom logik säger man att ett påstående P är oavgörbart i en viss teori T om man varken kan bevisa P eller ¬P i T. Det innebär att i så fall är både T + P och T + ¬P konsistenta teorier, för om T hade varit inkonsistent hade man kunnat bevisa både P och ¬P.
rdfs:label
  • Independence (mathematical logic)
  • Независимость системы аксиом
  • Oavgörbar
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of