science.mathematics.fom (date)
<
Prev Period
]
[
Next Period
>
July 31, 2004
Re: Question on the Scope of Mathematics
,
A.P. Hazen
Re: Mathematics and formalizability
,
Vladik Kreinovich
July 30, 2004
Mathematics and formalizability
,
Martin Davis
Re: Re: Question on the Scope of Mathematics - Enduring Value II
,
Robbie Lindauer
Re: Re: Question on the Scope of Mathematics
,
Vladik Kreinovich
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Timothy Y. Chow
Re: Question on the Scope of Mathematics
,
Dmytro Taranovsky
July 29, 2004
Re: Elementaricity of elementaricity
,
Aatu Koskensilta
Re: Question on the Scope of Mathematics
,
Aatu Koskensilta
July 28, 2004
Elementaricity of elementaricity
,
I. Natochdag
Re: Question on the Scope of Mathematics
,
Henrik Nordmark
July 27, 2004
Whitehead conjecture/problem
,
Colin McLarty
Re: Question on the Scope of Mathematics
,
Aatu Koskensilta
BUFFALO LOGIC COLLOQUIUM : 5TH ANNOUNCEMENT
,
John Corcoran
Hanf's conjectures on finite axiomatizability
,
I. Natochdag
July 26, 2004
Question on the Scope of Mathematics
,
Dmytro Taranovsky
Re: PA with few symbols
,
A.P. Hazen
Primitive Recursive Pigeons
,
Stephen G Simpson
Primitive Recursive Pigeons
,
A.P. Hazen
Re: PA with few symbols.
,
H. Enderton
July 24, 2004
Logic 2005 in India
,
R. Ramanujam
July 22, 2004
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Timothy Y. Chow
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Mitchell Harris
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Jeremy Clark
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Jeremy Clark
July 21, 2004
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Mitchell Harris
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Jeremy Clark
Re: Automatic theorem proving in trigonometry and synthetic geometry
,
Andrej Bauer
Re: PA with few symbols
,
Timothy Y. Chow
Automatic theorem proving in trigonometry and synthetic geometry
,
Timothy Y. Chow
Re: AXIOM SCHEMATA
,
praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: AXIOM SCHEMATA
,
Dmytro Taranovsky
Re: Re: PA with few symbols
,
Vladimir Sazonov
July 20, 2004
Between Russell's Twins and Tarski's Chimera
,
Segunai
Re: PA with few symbols
,
Timothy Y. Chow
Re: AXIOM SCHEMATA
,
Timothy Y. Chow
July 19, 2004
Re: PA with few symbols.
,
Vladimir Sazonov
PA with few symbols
,
Randall Holmes
Re: PA with a few symbols
,
Ali Enayat
Re: PA with few symbols.
,
Neil Tennant
PA with few symbols.
,
W . Taylor-R0Vytwd2P3aABuhS/z3QMoPd0VKtDfyi
July 18, 2004
BUFFALO LOGIC COLLOQUIUM 2004-5
,
by way of Martin Davis <martin@xxxxxxxxx>
Axiom schemata
,
Andreas Blass
Re: Re: AXIOM SCHEMATA
,
Jesse Alama
July 17, 2004
Re: AXIOM SCHEMATA
,
Neil Tennant
Re: AXIOM SCHEMATA
,
Donald Stahl
ZF vs NBG
,
A.P. Hazen
Extended Deadline - DRT 04
,
Vladik Kreinovich
A Case for the Axiom of Determinacy
,
Dmytro Taranovsky
July 16, 2004
Re: Re: Henk's Characerization of Recusivity
,
Henk Csaba
Re: AXIOM SCHEMATA
,
Neil Tennant
Re: AXIOM SCHEMATA
,
Donald Stahl
July 15, 2004
Re: Hanf's conjectures on finite axiomatizability
,
Santiago Bazerque
July 14, 2004
Re: AXIOM SCHEMATA
,
Dmytro Taranovsky
CfP: EUMAS 2004 (2nd European Workshop on Multi-Agent Systems)
,
Wiebe van der Hoek
algebraic set theory site
,
Steve Awodey
Re: Henk's Characerization of Recusivity
,
Ali Enayat
Re: AXIOM SCHEMATA
,
Neil Tennant
July 13, 2004
Re: AXIOM SCHEMATA
,
John McCarthy
Re: AXIOM SCHEMATA
,
charles silver
Re: AXIOM SCHEMATA
,
Matthew Frank
AXIOM SCHEMATA
,
John Corcoran
July 10, 2004
Re: Henk's Characterization of Recursivity
,
Csaba Henk
July 09, 2004
Hanf's conjectures on finite axiomatizability
,
Stephen G Simpson
Hanf's conjectures on finite axiomatizability
,
Santiago Bazerque
July 08, 2004
Importance of Reverse Mathematics
,
Dmytro Taranovsky
July 06, 2004
UNILOG'05 - Montreux
,
Alexandre Costa-Leite
July 05, 2004
Conference on Logic, Computability and Randomness
,
Vladik Kreinovich
New Journal
,
Logical Methods in CS
July 04, 2004
Re: Excluded middle & cardinality of the reals
,
Matthew Frank
July 01, 2004
Henk's Characterization of Recursivity
,
Ali Enayat
Re: Dyson & Inexhaustibility, and Feferman
,
charles silver
Dyson & Inexhaustibility, and Feferman
,
charles silver
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise