February 2006 Archives by thread
Starting: Wed Feb 1 08:07:20 EDT 2006
Ending: Tue Feb 28 23:11:48 EDT 2006
Messages: 441
- [FOM] LPAR 2006 call for papers
Miki Hermann
- [FOM] WRS06 1st call for paper
wrs06 at redstar.cs.pdx.edu
- [FOM] Least class that ...
giovanni sambin
- [FOM] paper on decision procedures for the reals
Jeremy Avigad
- [FOM] review of Tait's *Provenance of Pure Reason*
Jeremy Avigad
- [FOM] Axiom of Choice in Category Theory
Laurent Delattre
- [FOM] Feferman's natural well-ordering problem.
Bill Taylor
- [FOM] The irrelevance of Friedman's polemics and results
Arnon Avron
- [FOM] A new geometry (in Klein's sense)?
Giovanni Lagnese
- [FOM] Harvey Friedman and PD vs V=L
Martin Davis
- [FOM] Axioms that imply AC
Andrej Bauer
- [FOM] mathematics as phenomena
Harvey Friedman
- [FOM] Extended deadline: ESSLLI Student Session 2006
Sophia Katrenko
- [FOM] The irrelevance or its relevance
José Félix Costa
- [FOM] polemic, predicativism, and absolute certainty
Curtis Franks
- [FOM] Duality Theorems and Set Theory +
A. Mani
- [FOM] Axioms that Imply AC
Robert Smith
- [FOM] Axiom of Choice in Category Theory
Laurent Delattre
- [FOM] FOM - reply to Haney and others
giovanni sambin
- [FOM] Axioms that imply AC
Timothy Y. Chow
- [FOM] 266:Pi01/digraphs/unifying
Harvey Friedman
- [FOM] RE Axioms that imply AC
John Bell
- [FOM] What would Weyl do?
Stephen Pollard
- [FOM] automorphisms of the hyperreals?
Ben Crowell
- [FOM] Absolute truth vs. relative meaning and formal nature of mathematics
Vladimir Sazonov
- [FOM] Feferman's natural well-ordering problem.
Andreas Weiermann
- [FOM] polemic, predicativism, and absolute certainty
Timothy Y. Chow
- [FOM] constructivism and physics
Steve Awodey
- [FOM] predicative foundations
Nik Weaver
- [FOM] Tolerance Principle
Bill Taylor
- [FOM] Haney and Tait on intuitive sources of mathematics
Gabriel Stolzenberg
- [FOM] 267:Pi01/digraphs/progress
Harvey Friedman
- [FOM] constructivism and physics
Jaap van Oosten
- [FOM] Least class that ...
Nik Weaver
- [FOM] CFP: Rationality and Knowledge Workshop
Carlos Areces
- [FOM] The irrelevance or its relevance
Ben Crowell
- [FOM] Feferman's natural well-ordering problem.
praatika at mappi.helsinki.fi
- [FOM] constructivism and physics
Neil Tennant
- [FOM] Babbage 'Difference Engine' in Lego
José Félix Costa
- [FOM] constructivism and physics
Ben Crowell
- [FOM] Difference Engine
José Félix Costa
- [FOM] Tolerance Principle
Randall Holmes
- [FOM] Difference Engine
praatika at mappi.helsinki.fi
- [FOM] constructivism and physics
Laura Elena Morales Guerrero
- [FOM] CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS
Carlos Areces
- [FOM] Conference Announcement
Jeffrey Ketland
- [FOM] independence of RVM/attribution
Harvey Friedman
- [FOM] for harvey
Gabriel Stolzenberg
- [FOM] Choice of new axioms 1 (reply to Friedman)
Harvey Friedman
- [FOM] V = L mathematically
Harvey Friedman
- [FOM] predicative foundations
Nik Weaver
- [FOM] foundational philosophies and core mathematics
Nik Weaver
- [FOM] Choice of new axioms 1 (reply to Friedman)
joeshipman at aol.com
- [FOM] Constructivism and physics
José Félix Costa
- [FOM] Difference Engine
José Félix Costa
- [FOM] CFP: FOCA - Formal Ontologies for Communicating Agents
Carlos Areces
- [FOM] constructivism and physics (reply to Gordeew)
Lew Gordeew
- [FOM] Choice of new axioms 1
praatika at mappi.helsinki.fi
- [FOM] Goedel Young Scholars' Competition - deadline 24 February, 2006
goedel2006 at logic.at
- [FOM] Tolerance Principle
Lew Gordeew
- [FOM] Choice of new axioms 1
tulenhei at mappi.helsinki.fi
- [FOM] Tolerance Principle (re assertions made about Con(NF))
Randall Holmes
- [FOM] Difference Engine
Randall Holmes
- [FOM] Choice of new axioms 1 (reply to Friedman)
Timothy Y. Chow
- [FOM] constructivism and physics
Timothy Y. Chow
- [FOM] intuitionistic here, constructive there.
Gabriel Stolzenberg
- [FOM] BANNING impredicative mathematics
Nik Weaver
- [FOM] Tait on constructive mathematics
Mark van Atten
- [FOM] some references?
praatika at mappi.helsinki.fi
- [FOM] constructivism and physics
Ben Crowell
- [FOM] Existence property
Studtmann, Paul
- [FOM] workshop on "Effective content of ineffective proofs"
Martin Davis
- [FOM] Cut elimination in f.o. number theory
Hilbert Levitz
- [FOM] predicative foundations
Nik Weaver
- [FOM] The lure of the infinite
Martin Davis
- [FOM] predicative foundations
Nik Weaver
- [FOM] Difference Engine
José Félix Costa
- [FOM] The lure of the infinite
praatika at mappi.helsinki.fi
- [FOM] Can someone give me an example of...
Giovanni Lagnese
- [FOM] Choice of new axioms 1
Andrej Bauer
- [FOM] predicative foundations
Stephen Pollard
- [FOM] The lure of the infinite
José Félix Costa
- [FOM] predicative foundations (Harvey Friedman)
mlink at math.bu.edu
- [FOM] Concerning Probability Measures
Harvey Friedman
- [FOM] The lure of the infinite
Isaac Malitz
- [FOM] The lure of the infinite
Gabriel Stolzenberg
- [FOM] nonplatonistic impredicativity
Gabriel Stolzenberg
- [FOM] a series of grammatical confusions
Gabriel Stolzenberg
- [FOM] constructivism and physics
Timothy Y. Chow
- [FOM] The lure of the infinite
joeshipman at aol.com
- [FOM] A new geometry (in Klein's sense)?
Dana Scott
- [FOM] Can someone give me an example of...
lagnese at ngi.it
- [FOM] The lure of the infinite
Bill Taylor
- [FOM] BANNING impredicative mathematics
Nik Weaver
- [FOM] Predicative foundations
José Félix Costa
- [FOM] Choice of new axioms 1
praatika at mappi.helsinki.fi
- [FOM] predicative foundations
Vladimir Sazonov
- [FOM] High Complexity without Infinity
Randall Holmes
- [FOM] The Lure of the Infinite
Matthew E. Moore
- [FOM] Gordeev on NF consistency -- a clarification
Randall Holmes
- [FOM] Intuitions of Mass and Volume
joeshipman at aol.com
- [FOM] predicative foundations
Aatu Koskensilta
- [FOM] A new geometry (in Klein's sense)
Dana Scott
- [FOM] a series of grammatical confusions
slaterbh at cyllene.uwa.edu.au
- [FOM] Godel and realism or platonism
mlink at math.bu.edu
- [FOM] The ghost of Berkeley
Mark Bridger
- [FOM] Perception of mathematical truth
Mark Bridger
- [FOM] The lure of the infinite
Martin Davis
- [FOM] Finite Set Theory
Harvey Friedman
- [FOM] Query concerning measure.
Bill Taylor
- [FOM] a series of grammatical confusions
kremer at uchicago.edu
- [FOM] Cantor and "absolute infinity"
Harvey Friedman
- [FOM] Bishop Berkeley and ZFC
Nik Weaver
- [FOM] a series of grammatical confusions
slaterbh at cyllene.uwa.edu.au
- [FOM] Uncountable structures and `core mathematics'
John Baldwin
- [FOM] Finite Set Theory
Vladimir Sazonov
- [FOM] Cantor's "hidden" views
Martin Davis
- [FOM] Cantor and "absolute infinity"
William Tait
- [FOM] predicative foundations
Stephen Pollard
- [FOM] Berkeley and Weyl/Arnon as critics of foundations
Martin Davis
- [FOM] Why not NF?
Martin Davis
- [FOM] Why not NF?
Martin Davis
- [FOM] "Nonstandard Methods in Mathematics" - NSM2006, Pisa (Italy), May 25-31, 2006
dinasso
- [FOM] Finite Set Theory
praatika at mappi.helsinki.fi
- [FOM] The meaning of `set'
Muller F.A.
- [FOM] Predicative foundations
José Félix Costa
- [FOM] Why not NF?
Ben Crowell
- [FOM] uncountable structures and core mathematics II
John Baldwin
- [FOM] computing over the reals
John Baldwin
- [FOM] FW: CCA 2006, First Call for Papers
Kreinovich, Vladik
- [FOM] Finite Set Theory
Stephen Pollard
- [FOM] Are (C,+) and (R,+) isomorphic?
Miguel A. Lerma
- [FOM] necessary or sufficient?
Gabriel Stolzenberg
- [FOM] infinitary logic and core mathematics
John Baldwin
- [FOM] Query concerning measure.
Bill Taylor
- [FOM] CSR-2006: Call for Participation
Edward A. Hirsch
- [FOM] re the meaning of set
Mark Lance
- [FOM] Are (C,+) and (R,+) isomorphic
Andreas Blass
- [FOM] stopping at ACA_0
Stephen Pollard
- [FOM] Finitism and the Gold Standard
Andrew Boucher
- [FOM] Finite Set Theory
Dean Buckner
- [FOM] DEADLINE EXTENSION: 13th Workshop on Logic, Language, Information and Computation
Martin Davis
- [FOM] interpretation of Chaitin's work
Ben Crowell
- [FOM] Proving FLT in PA
Timothy Y. Chow
- [FOM] Why not NF?
Lew Gordeew
- [FOM] re the meaning of set - here are some down-to-earth examples to consider
Isaac Malitz
- [FOM] Proving FLT in PA
Colin McLarty
- [FOM] Finite Set Theory
Robert Lindauer
- [FOM] Finite Set Theory
slaterbh at cyllene.uwa.edu.au
- [FOM] interpretation of Chaitin's work
praatika at mappi.helsinki.fi
- [FOM] Proving FLT in PA
Jeremy Avigad
- [FOM] 268: Finite to Infinite 1
Harvey Friedman
- [FOM] Finite Set Theory
Dean Buckner
- [FOM] re the meaning of set - here are some down-to-earth examples to consider
Dean Buckner
- [FOM] Space-Time (response to Timothy Chow's
Laura Elena Morales Guerrero
- [FOM] The natural numbers as marks on paper
Martin Davis
- [FOM] Re Abstract vs. Platonic
Ehlert-Abler
- [FOM] The Gold Standard
Harvey Friedman
- [FOM] Question for Nik Weaver
Bill Taylor
- [FOM] computing over the reals
Jeffery Zucker
- [FOM] Uses of Replacement
Harvey Friedman
- [FOM] Beta(N)
Andreas Blass
- [FOM] Logic and Reasoning Workshop CFP
geoff at cs.miami.edu
- [FOM] Finite Set Theory
Dean Buckner
- [FOM] Reply to Eray Ozkural
Ehlert-Abler
- [FOM] The Gold Standard/correction
Timothy Y. Chow
- [FOM] Proving FLT in PA
Colin McLarty
- [FOM] formal multisets
A. Mani
- [FOM] accord with mathematical practice
Nik Weaver
- [FOM] BETA(N)
Nik Weaver
- [FOM] Existence of omega sequence and Platonism and NYC
Martin Davis
- [FOM] Finite sets: two references
A.P. Hazen
- [FOM] colloquium Modern Type Theory (Paris)
Mark van Atten
- [FOM] A definition of an algorithm
Dustin Mulcahey
- [FOM] reading the bible with Bill
Gabriel Stolzenberg
- [FOM] Finite sets: two references
Dean Buckner
- [FOM] 269:Pi01,Pi011/digraphs
Harvey Friedman
- [FOM] Latest additions to the Logic Museum
Dean Buckner
- [FOM] Determinacy and WKL_0
Dmytro Taranovsky
- [FOM] Finite to Infinite: an alternative approach
Arnon Avron
- [FOM] Is exponentiation constructive?
Giovanni Lagnese
- [FOM] automorphisms of hyperreals [FROM ALI ENAYAT]
ali enayat
- [FOM] replies to Friedman's points
Nik Weaver
- [FOM] intuitions of logic in Chicago and Cambridge
Gabriel Stolzenberg
- [FOM] intuitions of logic in Chicago and Cambridge
praatika at mappi.helsinki.fi
- [FOM] What is the consistency strength of EK?
Neil Tennant
- [FOM] Proving FLT in PA
Ben Crowell
- [FOM] Uses of Replacement
ali enayat
- [FOM] Proving FLT in ZF (was in PA)
Colin McLarty
- [FOM] Arnon-Friedman-Weaver discussion
martin at eipye.com
- [FOM] Proving FLT in PA
Timothy Y. Chow
- [FOM] VAught's conj and Lowenheim Skolem in infinitary logic
John Baldwin
- [FOM] Status of AC
Dung Nguyen
- [FOM] intuitions of logic in Helsinki and Cambridge
praatika at mappi.helsinki.fi
- [FOM] Automorphisms of nonstandard reals, revisited
ali enayat
- [FOM] Coding in Z(F)C; "Heavy-duty" axioms
joeshipman at aol.com
Last message date:
Tue Feb 28 23:11:48 EDT 2006
Archived on: Wed Jan 28 17:52:30 EDT 2009
This archive was generated by
Pipermail 0.09 (Mailman edition).