Changes

52 bytes added ,  16:13, 11 December 2008
Line 227: Line 227:  
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.
   −
<pre>
+
===Background===
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====
   −
AM = A Mani
+
* http://www.cs.nyu.edu/pipermail/fom/1998-February/thread.html#1160
HF = Harvey Friedman
+
# NT: http://www.cs.nyu.edu/pipermail/fom/1998-February/001160.html
NT = Neil Tennant
+
# 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
TF = Torkel Franzen
+
# VP: http://www.cs.nyu.edu/pipermail/fom/1998-February/001248.html
VP = Vaughan Pratt
     −
Feb 1998, Intuitionistic Mathematics and Building Bridges
+
====Oct 2008, Classical/Constructive Mathematics====
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: http://www.cs.nyu.edu/pipermail/fom/1998-February/001246.html
  −
VP: http://www.cs.nyu.edu/pipermail/fom/1998-February/001248.html
     −
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)
12,080

edits