MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
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) |