Теорема о дедукции
Sign in to saveодин из фундаментальных результатов в теории доказательств, формализует способ рассуждения, при котором для установления импликации используется в качестве необходимого условия вывода
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · Русский
Теорема о дедукции (лемма о дедукции, теорема дедукции) — один из фундаментальных результатов в теории доказательств, формализует способ рассуждения, при котором для установления импликации используется в качестве необходимого условия вывода. Используется для установления существования выводов и доказательств, не используя их построения. Впервые была явно сформулирована и доказана в 1930 году Эрбраном, а без доказательств использовалась Эрбраном в 1928 году. Независимо этот принцип был сформулирован Тарским в 1930 году. По сообщению Тарского, он знал и применял этот принцип еще в 1921 году.
Abstract from DBpedia / Wikipedia · CC BY-SA