Re: [HM] Constructivism and root 2

Edwin Mares (Edwin.Mares@vuw.ac.nz)
Fri, 23 Jul 1999 07:52:34 +1200

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Udai Venedem: "[HM] Colloque Emile Borel"
Previous message: Udai Venedem: "Re: [HM] an indeterminacy of rational numbers representation"
In reply to: Eric Schechter: "[HM] Constructivism and root 2"
Next in thread: Prof. dr. D. van Dalen: "Re: [HM] Constructivism and root 2"

This example appears on pg 10 of Michael Dummett's Elements of Intuitionism
(OUP, 1977). I had thought that Dummett got the proof from Beth's
Foundations of Mathematics, but I can't find it there at the moment.

Ed Mares

Edwin Mares
Head of Department
Department of Philosophy
Victoria University of Wellington
PO Box 600
Wellington, New Zealand

Ph: 64-4-471-5368

Next message: Udai Venedem: "[HM] Colloque Emile Borel"
Previous message: Udai Venedem: "Re: [HM] an indeterminacy of rational numbers representation"
In reply to: Eric Schechter: "[HM] Constructivism and root 2"
Next in thread: Prof. dr. D. van Dalen: "Re: [HM] Constructivism and root 2"