science.mathematics.fom (date)

science.mathematics.fom (date)

September 28, 2005

Cathegogical logic, Stanislav Barov
Moderator will be away, Martin Davis

September 27, 2005

Re: biographies of logicians (from "A.J. Franco de Oliveira" <francoli-loeT6+ZXmDA@xxxxxxxxxxxxxxxx>), H. Enderton
Re: Type-Occurrence-Token, Ron Rood
biographies of logicians (from "A.J. Franco de Oliveira" <francoli-loeT6+ZXmDA@xxxxxxxxxxxxxxxx>), Martin Davis
The defence of well-founded set theory, Roger Bishop Jones

September 25, 2005

Misattributed quotation (re: occurrences), A.P. Hazen
Re: Type-Occurrence-Token, Charles Silver

September 24, 2005

Re: Type-Occurrence-Token, Charles Parsons
Re: Type-Occurrence-Token (from Michael Kremer), Martin Davis
Re: Type-Occurrence-Token, Ron Rood
predicativity, Nik Weaver

September 23, 2005

Re: predicativity, Roger Bishop Jones
Type-Occurrence-Token, A.P. Hazen
Re: Type-Occurrence-Token, Charles Silver
Re: Type-Occurrence-Token (Slightly edited version of a message I sent Prof. Corcoran), Mark Steiner

September 22, 2005

Re: predicativity, giovanni sambin
Type-Occurrence-Token, John Corcoran
Re: predicativity, Nik Weaver

September 21, 2005

historical question about the axiomatisation of identity, Hartley Slater
Frege and the Truth-Values [Was: historical question about the axiomatisation of identity], Richard Heck
Re: The empirical foundations of deductive logic and ..., Richard Haney
Re: The empirical foundations of deductive logic and ... (& applications to stochastic processes), Richard Haney
computing over the reals, Stephen Cook

September 20, 2005

Re: historical question about the axiomatisation of identity, Richard Heck
Re: historical question about the axiomatisation of identity, Ron Rood
Re: predicativity, Jeremy Avigad
Re: Mathematical conceptualism, Roger Bishop Jones
Re: Alonzo Church on The Ontological Status of Women and Abstract Entities, Michael Zeleny
historical question about the axiomatisation of identity, Muller F.A.
Re: Mathematical conceptualism, Nik Weaver

September 19, 2005

PSI 2006: First CFP, PSI06 Conference

September 18, 2005

Re: On Ordinal Notations Plus Re:A New Ordinal Notation, Lew Gordeew
On Ordinal Notations Plus Re:A New Ordinal Notation, Dmytro Taranovsky
Alonzo Church on The Ontological Status of Women and Abstract Entities, John Corcoran
7th Augustus de Morgan Workshop, London (Nov 2005), Benedikt Loewe

September 14, 2005

Re: The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes) [repost, with revision and expansion, due to technical problems with original posting], Vladimir Sazonov

September 13, 2005

Mathematical conceptualism, Nik Weaver

September 12, 2005

September 09, 2005

FOM: BUFFALO LOGIC COLLOQUIUM 2005-6 FIRST FALL ANNOUNCEMENT, John Corcoran
Re: Quotation of Brouwer on Cantor, Hans van Ditmarsch
Quotation of Brouwer/Poincare on Cantor, Jeff Hirst
Re: Quotation of Brouwer on Cantor, Torkel Franzen
Quotation of Poincare on Cantor, Alasdair Urquhart

September 08, 2005

Re: Quotation of Brouwer on Cantor, Martin Davis
Re: Quotation of Brouwer on Cantor, A.R.D.Mathias

September 07, 2005

LaTeX for Logicians, Peter Smith
Quotation of Brouwer on Cantor, Patrick Caldon

September 05, 2005

APA/ASL Winter Meeting, Alasdair Urquhart
Re: Hilbert and conservativeness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

September 04, 2005

Re: Hilbert and conservativeness, Robert Black
Re: A Category of Godel Codings. Comments?, Arnon Avron

September 02, 2005

Re: Hilbert and conservativeness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

September 01, 2005

Computing the Modulus of Continuity, Jacques Carette
The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes), Richard Haney
Re: A Category of Godel Codings. Comments?, H. Enderton

News | FAQ | advertise