Qwika Toolbar for IE and Firefox users!

Home > English

Searching 21,964,380 articles in 1,158 wikis.
Beta release. Any comments please contact us
Press release (Feb 17): New search engine helps bridge the language gap in Wikipedia
Press release (Apr 4): Qwika search engine now indexes 1158 wikis in 12 languages

Search wikis:

Consistency proof
Consistency proof In mathematical logic, a formal system is ... and \neg\phi\, provable. A consistency proof is a formal proof that a formal system is consistent. ...
http://en.wikipedia.org/wiki/Consistency_proof - 5k - Cached - Similar pages

Talk:Consistency proof
Talk:Consistency proof The info on the page about Gdel ... think it would be good to define consistency in its own right, and explicate it ... either. I've shifted the page from Consistency to Consistency proof, changed Consistency into a disambig ...
http://en.wikipedia.org/wiki/Talk:Consistency_proof - 3k - Cached - Similar pages

Gentzen's consistency proof
Gentzen's consistency proof This article is in need of attention ... theorem In 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods ... the result is rather trivial, since the consistency of first order arithmetic has a very easy proof: the axioms are true—in a mathematically ...
http://en.wikipedia.org/wiki/Gentzen's_consistency_proof - 7k - Cached - Similar pages

Talk:Gentzen's consistency proof
Talk:Gentzen's consistency proof Origin The text used to start this ... we should discuss strength of theories (ie. consistency strength, not theory inclusion, is the more ... stronger in the relevant sense, which is consistency strength. Well, it's obviously true that ... ordering of type epsilon-0, has greater consistency strength than PA, and proves in ...
http://en.wikipedia.org/wiki/Talk:Gentzen's_consistency_proof - 14k - Cached - Similar pages

Consistency Consistency has three technical meanings: In mathematics and ... a physical theory contains no contradictions. See consistency proof. In statistics, consistency refers to a property of estimators. ...
http://en.wikipedia.org/wiki/Consistency - 1k - Cached - Similar pages

Proof   (translated from Japanese)
Proof Table of contents Proof (generality) Make that a certain matter is ... clear. Related item Deduction Induction Positivism Evidence Proof of demon Existence proof of God Proof (mathematics and symbolic logic) Certain proposition , ...
http://ja.wikipedia.org/wiki/証明 - 12k - Cached (Japanese) - Wikipedia (Japanese) - Similar pages

Proof theory
Proof theory Proof theory is a branch of mathematical logic ... inference of the logical system. As such, proof theory is syntactic in nature, in constrast ... theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called ... four pillars of the foundations of mathematics. Proof theory can also be considered a ...
http://en.wikipedia.org/wiki/Proof_theory - 14k - Cached - Similar pages

Category:Proof theory
Category:Proof theory Proof theory is the mathematical study of formalised ... The main article for this category is Proof theory. Subcategories There is 1 subcategory to ... category. S Substructural logic Pages in category "Proof theory" There are 29 pages in this section of this category. A Analytic proof C Conservative extension Consistency proof Curry- ...
http://en.wikipedia.org/wiki/Category:Proof_theory - 2k - Cached - Similar pages

Proof (criminal law)   (translated from Dutch)
Proof (criminal law) In strafrecht are it proof the information which shows that verdachte that ... charge stands spoken normally in tenlastelegging. A proof can exist among others from: declarations of ... assassination weapon, etc. By means of the proof resources the toedracht must be shown. Contents Consent Of the strongest forms of proof is consent of the verdachte. , For ...
http://nl.wikipedia.org/wiki/Bewijs_(strafrecht) - 9k - Cached (Dutch) - Wikipedia (Dutch) - Similar pages

Talk:Negative proof
Talk:Negative proof Reasons for edits today: 1. The entry ... evidence of absence” -- concurs with the "negative proof fallacy" which is detailed on this Wikipedia ... logic: "The reasonable course is to require proof of any statement [not merely a disproof ... in an alleged example of a "negative-proof fallacy") or a "maybe" is not a ... absence from reality) because there is no proof that it DOES exist (i.e. ...
http://en.wikipedia.org/wiki/Talk:Negative_proof - 27k - Cached - Similar pages

 Page:1 2 3 4 5 6 7 8 9 10 Next >>

Search wikis:

Search: uk de fr ja it nl pt es gr ko zh ru

Try your search on: FactBites (sentence-based)