|
|
October 29, 2005
- Mathematical explanation, Dean Buckner
- Re: Mathematical explanation, Neil Tennant
- away, Martin Davis
- Re: R: Intuitionists and excluded middle, Michael Kremer
- R: Intuitionists and excluded middle, Antonino Drago
- Re: Mathematical explanation, Richard Heck
- Re: Intuitionism, predicativism, and ill-defined domains, Nik Weaver
- Intuitionism, predicativism, and ill-defined domains, Nik Weaver
- Re: Mathematical explanation, Arnon Avron
October 25, 2005
- Re: Constructive Arithmetical Truth is Pi-1-1 Complete, Dmytro Taranovsky
- Re: Mathematical explanation, Neil Tennant
- Re: Intuitionism, predicativism, and ill-defined domains, Arnon Avron
- Godel on the true reason for incompleteness, Alasdair Urquhart
- Re: Mathematical explanation, Hendrik Boom
- Re: Intuitionists and excluded-middle, Jeremy Clark
- Re: Mathematical explanation, paolo mancosu
- Re: Mathematical explanation, Neil Tennant
- Re: Intuitionists and excluded-middle, Jesse Alama
- Re: Disproving Godel's explanation of incompleteness, Ajoy Thamattoor
- Mathematical explanation, mjmurphy
October 24, 2005
- Re: Intuitionists and excluded-middle, Lew Gordeew
- Mathematical explanation, Thomas Forster
- Re: Disproving Godel's explanation of incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Intuitionists and excluded-middle, Andrej Bauer
- Re: Queries for a constructivist, Eray Ozkural
- Re: Intuitionists and excluded-middle, Jeremy Clark
- Re: Intuitionists and excluded-middle, Hendrik Boom
- Another contructivist query, Bill Taylor
- Re: Intuitionists and excluded-middle, Neil Tennant
- Re: Intuitionists and excluded-middle, Alexei E Angelides
- Re: Disproving Godel's explanation of incompleteness, paolo mancosu
- Re: Explaining incompleteness, Roger Bishop Jones
- Re: Intuitionists and excluded-middle, Neil Tennant
- Re: Intuitionists and excluded-middle, Lew Gordeew
October 22, 2005
- Re: Queries for a constructivist, Richard Heck
- Re: FOM Digest, Vol 34, Issue 22, Colin McLarty
- Re: Intuitionists and excluded middle, Ron Rood
- Re: Intuitionists and excluded-middle, Andrej Bauer
- Re: Intuitionists and excluded-middle, Lew Gordeew
- Re: Intuitionists and excluded-middle, Harvey Friedman
- Re: Intuitionists and excluded-middle, Alexei E Angelides
- Intuitionism and ill-defined domains, Nik Weaver
- Queries for a constructivist, Bill Taylor
- Call for Participation: 7th Augustus de Morgan Workshop (London, Nov 2005), Martin Davis
- Re: Intuitionists and excluded-middle, John McCarthy
- Re: Intuitionists and excluded-middle, Jesse Alama
- Re: Intuitionists and excluded-middle, Jesse Alama
- Re: Disproving Godel's explanation of incompleteness, Roger Bishop Jones
- Probability and Number Theory, Dmytro Taranovsky
- Re: Intuitionists and excluded middle, Hendrik Boom
October 12, 2005
- Re: Intuitionists and excluded-middle, Hendrik Boom
- EXCLUDED MIDDLE AS LOGICAL LAW, Laureano Luna
- Gödel on intuitionism and LEM, Martin Davis
- Re: Intuitionists and excluded-middle, Ritwik Bhattacharya
- rapid-fire exchange of messages, Martin Davis
- Re: V does not exist, Roger Bishop Jones
- Re: A Defence of Set Theory as Foundations, Roger Bishop Jones
- Re: Intuitionists and excluded-middle, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Intuitionists and excluded-middle, Nik Weaver
- Re: Excluded Middle, Lawrence Stout
- BUFFALO LOGIC COLLOQUIUM 2005-6 FOURTH FALL ANNOUNCEMENT, John Corcoran
- Re: Intuitionists and excluded-middle, Lew Gordeew
- CFP Conference (Anti-)Realisms, Manuel Rebuschi
- Re: proving Q inconsistent, Richard Heck
October 06, 2005
- Re: The defence of well-founded set theory, Aatu Koskensilta
- Re: The defence of well-founded set theory, A.P. Hazen
- Re: The defence of well-founded set theory, Vladimir Sazonov
- Re: The defence of well-founded set theory, Vladimir Sazonov
- Yet another online resource - sequent calculus, Alex Sakharov
- Re: Theorem on Convex sets, joeshipman-YDxpq3io04c
- Re: Theorem on Convex sets, Jeremy Clark
- Re: A Defence of Set Theory as Foundations, Aatu Koskensilta
- Re: A Defence of Set Theory as Foundations, Jeremy Clark
- A Defence of Set Theory as Foundations, Nik Weaver
- Re: The defence of well-founded set theory, Roger Bishop Jones
- Re: A Defence of Set Theory as Foundations, Patrick Caldon
- Re: A Defence of Set Theory as Foundations, Andrej Bauer
|
|