science.mathematics.fom (date)

science.mathematics.fom (date)

April 29, 2005

indepence and consistency results of set theory, F.A.Muller

April 27, 2005

Re: The independence of Extensionality, Ali Enayat

April 26, 2005

independence of extensionality, Thomas Forster
workshop on implemented classical logic programs, martin-Q1ZVUissX3MAvxtiuMwx3w

April 25, 2005

CCA 2005 - Third Call for Papers, Peter Hertling
Question on Infinite Sequences of Ordinals, Dmytro Taranovsky

April 21, 2005

Help please on Friedman post., Bill Taylor

April 18, 2005

moderator will be away, Martin Davis

April 13, 2005

Lecture Abstracts, Harvey Friedman

April 12, 2005

research positions 2005-8, Carlos Martin-Vide
PHINEWS / PHILOG Bulletin, April 2005, Vincent F. Hendricks

April 09, 2005

Re: alleged quote from Hilbert, John McCarthy
Re: alleged quote from Hilbert, Richard Heck
Re: Alleged quote from Hilbert (Martin Davis), John Corcoran

April 08, 2005

CiE 2005: Call for Participation, S B Cooper
Re: alleged quote from Hilbert, Vladimir Sazonov
Re: alleged Hilbert quote, Martin Davis
Re: alleged quote from Hilbert, Richard Zach
Re: alleged quote from Hilbert, Roger Bishop Jones
Re: alleged quote from Hilbert, Les Schaffer
Re: alleged quote from Hilbert, Jeffrey Ketland

April 07, 2005

alleged quote from Hilbert, Martin Davis
REMINDER: ICCL Summer School: Logic-based Knowledge Representation, Bertram Fronhoefer

April 05, 2005

when did set theory prevail, A.J. Franco de Oliveira
Enumerations, Studtmann, Paul

News | FAQ | advertise