January 1998 Archives by thread
Starting: Thu Jan 1 06:44:26 EDT 1998
Ending: Sat Jan 31 16:04:27 EDT 1998
Messages: 401
- FOM: Platonism v. social constructivism, Number 3 (fwd)
Charles Silver
- FOM: please be patient
Stephen G Simpson
- FOM: New rules for postings
Jon Barwise
- FOM: History of NP completeness
Stephen Cook
- FOM: Reply to Hersch and Tragesser on aliens and abstract objects
Neil Tennant
- FOM: Morris Kline
Martin Davis
- FOM: Reply to Hersch and Tragesser on aliens and abstract objects
Robert S Tragesser
- FOM: Hersh/Rota/Feferman/Lakatos
Robert S Tragesser
- FOM: the paradoxes
Martin Davis
- FOM: H. Fast and Loose?
Robert S Tragesser
- FOM: Arguments in FOM
Martin Krieger
- FOM: Hersh & consensus
Martin Davis
- FOM: Improved: Hersh Fast & Loose?&Feferman's questions
Robert S Tragesser
- FOM: Re: Kline/Davis/Friedman
Dana_Scott at POP.CS.CMU.EDU
- FOM: Paradoxes, including Banach-Tarski ...
John Case
- FOM: Re: Kline/Davis/Friedman (correction)
Martin Davis
- FOM: introduction
Martin Davis
- FOM: P=NP
Vaughan Pratt
- FOM: An explanation of the method of thought experiments
Neil Tennant
- FOM: Mathematics as objective subjectivity: ten theses.
Solomon Feferman
- FOM: Tennant/Hersh exchange
steel at math.berkeley.edu
- FOM: P=NP ?
Martin Davis
- FOM: "Mathematical" versus "Mathematics"
Karlis Podnieks
- FOM: What is the motivation behind the Kreiselian school?
Soren Moller Riis
- FOM: FOM administrative guidelines
Stephen G Simpson
- FOM: Hersh's dubious doubts/Davis' examples
Robert S Tragesser
- FOM: downloadable paper for comment
Neil Tennant
- FOM: Feferman's 10 theses
Jon Barwise
- FOM: Hersh on consensus and reproducibility
Martin Davis
- FOM: GII/clarification
Harvey Friedman
- FOM: Mathematics as governing intuition by formal methods
Vladimir Sazonov
- FOM: Sol's 10 theses
michael Detlefsen
- FOM: Who says paradoxes don't matter
Jon Barwise
- FOM: Hersh, subjectivism, objectivity
Stephen G Simpson
- FOM: Correction to the statement of Thesis 1.
Solomon Feferman
- FOM: Objectivity&Hersh/Krieger/Rota/Simpson
Robert S Tragesser
- FOM: Two "New" Paradoxes.
Robert S Tragesser
- FOM: Seymour-Robertson
Thomas Forster
- FOM: identification
Thomas Forster
- FOM: Two "New" Paradoxes.
Kanovei
- FOM: Comments on Simpson on Hersh
Moshe' Machover
- FOM: Re:GII/clarification
Harvey Friedman
- FOM: Feferman's first thesis
steel at math.berkeley.edu
- FOM: Feferman's first thesis
Kanovei
- FOM: Mathematics in the imagination.
Solomon Feferman
- FOM: objectivity, postmodernism, multiculturalism, feminist etc.
eva hersh
- FOM: theologians
eva hersh
- FOM: objectivity, postmodernism, multiculturalism, feminist etc.
Robert Tragesser
- FOM: g.i.i.; f.o.m.; genetic defects; ignorance; the boxing match
Stephen G Simpson
- FOM: Hersh on reproducibility in mathematics & religion
Martin Davis
- FOM: General interest of mainstream mathematics?
Josef Mattes
- FOM: g.i.i.
Colin McLarty
- FOM: Feferman's ten theses
Arnon Avron
- FOM: SF's thesis 2
michael Detlefsen
- FOM: Harvey and the CH story for non-mathematicians
Martin Davis
- FOM: Re Riis' question
Solomon Feferman
- FOM: What is f.o.m.?
Solomon Feferman
- FOM: Working Foundations (fwd)
Solomon Feferman
- FOM: Real analysis in a topos
Colin Mclarty
- FOM: Harvey's corrections to me
Colin Mclarty
- FOM: FOM based on functions
Henk Barendregt
- FOM: "function" as a basic mathematical concept
Stephen G Simpson
- FOM: Clarification re my response to Riis' question
Solomon Feferman
- FOM: What is f.o.m.?
Robert Tragesser
- FOM: definition of f.o.m.; brief reply to Simpson
Martin Davis
- FOM: "function" as a basic mathematical concept
Colin Mclarty
- FOM: Remark on characterization of FOM
Moshe' Machover
- FOM: toposes vs. categories of sheaves
Stephen G Simpson
- FOM: "function" as a basic mathematical concept
Colin McLarty
- FOM: Function based Ackerman's set theory?
Robert Tragesser
- FOM: Remark on characterization of FOM
Robert Tragesser
- FOM: Definition of Platonism
Michael Hardy
- FOM: Rabble-rousing?
Solomon Feferman
- FOM: toposes vs. categories of sheaves
Colin McLarty
- FOM: Definition of Platonism
Ed Mares
- FOM: What is FOMT?
Harvey Friedman
- FOM: "function" as a basic mathematical concept
Colin McLarty
- FOM: Definition of Platonism
Robert Tragesser
- FOM: Re: Definition of Platonism
Karlis Podnieks
- FOM: Remark on characterization of FOM
Kanovei
- FOM: First-order logic -- a query
JSHIPMAN at bloomberg.net
- FOM: What is mathematics, really?, (fwd)
Reuben Hersh
- FOM: Re: First-order logic -- a query
Michael Thayer
- No subject
Reuben Hersh
- FOM: topos theory vs. sheaves
Stephen G Simpson
- FOM: Re: First-order logic -- a query
Kanovei
- FOM: topos theory qua f.o.m.; topos theory qua pure math
Stephen G Simpson
- FOM: definition of Platonism
Randall Holmes
- FOM: Friedman on Realism/Philosophy
steel at math.berkeley.edu
- FOM: topos theory qua f.o.m.; topos theory qua pure math]
Colin Mclarty
- FOM: computational fom
Henk Barendregt
- No subject
Reuben Hersh
- No subject
Reuben Hersh
- FOM: was Weyl on Riemann surfaces fom?
Martin Davis
- FOM: Re:
Martin Davis
- FOM: Two axioms of set theory
Kazimir Majorinc
- FOM: Hersh on reproducibility in mathematics & religion
Martin Davis
- FOM: Hersh:Today's answers are. . .
Robert Tragesser
- FOM: Remark on characterization of FOM
Moshe' Machover
- FOM: topos theory
Kanovei
- FOM: Recanting "Hersh: Today's answer. . ."
Robert Tragesser
- FOM: topos theory
Michael Thayer
- FOM: Tom Lehrer
Stephen Cook
- FOM: fom: topos theory
Steve Awodey
- FOM: topos theory qua f.o.m.; topos theory qua pure math
Colin McLarty
- FOM: topos theory
Kanovei
- FOM: the cumulative hierarchy versus topos theory
Peter Aczel (Guest Valentini)
- FOM: Riemann surfaces; arithmetization of analysis; "list 2"
Stephen G Simpson
- FOM: topos theory qua f.o.m.; a quote from Mac Lane
Colin McLarty
- FOM: the cumulative hierarchy versus topos theory
Colin McLarty
- FOM: "function" as a basic mathematical concept
wtait at ix.netcom.com
- FOM: Explaining Simpson and McLarty to each other
JSHIPMAN at bloomberg.net
- FOM: Objectivity and Truth in Maths
Edwin Mares
- FOM: Toposy-turvey
Solomon Feferman
- FOM: hostility?
Josef Mattes
- FOM: "list 2"
Dave Marker
- FOM: topos theory
Kanovei
- FOM: Steel realism
michael Detlefsen
- FOM: hume
Reuben Hersh
- FOM: truels, reproduction, consistency
Fred Johnson
- FOM: topos theory qua f.o.m.
Colin Mclarty
- FOM: Re: Explaining Simpson and McLarty to each other
Colin Mclarty
- FOM: hume's certainty vs objective certainty
Robert Tragesser
- FOM: Categorical Foundations
Harvey Friedman
- FOM: Toposy-turvey
Colin Mclarty
- FOM: aboutness
Reuben Hersh
- FOM: fom: analysis in toposes
Steve Awodey
- [cxm7@po.CWRU.Edu: Re: FOM: topos theory qua f.o.m.]
Colin Mclarty
- FOM: FundamentalConcepts/Analysis
Harvey Friedman
- FOM: Johnson's Irreproducible Result
JoeShipman
- FOM: Objectivity and Truth in Maths
Ed Mares
- FOM: objectivity, reality, truth
Charles Silver
- FOM: Re: talk radio style
Colin Mclarty
- FOM: Categorical Foundations
Colin Mclarty
- FOM: ph.o.m. must impact on f.o.m.
Robert Tragesser
- FOM: Toposy-turvey
Colin Mclarty
- FOM: Definition of f.o.m.
John Mayberry
- FOM: Unity or disunity of science, human knowledge?
Solomon Feferman
- No subject
penelope maddy
- FOM: FundamentalConcepts/Analysis
Martin Davis
- FOM: Category Thry & Topos Thory:An Interpretation
Robert Tragesser
- FOM: Toposy-turvey
Kanovei
- FOM: clarity
Randall Holmes
- FOM: ZFC
Vedasystem
- FOM: Categorical Foundations
Martin Schlottmann
- FOM: Functions before sets
Moshe' Machover
- FOM: FundamentalConcepts/Analysis (reply to Harvey's reply)
Martin Davis
- FOM: no foundations, but real analysis
Carsten Butz
- FOM: Emily Noether quote
Robert Tragesser
- FOM: Aristotle and the unity of science
Stephen G Simpson
- [simpson@math.psu.edu: Re: FOM: the exaggerated claims of topos theory qua f.o.m.]
Colin Mclarty
- FOM: Re: Reply to Franzen
Torkel Franzen
- FOM: Aristotle and the unity of science
Robert Tragesser
- FOM: Hersh's characterization of mathematics
JSHIPMAN at bloomberg.net
- FOM: Toposy-turvey
Colin Mclarty
- FOM: Questions for Hersh
JSHIPMAN at bloomberg.net
- FOM: More on Arist. and Problem of Unity
Robert Tragesser
- FOM: Correction on Questions for Hersh
jshipman at bloomberg.net
- FOM: Re: Categorical Foundations
Colin Mclarty
- FOM: FundamentalConcepts/Analysis (Do Harvey & I really disagree?)
Martin Davis
- FOM: shipman views
Reuben Hersh
- FOM: What Label to apply to this philosophy?
Dan Halpern
- FOM: Responses to Hersh's answers to my questions
JSHIPMAN at bloomberg.net
- FOM: Aristotle; critique of Platonism in mathematics
Stephen G Simpson
- FOM: topos-theoretic "foundations"; logical positivism; Dupre
Stephen G Simpson
- FOM: replacing the separation scheme
Colin Mclarty
- FOM: Aristotle; critique of Platonism in mathematics
wtait at ix.netcom.com
- FOM: Re: Questions for Hersh
Karlis Podnieks
- FOM: Recommendation re exchanges
Solomon Feferman
- FOM: ZF-based category theory
Carsten Butz
- FOM: Aristotle; critique of Platonism in mathematics
Robert Tragesser
- No subject
Moshe' Machover
- FOM: Picturing categorical set theory, reply to Silver
Colin McLarty
- FOM: ZF-based category theory
Kanovei
- FOM: foundations using functions
Randall Holmes
- FOM: Re: Picturing categorical set theory, reply to Silver
Colin McLarty
- FOM: ZF-based category theory
Colin McLarty
- FOM: Iterative conception of set: comment on Silver
Moshe' Machover
- FOM: Iterative conception of set: comment on Silver
wtait at ix.netcom.com
- FOM: Hersh's characterization of mathematics
Reuben Hersh
- FOM: Chess quibble
Harvey Friedman
- FOM: Further comment on the iterative conception
Moshe' Machover
- FOM: Why Hersh can't distinguish between math and chess
Shipman, Joe x2845
- FOM: Picturing categorical set theory, reply to Silver (fwd)
Charles Silver
- FOM: Why Hersh can't
Kanovei
- FOM: various
Randall Holmes
- FOM: Re: Picturing categorical set theory
Colin McLarty
- FOM: Chess quibble
Julio Gonzalez Cabillon
- FOM: Mathematical knowledge vs. Chess knowledge
Soren Moller Riis
- FOM: Vaughan Pratt's continua
Colin McLarty
- FOM: Reply to Hersh: why isn't it a theorem?
Shipman, Joe x2845
- FOM: Set Theory Axioms
Harvey Friedman
- FOM: set vs category as foundation
Martin Davis
- FOM: Comment on Hersh/Shipman exchange
Moshe' Machover
- FOM: Questions for Hersh
Reuben Hersh
- FOM: Mathematical statements about chess
Moshe' Machover
- FOM: Problem of FOM citation?
Robert Tragesser
- FOM: Suggestions to improve Hersh's definition
JOE SHIPMAN, BLOOMBERG/ NEW YORK
- FOM: Aristotle's critique of Platonism in mathematics
wtait at ix.netcom.com
- FOM: Re: set vs category as foundation
Colin McLarty
- FOM: Internal and External Characterizations of Mathematics
Shipman, Joe x2845
- FOM: Re: Categorical "foundations"?
Colin McLarty
- FOM: Dawson on Aristotle
Fred Johnson
- FOM: Tait's query re use of "Platonism" in f.o.m.
Martin Davis
- FOM: Re:categorical foundations -- an oxymoron
Colin McLarty
- FOM: Re: Categorical foundations
Colin McLarty
- FOM: Mathematical certitude; response to Shipman
Moshe' Machover
- FOM: an "obvious" observation
Randall Holmes
- FOM: categorical "foundations"?
Harvey Friedman
- FOM: bad set membership
Harvey Friedman
- FOM: HF's phom-questionable criticism of Cat/Topos
Robert Tragesser
- FOM: The axioms of ZF
Arnon Avron
- FOM: Mathematical certitude; response to Shipman
Robert Tragesser
- FOM: Re: SET vs. TOP
Diskin
- FOM: Re: SETvs.TOP as toolkits.
Robert Tragesser
- FOM: Cat.Thy as logic of wholes and parts.
Robert Tragesser
- FOM: use of 'platonism' in f.o.m.
Robert Black
- FOM: citation
michael Detlefsen
- FOM: Categorical vs set-theoretical foundations
John Mayberry
- FOM: No foundations?
Harvey Friedman
- FOM: Hersh's characterization of mathematics (fwd)
Reuben Hersh
- [cxm7@po.CWRU.Edu: Re: FOM: bad set membership]
Colin Mclarty
- FOM: Internal/External Characterizations. Response to Silver
Moshe' Machover
- FOM: citation
Robert Tragesser
- FOM: suggestion to limit postings; guidelines for postings
Stephen G Simpson
- FOM: Re: Categorical foundations
Colin Mclarty
- FOM: topics to be discussed in this forum
Stephen G Simpson
- FOM: categorical non-foundations; three challenges for McLarty
Stephen G Simpson
- FOM: On the irrelevance of being well-powered
Vaughan Pratt
- FOM: f.o.m. and the concept of set
wtait at ix.netcom.com
- FOM: Shipman, chess
Reuben Hersh
- FOM: categorical non-foundations; three challenges for McLarty
Kanovei
- FOM: Mayberry on justification of logic
Neil Tennant
- FOM: Founations of naive category theory?
Solomon Feferman
- FOM: What can X do for f.o.m.?
Solomon Feferman
- FOM: "The unreasonable effectiveness of mathematics"
Solomon Feferman
- FOM: "The unreasonable effectiveness of mathematics"
Martin Davis
- FOM: Re: three challenges for McLarty
Steve Awodey
- FOM: "The unreasonable effectiveness of mathematics"
Robert Tragesser
- FOM: Categorical vs set theoretical foundations
John Mayberry
- FOM: Re: three challenges for McLarty
Colin McLarty
- FOM: categorical dys-foundations; evading challenges; intuitionism
Stephen G Simpson
- FOM: Re: three challenges for McLarty
Kanovei
- FOM: some comments and questions, and the nature of the set concept
Randall Holmes
- FOM: "The unreasonable effectiveness of mathematics"
Solomon Feferman
- FOM: Topos book
Colin McLarty
- FOM: Defense of Mayberry's charge of unprofessional polemics
Robert Tragesser
- FOM: Categorical vs set theoretical foundations
Moshe' Machover
- FOM: "The unreasonable effectiveness of mathematics"
Martin Davis
- FOM: Wigner; MacLane; Aristotle; incommensurables; topos challenges
Stephen G Simpson
- FOM: "The unreasonable effectiveness of mathematics"
Karlis Podnieks
- FOM: Set theory vs category theory
Soren Moller Riis
- FOM: why numbers are objective (contra Feferman)
Neil Tennant
- FOM: The unreasonable effectiveness of mathematics
Julio Gonzalez Cabillon
- FOM: Wigner quote
steel at math.berkeley.edu
- FOM: Comment on Julio Gonzalez Cabillon
Moshe' Machover
- FOM: Where do mathematical objects exist?
Martin Davis
- FOM: Set theory vs category theory
Steve Awodey
- FOM: Representations of categories: some references
Jean-Pierre Marquis
- FOM: alternative foundations
Randall Holmes
- FOM: PhoM vs FoM
JOE SHIPMAN, BLOOMBERG/ NEW YORK
- FOM: alternative foundations
Colin McLarty
- FOM: Schwartz,&SolFef's "lot from a little" maxim
Robert Tragesser
- FOM: Where do mathematical objects exist?--Particles and waves
Martin Davis
- FOM: The issue of realism in mathematics
wtait at ix.netcom.com
- FOM: IHOL vs topos theory
Carsten Butz
- FOM: 'platonism' again; also Tait
Charles Parsons
- FOM: review of book (fwd)
Reuben Hersh
- FOM: "Unreasonable effectiveness..."; CAT vs. SET
Solomon Feferman
- FOM: use of 'platonism' in f.o.m.
wtait at ix.netcom.com
- FOM: "Unreasonable effectiveness..."; CAT vs. SET
wtait at ix.netcom.com
- FOM: cats/sets
Jaap van Oosten
- FOM: Set vs topos debate
penelope maddy
- FOM: topos debate; IHOL; Brouwer; model theory; Pratt; Newton
Stephen G Simpson
- FOM: Challenge axioms
Colin McLarty
- FOM: Friedman on Realism/Philosophy (reply)
steel at math.berkeley.edu
- FOM: Friedman on Realism/Philosophy (reply)
wtait at ix.netcom.com
- FOM: Challenge axioms
Neil Tennant
- FOM: realism and bivalence
Neil Tennant
- FOM: Set vs topos debate
Corfield, David [CES]
- FOM: topos = IHOL
Steve Awodey
- FOM: CAT, SET and TOP
Robert Black
- FOM: IHOL vs topos; Boolean algebra vs Boolean ring; topos challenges
Stephen G Simpson
Last message date:
Sat Jan 31 16:04:27 EDT 1998
Archived on: Fri Mar 11 12:47:38 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).