12,122
edits
Changes
→Bridges And Barriers: wikify
Notes on a couple of discussions that I found in the Foundations Of Mathematics Archives (FOMA) about building bridges between classical-apagogical and constructive-intuitionsitic mathematics.
Notes on a couple of discussions that I found in the Foundations Of Mathematics Archives (FOMA) about building bridges between classical-apagogical and constructive-intuitionsitic mathematics.
===Background===
: AM = A Mani
: HF = Harvey Friedman
: NT = Neil Tennant
: SS = Stephen G Simpson
: TF = Torkel Franzen
: VP = Vaughan Pratt
====Feb 1998, Intuitionistic Mathematics and Building Bridges====
* http://www.cs.nyu.edu/pipermail/fom/1998-February/thread.html#1160
# NT: http://www.cs.nyu.edu/pipermail/fom/1998-February/001160.html
# TF: http://www.cs.nyu.edu/pipermail/fom/1998-February/001162.html
SS = Stephen G Simpson
# SS: http://www.cs.nyu.edu/pipermail/fom/1998-February/001246.html
# VP: http://www.cs.nyu.edu/pipermail/fom/1998-February/001248.html
VP = Vaughan Pratt
====Oct 2008, Classical/Constructive Mathematics====
* http://www.cs.nyu.edu/pipermail/fom/2008-October/thread.html#13127
http://www.cs.nyu.edu/pipermail/fom/2008-October/thread.html#13127
# HF: http://www.cs.nyu.edu/pipermail/fom/2008-October/013127.html
HF: http://www.cs.nyu.edu/pipermail/fom/2008-October/013127.html
# AM: http://www.cs.nyu.edu/pipermail/fom/2008-October/013142.html
AM: http://www.cs.nyu.edu/pipermail/fom/2008-October/013142.html
Foreground --
===Foreground===
<pre>
Re: Classical/Constructive Mathematics
Re: Classical/Constructive Mathematics
Harvey Friedman (15 Oct 2008, 00:36:36 EDT)
Harvey Friedman (15 Oct 2008, 00:36:36 EDT)