science.mathematics.fom (date)

science.mathematics.fom (date)

June 26, 2006

294: Concept Calculus 3, Harvey Friedman

June 23, 2006

BUFFALO LOGIC COLLOQUIUM 1st SUMMER ANNOUNCEMENT, John Corcoran

June 22, 2006

sharply bounded versions of FFF, Andreas Weiermann
289:Integer Thresholds in FFF, Harvey Friedman

June 21, 2006

Re: Theorem schemes, John Baldwin
INCOMPATIBILITY OF STRONG AI. A CORRECTION, laureano luna
Theorem schemes, joeshipman-YDxpq3io04c
Re: Algebraic closure of Q, Timothy Y. Chow
293: Concept Calculus 2, Harvey Friedman

June 20, 2006

291: Independently Free Minds/Collectively Random Agents/more, Harvey Friedman
Re: 292: Concept Calculus 1, Keith Brian Johnson
Re: What's going on with the Poincare conjecture?, Timothy Y. Chow

June 19, 2006

292: Concept Calculus 1, Harvey Friedman
INCOMPATIBILITY OF STRONG AI, laureano luna
What's going on with the Poincare conjecture?, joeshipman-YDxpq3io04c
E...EAA-completeness of ZF, Franco Parlamento
WoLLIC 2006, Alexei Angelides

June 13, 2006

Finding a prime, joeshipman-YDxpq3io04c
LPAR 2006 - CALL FOR WORKSHOP PROPOSALS, Christelle Scharff
290: Independently Free Minds/Collectively Random Agents, Harvey Friedman

June 05, 2006

reply to eray ozkural re "The provenance of pure reason (II)", Gabriel Stolzenberg

June 04, 2006

Complexity of Constructive Truth, Dmytro Taranovsky
moderator will be away, Martin Davis

June 03, 2006

Re: Algebraic closure of Q, Stephen G Simpson

June 02, 2006

Re: Quantum mechanics solved(?), scerir

June 01, 2006

288:Discrete ordered rings and large cardinals, Harvey Friedman
Re: explicit variables, William Tait
Re: The Provenance of Pure Reason (II), Eray Ozkural
Quantum mechanics realm, José Félix Costa
Re: Quantun mechanics realm, Ryan Paul Nurmela
Re: Quantum mechanics solved(?), Ryan Paul Nurmela
Re: The Provenance of Pure Reason (II), Charles Silver

News | FAQ | advertise