science.mathematics.fom (date)

science.mathematics.fom (date)

November 30, 2004

Re: Shapiro on natural and formal languages, Vladimir Sazonov
Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c

November 29, 2004

Re: Shapiro on natural and formal languages, Timothy Y. Chow
CCA 2005 - First Call for Papers, Peter Hertling
"Diagonal arguments relativize", Timothy Y. Chow
235:Neatening Affine Pi01 Independence, Harvey Friedman

November 28, 2004

Re: Shapiro on natural and formal languages, John Corcoran
Shapiro on natural and formal languages, mjmurphy
"Geometrical ways of reasoning" and visual proofs, Peter Smith
Re: Shapiro on natural and formal languages, A.P. Hazen
Re: Shapiro on natural and formal languages, Timothy Y. Chow
Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c

November 26, 2004

Re: Shapiro on natural and formal languages, hendrik-kyPLUSWpfyQ
Natural and Formal Languages and Reasoning, henriknordmark-ee4meeAH724
Re: Shapiro on natural and formal languages, William Tait
Re: Shapiro on natural and formal languages, Vladimir Sazonov

November 24, 2004

Re: Shapiro on natural and formal languages, Roger B Jones
Work on Tarksi Closures?, Rex Butler
Shapiro on natural and formal languages, Arnon Avron
Re:Affine Pi01 Independence, Harvey Friedman

November 22, 2004

234:Affine Pi01 Independence, Harvey Friedman

November 17, 2004

233:Neatening Piecewise Linear Pi01 Independence, Harvey Friedman
232:More Piecewise Linear Pi01 Independence/Correction, Harvey Friedman
231:More Piecewise Linear Pi01 Independence, Harvey Friedman

November 15, 2004

230:Piecewise Linear Pi01 Independence, Harvey Friedman
Call for Abstracts: 2005 ASL Spring Meeting, San Francisco, March 23-27, Richard Zach

November 14, 2004

229:More Progress in Pi01 Independence, Harvey Friedman

November 13, 2004

228:Further Progress on Pi01 Independence, Harvey Friedman
227:Progress on Pi01 Independence, Harvey Friedman

November 11, 2004

ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2004) and workshop (Deadline: Dec 17, 2004) proposals, lauth
CCA 2005: mark your calendars, Vladik Kreinovich
226:Nicer Pi01 Independence, Harvey Friedman

November 10, 2004

EASSS'05: call for tutorials, Wiebe van der Hoek
LPAR'04: Deadline approaching, Prof. Franz Baader
Calculemus 2005, Jacques Carette
225:Better Pi01 Independence, Harvey Friedman

November 09, 2004

224:Prettier Pi01 Independence, Harvey Friedman

November 06, 2004

Why NP is not P, Lew Gordeew

November 04, 2004

ESSLLI'05 Student Session Call for Papers, Judit Gervain

November 03, 2004

Proof-sketch: Why NP is not P, Lew Gordeew

November 02, 2004

223:Better Pi01 Independence, Harvey Friedman
FOM: Reverse math and analysis, Jeff Hirst
workshop on classification of countable structures, Peter Cholak
CiE 2005 - Call for papers, S B Cooper

November 01, 2004

Reverse Mathematics special session, Jeff Hirst

News | FAQ | advertise