Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hilbert_system> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Hilbert_system abstract "In mathematical physics, Hilbert system is an infrequently used term for a physical system described by a C*-algebra.In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob Frege and David Hilbert. These deductive systems are most often studied for first-order logic, but are of interest for other logics as well.Most variants of Hilbert systems take a characteristic tack in the way they balance a trade-off between logical axioms and rules of inference. Hilbert systems can be characterised by the choice of a large number of schemes of logical axioms and a small set of rules of inference. Systems of natural deduction take the opposite tack, including many deduction rules but very few or no axiom schemes. The most commonly studied Hilbert systems have either just one rule of inference — modus ponens, for propositional logics — or two — with generalisation, to handle predicate logics, as well — and several infinite axiom schemes. Hilbert systems for propositional modal logics, sometimes called Hilbert-Lewis systems, are generally axiomatised with two additional rules, the necessitation rule and the uniform substitution rule.A characteristic feature of the many variants of Hilbert systems is that the context is not changed in any of their rules of inference, while both natural deduction and sequent calculus contain some context-changing rules. Thus, if we are interested only in the derivability of tautologies, no hypothetical judgments, then we can formalize the Hilbert system in such a way that its rules of inference contain only judgments of a rather simple form. The same cannot be done with the other two deductions systems[citation needed]: as context is changed in some of their rules of inferences, they cannot be formalized so that hypothetical judgments could be avoided — not even if we want to use them just for proving derivability of tautologies.".
- Hilbert_system thumbnail Deduction_architecture.png?width=300.
- Hilbert_system wikiPageExternalLink 02-prop-logic.pdf.
- Hilbert_system wikiPageID "8529655".
- Hilbert_system wikiPageRevisionID "602383115".
- Hilbert_system hasPhotoCollection Hilbert_system.
- Hilbert_system subject Category:Automated_theorem_proving.
- Hilbert_system subject Category:Logical_calculi.
- Hilbert_system subject Category:Proof_theory.
- Hilbert_system comment "In mathematical physics, Hilbert system is an infrequently used term for a physical system described by a C*-algebra.In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob Frege and David Hilbert.".
- Hilbert_system label "Hilbert system".
- Hilbert_system label "Hilbert-Kalkül".
- Hilbert_system label "Sistema de Hilbert".
- Hilbert_system label "System Hilberta".
- Hilbert_system label "Système à la Hilbert".
- Hilbert_system label "希尔伯特演绎系统".
- Hilbert_system sameAs Hilbertovský_kalkulus.
- Hilbert_system sameAs Hilbert-Kalkül.
- Hilbert_system sameAs Système_à_la_Hilbert.
- Hilbert_system sameAs System_Hilberta.
- Hilbert_system sameAs Sistema_de_Hilbert.
- Hilbert_system sameAs m.0276sb2.
- Hilbert_system sameAs Q910361.
- Hilbert_system sameAs Q910361.
- Hilbert_system wasDerivedFrom Hilbert_system?oldid=602383115.
- Hilbert_system depiction Deduction_architecture.png.
- Hilbert_system isPrimaryTopicOf Hilbert_system.
