science.mathematics.fom (date)
<
Prev Period
]
[
Next Period
>
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
PHINEWS BULLETIN / September 2005
,
Vincent F. Hendricks
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]
,
Richard Haney
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise