Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
we were lacking an entry realizability that points to all the related entries (and in fact some entries were asking for just “realizability”).
So I started one. Put in the following Idea-paragraph:
The idea of realizability is essentially that of constructivism, intuitionistic mathematics and the propositions as types paradigm: for instance constructively a proof of an existential quantification $\underset{x\in X}{\exists} \phi(x)$ consists of constructing a specific $x \in X$ and a proof of $\phi(x)$, which “realizes” the truth of the statement, whence the name (e.g. Vermeeren 09, section 1).
added some more canonical references
Added a reference to Andrej’s lecture notes.
Thanks! I already had this with more bibliographic information at computable analysis, but without the link to a pdf copy. Have merged the information now to:
Andrej Bauer, Realizability as connection between constructive and computable mathematics, in T. Grubba, P. Hertling, H. Tsuiki, and Klaus Weihrauch, (eds.) CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29,2005, Kyoto, Japan, ser. Informatik Berichte, , vol. 326-7/2005. FernUniversität Hagen, Germany, 2005, pp. 378–379. (pdf)
Also added this citation to constructive mathematics and to computability and cross-linked a bit more.
added the full publication data for
1 to 7 of 7