User:IssaRice/Computability and logic/Theory

From Machinelearning
< User:IssaRice
Revision as of 01:09, 1 February 2019 by IssaRice (talk | contribs) (Created page with "In mathematical logic, '''theory''' has several related meanings. * theory as set of sentences * theory as set of sentences closed under deduction * theory as something with...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In mathematical logic, theory has several related meanings.

  • theory as set of sentences
  • theory as set of sentences closed under deduction
  • theory as something with more structure: something that has a set of axioms, a set of theorems (or a way of finding out what follows from the axioms), a proof system

See also

Retrieved from "https://machinelearning.subwiki.org/w/index.php?title=User:IssaRice/Computability_and_logic/Theory&oldid=1461"