Glivenko's theorem

Glivenko's theorem

In logic, Glivenko's theorem states that whenever P → Q is a theorem of classical propositional logic, ¬¬P → ¬¬Q is a theorem of intuitionistic propositional logic. Similarly, ¬¬P is a theorem of intuitionistic propositional logic whenever P is a theorem of classical propositional logic. [Sørensen, p. 42] [cite web |url= http://plato.stanford.edu/archives/sum2008/entries/logic-intuitionistic/|title= Intuitionistic Logic|accessdate=2008-07-21 |last=Moschovakis |first=Joan |authorlink=Joan Moschovakis |year=2008 |month=June |work=The Stanford Encyclopedia of Philosophy (Summer 2008 edition) |language= English | editor=Edward N. Zalta ]

References

* cite book | title = Constructivism in mathematics
author = Trolestra, A. S.
coauthor = D. van Dalen
page = 106

*

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Glivenko-Cantelli theorem — In the theory of probability, the Glivenko Cantelli theorem determines the asymptotic behaviour of the empirical distribution function as the number of iid observations grows. This uniform convergence of more general empirical measures becomes an …   Wikipedia

  • Glivenko-Cantelli-Theorem — Der Gliwenko Cantelli Satz, auch Hauptsatz der Statistik oder Fundamentalsatz der Statistik genannt (nach Waleri Iwanowitsch Gliwenko und Francesco Cantelli, 1933), ist ein mathematischer Satz, der besagt, dass die empirische Verteilungsfunktion… …   Deutsch Wikipedia

  • Donsker's theorem — In probability theory, Donsker s theorem, named after M. D. Donsker, identifies a certain stochastic process as a limit of empirical processes. It is sometimes called the functional central limit theorem. A centered and scaled version of… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • Empirical process — The study of empirical processes is a branch of mathematical statistics and a sub area of probability theory. It is a generalization of the central limit theorem for empirical measures. DefinitionIt is known that under certain conditions… …   Wikipedia

  • Gödel–Gentzen negative translation — In proof theory, the Gödel–Gentzen negative translation is a method for embedding classical first order logic into intuitionistic first order logic. It is one of a number of double negation translations that are of importance to the metatheory of …   Wikipedia

  • Dedekind–MacNeille completion — The Hasse diagram of a partially ordered set (left) and its Dedekind–MacNeille completion (right). In order theoretic mathematics, the Dedekind–MacNeille completion of a partially ordered set (also called the completion by cuts or normal… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Marshall Harvey Stone — Born April 8, 1903 New York City Died January 9, 1989 Madras Citizenship …   Wikipedia

  • Kolmogorov-Smirnov test — In statistics, the Kolmogorov ndash;Smirnov test (also called the K S test for brevity) is a form of minimum distance estimation used as a nonparametric test of equality of one dimensional probability distributions used to compare a sample with a …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”