12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to search→Bridges And Barriers: wikify
Line 227:
Line 227:
<pre>+Background --+
+
+AM = A Mani+HF = Harvey Friedman+NT = Neil Tennant+TF = Torkel Franzen+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: 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+
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)
