science.mathematics.fom (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise