|
|
February 27, 2006
- Arnon-Friedman-Weaver discussion, martin-Q1ZVUissX3MAvxtiuMwx3w
- Re: Proving FLT in ZF (was in PA), Colin McLarty
- Re: Uses of Replacement, ali enayat
- Re: Question about Set Theory as a formal basis for mathematics, Andrej Bauer
- Re: Proli's Question about Set Theory, Andrea Proli
- What is the consistency strength of EK?, Neil Tennant
- Re: intuitions of logic in Chicago and Cambridge, Eray Ozkural
- Re: Question about Set Theory as a formal basis for mathematics, Aatu Koskensilta
- Re: intuitions of logic in Chicago and Cambridge, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Question about Set Theory as a formal basis for mathematics, Harvey Friedman
- Re: Proli's Question about Set Theory, Richard Heck
- intuitions of logic in Chicago and Cambridge, Gabriel Stolzenberg
- replies to Friedman's points, Nik Weaver
- Re: Proving FLT in PA, Harvey Friedman
- Re: Question about Set Theory as a formal basis for mathematics, Andrea Proli
February 26, 2006
- NF anniversary conference, Thomas Forster
- Re: Proli's Question about Set Theory, A.P. Hazen
- Re: automorphisms of hyperreals [FROM ALI ENAYAT], ali enayat
- Is exponentiation constructive?, Giovanni Lagnese
- 270: Finite to Infinite/restatement, Harvey Friedman
- Re: Question about Set Theory as a formal basis for mathematics, Aatu Koskensilta
- Finite to Infinite: an alternative approach, Arnon Avron
- Determinacy and WKL_0, Dmytro Taranovsky
- Re: reading the bible with Bill: hermeneutics with Gabriel Correctiomn, William Tait
- Re: reading the bible with Bill: hermeneutics with Gabriel, William Tait
- Re: Question about Set Theory as a formal basis for mathematics, Harvey Friedman
February 24, 2006
- reading the bible with Bill, Gabriel Stolzenberg
- Finite sets: two references, Dean Buckner
- Re: A "clear understanding" of P(N), Todd Wilson
- A definition of an algorithm, Dustin Mulcahey
- colloquium Modern Type Theory (Paris), Mark van Atten
- Re: formal multisets, Thomas Forster
- P(N) and the reals (was Re: Question for Nik Weaver), Bas Spitters
- Re: The Gold Standard/correction, Robert M. Solovay
- Math Practice/Beta(N), Harvey Friedman
- Re: The Gold Standard/correction, Harvey Friedman
- Finite sets: two references, A.P. Hazen
- Existence of omega sequence and Platonism and NYC, Martin Davis
- accord with mathematical practice (note), Nik Weaver
- Re: Proving FLT in PA, Colin McLarty
- BETA(N), Nik Weaver
- Re: The Gold Standard/correction, Timothy Y. Chow
- Reply to Eray Ozkural, Ehlert-Abler
- accord with mathematical practice, Nik Weaver
- formal multisets, A. Mani
- Re: The Gold Standard/correction, Robert M. Solovay
- Finite Set Theory, Dean Buckner
February 23, 2006
- Logic and Reasoning Workshop CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
- Beta(N), Andreas Blass
- Re: The Gold Standard, Eray Ozkural
- Question for Nik Weaver, Nik Weaver
- Re: predicativism and functional analysis, Bas Spitters
- Re: Question for Nik Weaver, Andrej Bauer
- Re: The natural numbers as marks on paper, Thomas Forster
- The Gold Standard/correction, Harvey Friedman
- Re: Finite Set Theory, Robbie Lindauer
- Fwd: The Gold Standard (correction), Andrew Boucher
- Re: The natural numbers as marks on paper, Harvey Friedman
- Re: The Gold Standard, Andrew Boucher
- BETA(N), Harvey Friedman
- Re: The Gold Standard, Robert M. Solovay
- Uses of Replacement, Harvey Friedman
- Re: computing over the reals, Jeffery Zucker
- Re: predicativism and functional analysis, Harvey Friedman
- Question for Nik Weaver, Bill Taylor
- predicativism and functional analysis, Nik Weaver
- Re: Finite Set Theory, Harvey Friedman
- The Gold Standard, Harvey Friedman
- The natural numbers as marks on paper, Nik Weaver
- predicativism and functional analysis, Nik Weaver
- Re Abstract vs. Platonic, Ehlert-Abler
- uncountable structures and core mathematics III: Lowenheim Skolem, John Baldwin
- Re: Proving FLT in PA, Timothy Y. Chow
- Re: The Gold Standard, Harvey Friedman
- Re: The natural numbers as marks on paper, Eray Ozkural
- Re: Finite Set Theory, John McCarthy
February 22, 2006
- Re: predicativism and functional analysis, griesmer-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
- 268: Finite to Infinite 1, Harvey Friedman
- The natural numbers as marks on paper, Martin Davis
- Space-Time (response to Timothy Chow's, Laura Elena Morales Guerrero
- re the meaning of set - here are some down-to-earth examples to consider, Dean Buckner
- Finite Set Theory, Dean Buckner
- Re: Proving FLT in PA, Jeremy Avigad
- Re: interpretation of Chaitin's work, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Finite Set Theory, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
- Re: interpretation of Chaitin's work, Aatu Koskensilta
- Re: predicativism and functional analysis, Bas Spitters
- predicativism and functional analysis, Nik Weaver
- Re: Finite Set Theory, Robert Lindauer
- The Gold Standard, Nik Weaver
- Re to Friedman on finite and infinite sets, Arnon Avron
- interpretation of Chaitin's work, Ben Crowell
- Re: Proving FLT in PA, Colin McLarty
- Re: Proving FLT in PA, John Baldwin
- Re: Proving FLT in PA, joeshipman-YDxpq3io04c
- Re: Finite Set Theory, Harvey Friedman
- Re: predicativism and functional analysis, Harvey Friedman
- Re: Cantor and "absolute infinity", hendrik-e9JHxFxFq/nmOAo1QFYKGQ
- Re: Proving FLT in PA, Robert M. Solovay
- Re: re the meaning of set - here are some down-to-earth examples to consider, Isaac Malitz
- Re: Proving FLT in PA, Harvey Friedman
- R: necessary or sufficient?, Antonino Drago
- R: necessary or sufficient?, Antonino Drago
- Re: Why not NF?, Lew Gordeew
- Re: Cantor and "absolute infinity", Harvey Friedman
- Proving FLT in PA, Timothy Y. Chow
February 21, 2006
- DEADLINE EXTENSION: 13th Workshop on Logic, Language, Information and Computation, Martin Davis
- Re: re the meaning of set, joeshipman-YDxpq3io04c
- Re: computing over the reals, John McCarthy
- Finite Set Theory, Dean Buckner
- Finitism and the Gold Standard, Andrew Boucher
- stopping at ACA_0, Stephen Pollard
- Re: The Gold Standard, Harvey Friedman
- predicativism and functional analysis, Nik Weaver
- re the meaning of set, Mark Lance
- Are (C,+) and (R,+) isomorphic, Andreas Blass
- Re: predicative foundations, Harvey Friedman
- CSR-2006: Call for Participation, Edward A. Hirsch
- Re: Query concerning measure., Robert M. Solovay
- Re: Are (C,+) and (R,+) isomorphic?, Robert M. Solovay
- Re: Are (C,+) and (R,+) isomorphic?, Harvey Friedman
- Re: computing over the reals, Alasdair Urquhart
- stopping at ACA_0, Nik Weaver
- predicative foundations, Nik Weaver
- The Gold Standard, Nik Weaver
- Re: Query concerning measure., Bill Taylor
- Re: The Gold Standard, Harvey Friedman
- Re: Can someone give me an example of..., Giovanni Lagnese
- Re: uncountable structures and core mathematics II, John Baldwin
- infinitary logic and core mathematics, John Baldwin
- Re: A new geometry (in Klein's sense), Giovanni Lagnese
- FW: CCA 2006, First Call for Papers, Kreinovich, Vladik
- Re: Cantor and "absolute infinity", Arnon Avron
- Re: The Gold Standard, Arnon Avron
- Why not NF?, Ben Crowell
- Re: uncountable structures and core mathematics II, joeshipman-YDxpq3io04c
- necessary or sufficient?, Gabriel Stolzenberg
- Re: computing over the reals, William Tait
- Are (C,+) and (R,+) isomorphic?, Miguel A. Lerma
- Finite Set Theory, Stephen Pollard
- Re: Cantor and "absolute infinity": a clarification, Arnon Avron
- Predicative foundations, José Félix Costa
- The meaning of `set', Muller F.A.
- Re: Finite Set Theory, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Why not NF?, Thomas Forster
- Re: Why not NF?, Thomas Forster
- "Nonstandard Methods in Mathematics" - NSM2006, Pisa (Italy), May 25-31, 2006, dinasso
- Re: Uncountable structures and `core mathematics', Mark Steiner
February 19, 2006
- R: R: R: constructivism and physics, Antonino Drago
- Re: Can someone give me an example of..., Andrej Bauer
- R: Cantor and "absolute infinity", Antonino Drago
- R: stopping at ACA_0, Antonino Drago
- Re: Cantor and "absolute infinity", William Tait
- Re: The Gold Standard, Harvey Friedman
- Re: Can someone give me an example of..., Rob Arthan
- Re: predicative foundations, Stephen Pollard
- Finite Set Theory, Nik Weaver
- Re: The lure of the infinite, Arnon Avron
- Re: Uncountable structures and `core mathematics', Harvey Friedman
- Re: Finite Set Theory, Vladimir Sazonov
- Re: The Gold Standard, Arnon Avron
- Re: Query concerning measure., joeshipman-YDxpq3io04c
- Re: The lure of the infinite, Alasdair Urquhart
- Cantor's "hidden" views, Martin Davis
- a series of grammatical confusions, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
- Re: Can someone give me an example of..., Andrej Bauer
- Bishop Berkeley and ZFC, Nik Weaver
- Re: Query concerning measure., Harvey Friedman
- Re: The lure of the infinite, Mark Steiner
- Uncountable structures and `core mathematics', John Baldwin
- Re: Cantor and "absolute infinity", Harvey Friedman
- Re: The ghost of Berkeley, Eray Ozkural
- Re: a series of grammatical confusions, kremer-t4+EzPmVLfD2fBVCVOL8/A
- Query concerning measure., Bill Taylor
- Re: Concerning Probability Measures, Robert M. Solovay
- Finite Set Theory, Harvey Friedman
- Cantor and "absolute infinity", Arnon Avron
- Re: Can someone give me an example of..., Andrej Bauer
- Re: Concerning Probability Measures, Robert M. Solovay
February 18, 2006
- Re: The lure of the infinite, Martin Davis
- a series of grammatical confusions, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
- Re: The lure of the infinite, Arnon Avron
- Godel and realism or platonism, mlink-5ZbZpmDeezqVc3sceRu5cw
- Perception of mathematical truth, Mark Bridger
- The ghost of Berkeley, Mark Bridger
- The Gold Standard, Harvey Friedman
- Re: Intuitions of Mass and Volume, Harvey Friedman
- Re: A new geometry (in Klein's sense), Dana Scott
- Gordeev on NF consistency -- a clarification, Randall Holmes
- Re: predicative foundations, Aatu Koskensilta
- Re: predicative foundations, Vladimir Sazonov
- Intuitions of Mass and Volume, joeshipman-YDxpq3io04c
February 17, 2006
- a series of grammatical confusions, Gabriel Stolzenberg
- Re: predicative foundations, Vladimir Sazonov
- Re: predicative foundations, Eray Ozkural
- two questions about Godel, Nik Weaver
- The Lure of the Infinite, Matthew E. Moore
- High Complexity without Infinity, Randall Holmes
- Re: A new geometry (in Kleinīs sense)?, lagnese-8cRKiK8W3qA@xxxxxxxxxxxxxxxx
- Re: Choice of new axioms 1, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Predicative foundations, José Félix Costa
- Re: Constructivism and physics, Alasdair Urquhart
- Re: predicative foundations, Aatu Koskensilta
- Re: The lure of the infinite, Eray Ozkural
- Re: Can someone give me an example of..., Adam Kolany
- predicative foundations, Nik Weaver
- predicative foundations, Nik Weaver
- stopping at ACA_0, Nik Weaver
- BANNING impredicative mathematics, Nik Weaver
- Re: The lure of the infinite, William Tait
- Re: Concerning Probability Measures, Harvey Friedman
- Re: The lure of the infinite, Bill Taylor
- Re: Can someone give me an example of..., lagnese-8cRKiK8W3qA@xxxxxxxxxxxxxxxx
- A new geometry (in Klein's sense)?, Dana Scott
- The lure of the infinite, joeshipman-YDxpq3io04c
- Re: constructivism and physics, Timothy Y. Chow
February 16, 2006
- Re: Can someone give me an example of..., Andrej Bauer
- Re: Concerning Probability Measures, Robert M. Solovay
- Re: The lure of the infinite, Isaac Malitz
- Re: The lure of the infinite, Harvey Friedman
- Re: Can someone give me an example of..., Giovanni Lagnese
- nonplatonistic impredicativity, Gabriel Stolzenberg
- Re: The lure of the infinite, Gabriel Stolzenberg
- Re: predicative foundations, Eray Ozkural
- Re: Constructivism and physics, A.J. Franco de Oliveira
- Concerning Probability Measures, Harvey Friedman
- Re: Can someone give me an example of..., Andrej Bauer
- Re: predicative foundations (Harvey Friedman), mlink-5ZbZpmDeezqVc3sceRu5cw
- The lure of the infinite, Nik Weaver
- Re: predicative foundations, Stephen Pollard
- The lure of the infinite, José Félix Costa
- Re: Choice of new axioms 1, Andrej Bauer
- Can someone give me an example of..., Giovanni Lagnese
- Re: predicative foundations, Aatu Koskensilta
- Re: Tait on constructive mathematics, Mark van Atten
- Re: Choice of new axioms 1, Harvey Friedman
- Re: predicative foundations, Harvey Friedman
- Re: BANNING impredicative mathematics, Harvey Friedman
- Re: The lure of the infinite, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Difference Engine, José Félix Costa
- predicative foundations, Nik Weaver
- Re: Tait on constructive mathematics, William Tait
- Re: predicative foundations, Kenny Easwaran
- Re: Cut elimination in f.o. number theory, William Tait
- predicative foundations, Nik Weaver
- Re: Tolerance Principle (re assertions made about Con(NF)), Lew Gordeew
February 15, 2006
- constructivism and physics, Ben Crowell
- Re: Choice of new axioms 1, Andrej Bauer
- The lure of the infinite, Martin Davis
- predicative foundations, Nik Weaver
- Cut elimination in f.o. number theory, Hilbert Levitz
- workshop on "Effective content of ineffective proofs", Martin Davis
- Tolerance Principle (re assertions made about Con(NF)), Randall Holmes
- Existence property, Studtmann, Paul
- Re: some references?, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Tait on constructive mathematics, Mark van Atten
- BANNING impredicative mathematics, Nik Weaver
- intuitionistic here, constructive there., Gabriel Stolzenberg
- Re: some references?, joeshipman-YDxpq3io04c
- Re: predicative foundations, Robert M. Solovay
- Re: predicative foundations, Robert M. Solovay
- Re: Choice of new axioms 1, joeshipman-YDxpq3io04c
- Re: constructivism and physics, Timothy Y. Chow
- Re: Choice of new axioms 1 (reply to Friedman), Timothy Y. Chow
- Re: some references?, John Steel
- Difference Engine, Randall Holmes
- Re: Choice of new axioms 1, tulenhei-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: constructivism and physics (reply to Gordeew), Dmytro Taranovsky
- Re: Choice of new axioms 1, Dmytro Taranovsky
February 14, 2006
- Re: Tolerance Principle, Lew Gordeew
- some references?, Saeed Salehi
- Re: Choice of new axioms 1, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Goedel Young Scholars' Competition - deadline 24 February, 2006, goedel2006-DX+603jRYB8
- Re: Choice of new axioms 1, Harvey Friedman
- Re: Choice of new axioms 1 (reply to Friedman), joeshipman-YDxpq3io04c
- Re: predicative foundations, Harvey Friedman
- Re: Difference Engine, A.P. Hazen
- Re: Choice of new axioms 1, Jacques Carette
- Re: Choice of new axioms 1, John Steel
- Re: constructivism and physics (reply to Gordeew), Lew Gordeew
- Re: Choice of new axioms 1 (reply to Friedman), Eray Ozkural
- Re: foundational philosophies and core mathematics, Harvey Friedman
- Re: Choice of new axioms 1, Eray Ozkural
- CFP: FOCA - Formal Ontologies for Communicating Agents, Carlos Areces
- predicative foundations, Nik Weaver
February 13, 2006
- Difference Engine, José Félix Costa
- Constructivism and physics, José Félix Costa
- V = L mathematically/corrected, Harvey Friedman
- foundational philosophies and core mathematics, Nik Weaver
- Re: Choice of new axioms 1 (reply to Friedman), Harvey Friedman
- Re: Choice of new axioms 1, Andrej Bauer
- Choice of new axioms 1 (reply to Friedman), joeshipman-YDxpq3io04c
- V = L mathematically, Harvey Friedman
- Re: constructivism and physics, Eray Ozkural
- constructivism and physics (reply to Gordeew), joeshipman-YDxpq3io04c
- Re: independence of RVM/attribution, joeshipman-YDxpq3io04c
- Re: Choice of new axioms 1, John Baldwin
- Re: constructivism and physics, Lew Gordeew
- Re: Choice of new axioms 1, Harvey Friedman
- Choice of new axioms 1, Antonino Drago
- independence of RVM/attribution, Harvey Friedman
- for harvey, Gabriel Stolzenberg
- Re: constructivism and physics, dvanhorn-PQ3DxE3bu5P2fBVCVOL8/A
- Lengths of proofs 1, Harvey Friedman
- Re: Choice of new axioms 1, Harvey Friedman
- Re: Formal nature of mathematics, Vladimir Sazonov
- Constructivism and physics; Absolute truth vs. relative meaning, joeshipman-YDxpq3io04c
February 12, 2006
- Re: Haney and Tait on intuitive sources of mathematics, William Tait
- Re: constructivism and physics, Neil Tennant
- Re: Choice of new axioms 1, Dmytro Taranovsky
- Constructivism and physics; Absolute truth vs. relative meaning, joeshipman-YDxpq3io04c
- Re: Formal nature of mathematics, Dmytro Taranovsky
- Re: constructivism and physics, Neil Tennant
- Conference Announcement, Jeffrey Ketland
- Re: constructivism and physics, Bas Spitters
- CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS, Carlos Areces
- Re: constructivism and physics, Laura Elena Morales Guerrero
- Constructivism and physics, Alasdair Urquhart
- Re: R: R: constructivism and physics, Alasdair Urquhart
- Re: Choice of new axioms 1, joeshipman-YDxpq3io04c
- Re: Difference Engine, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
February 10, 2006
- Choice of new axioms 1, Harvey Friedman
- Re: Absolute truth vs. relative meaning and formal nature of mathematics, Vladimir Sazonov
- Re: constructivism and physics, Harvey Friedman
- R: R: constructivism and physics, Antonino Drago
- constructivism and physics, Ben Crowell
- Tolerance Principle, Randall Holmes
- Tait on constructive mathematics, Gabriel Stolzenberg
- Re: The irrelevance or its relevance, Lasse Rempe
- Re: Tolerance Principle, Thomas Forster
- Difference Engine, José Félix Costa
- Babbage 'Difference Engine' in Lego, José Félix Costa
February 08, 2006
- Re: Tolerance Principle, Joseph Vidal-Rosset
- CFP: Rationality and Knowledge Workshop, Carlos Areces
- The irrelevance or its relevance, Ben Crowell
- Re: What would Weyl do?, Harvey Friedman
- Re: constructivism and physics, Charles Silver
- Least class that ..., Nik Weaver
- Incorrect attribution, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
- Re: Tolerance Principle, Thomas Forster
- Re: Feferman's natural well-ordering problem., praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: constructivism and physics, Jaap van Oosten
- Re: constructivism and physics, Bas Spitters
- Re: Tolerance Principle, Roger Bishop Jones
- 267:Pi01/digraphs/progress, Harvey Friedman
- Re: Tolerance Principle, Harvey Friedman
- Haney and Tait on intuitive sources of mathematics, Gabriel Stolzenberg
- Re: Absolute truth vs. relative meaning and formal nature of mathematics, Harvey Friedman
- Re: Tolerance Principle, Bill Taylor
- Re: constructivism and physics, Jacques Carette
- Re: predicative foundations, Harvey Friedman
February 07, 2006
- Re: Tolerance Principle, Harvey Friedman
- Re: constructivism and physics, John McCarthy
- predicative foundations, Nik Weaver
- Re: Predicativity and Certainty, Eray Ozkural
- Re: Tolerance Principle, Roger Bishop Jones
- constructivism and physics, Steve Awodey
- Predicativity and Certainty, Arnon Avron
- Re: polemic, predicativism, and absolute certainty, Timothy Y. Chow
- Re: Absolute truth vs. relative meaning and formal nature of mathematics, A. Mani
- Re: Feferman's natural well-ordering problem., Andreas Weiermann
- Re: The irrelevance of Friedman's polemics and results, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
February 04, 2006
- 266:Pi01/digraphs/unifying, Harvey Friedman
- Re: Axioms that imply AC, Andrej Bauer
- Re: Feferman's natural well-ordering problem., William Tait
- Re: Axioms that imply AC, Timothy Y. Chow
- Re: The irrelevance of Friedman's polemics and results, Joseph Vidal-Rosset
- Re: Feferman's natural well-ordering problem., mario
- Re: FOM - reply to Haney and others, giovanni sambin
- Re: Axioms that imply AC, Adam Kolany
- Re: Axiom of Choice in Category Theory, Laurent Delattre
- Re: Axioms that Imply AC, Robert Smith
- polemic, predicativism, and absolute certainty, Curtis Franks
- Re: Axioms that imply AC, John Baldwin
February 03, 2006
- Duality Theorems and Set Theory +, A. Mani
- Re: The irrelevance or its relevance, Eray Ozkural
- The irrelevance or its relevance, José Félix Costa
- Re: Axioms that imply AC, William Tait
- Re: Axioms that imply AC, Thomas Forster
- mathematics as phenomena, Harvey Friedman
- Re: The irrelevance of Friedman's polemics and results, John McCarthy
- Axioms that imply AC, Andrej Bauer
- Re: The irrelevance of Friedman's polemics and results, Eray Ozkural
- Re: The irrelevance of Friedman's polemics and results, John Steel
- polemics restricting methods, Harvey Friedman
- hierarchy of methods, Harvey Friedman
|
|