Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics (1992)
by
Wim Veldman
,
Marc Bezem
| Venue: | University of Utrecht, Dept of Philosophy |
| Citations: | 15 - 2 self |
BibTeX
@INPROCEEDINGS{Veldman92ramsey'stheorem,
author = {Wim Veldman and Marc Bezem},
title = {Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics},
booktitle = {University of Utrecht, Dept of Philosophy},
year = {1992},
pages = {193--211}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
At first sight, the argument which F. P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intuitionistic reader. 1.
