science.mathematics.fom (date)

science.mathematics.fom (date)

December 31, 2004

recent biography of Alfred Tarski, Martin Davis

December 29, 2004

Platonism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
RE: Feasibility, Vladimir Sazonov

December 24, 2004

Feasibility, Vladimir Sazonov
Feasibility, Vladimir Sazonov
Interpretability in Q: more comments., Robert M. Solovay
Interpretability in Q/CORRECTION, Harvey Friedman

December 23, 2004

Re: Interpretability in Q, Robert M. Solovay
Re: Interpretability in Q, Harvey Friedman
Re: Interpretability in Q (Edward T. Dean), Sam Buss

December 22, 2004

RE: RE:2^1000, Matt Insall
Re: Interpretability in Q, Robert M. Solovay

December 21, 2004

Re: RE:2^1000, Vladimir Sazonov
Interpretability in Q, Edward T. Dean

December 20, 2004

243:Inexplicit Pi01/Ordinals of Set Theories, Harvey Friedman
Why NP is not P: Basic combinatorial argument, Lew Gordeew

December 19, 2004

242:4th Pi01 Update, Harvey Friedman
Re: Paradox on Ordinals and Human Mind, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

December 18, 2004

Paradox on Ordinals and Human Mind, A.P. Hazen
RE:2^1000, Matt Insall
Re: Paradox on Ordinals and Human Mind, Harvey Friedman
Re: Paradox on Ordinals and Human Mind, Schneelocke

December 17, 2004

Re: Potgieter on hypercomputation, Gernot Salzer
Paradox on Ordinals and Human Mind, Dmytro Taranovsky
Re: Potgieter on hypercomputation, Robbie Lindauer
Re: Re: Potgieter on hypercomputation, Apostolos Syropoulos

December 16, 2004

ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (first annoucement), Carles Noguera i Clofent
Re: Potgieter on hypercomputation, Vladimir Sazonov
Re: Potgieter on hypercomputation, Timothy Y. Chow
Re: Potgieter on hypercomputation, Apostolos Syropoulos
Re: Potgieter on hypercomputation, Vladimir Sazonov
Re: Closure under addition, Vladimir Sazonov

December 15, 2004

ESSLLI workshop CfP: Formal semantics and cross-linguistic data, Zwarts-FT9nftu9LUxX9el/+yt6TA
Closure under addition, Arnon Avron

December 14, 2004

Re: Potgieter on hypercomputation, Apostolos Syropoulos
ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE"., Hartley Slater

December 13, 2004

Re: Potgieter on hypercomputation, Vladimir Sazonov
Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
241:3rd Pi01 Update, Harvey Friedman
240:2nd Pi01 Update, Harvey Friedman
ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE"., John Corcoran

December 11, 2004

239:Pi01 Update, Harvey Friedman
SEALS 2005, Douglas Cenzer
Uncertainty, Steve Stevenson
CFP workshop on belief revision and dynamic logic, Andreas HERZIG
Re: Shapiro on natural and formal languages, Timothy Y. Chow
Re: Re: Shapiro on natural and formal languages, Jeffrey Ketland
Re: Potgieter on hypercomputation, Apostolos Syropoulos

December 09, 2004

3-year Lectureship, Logic/TCS, Bath, England, David J. Pym
Re: Re: Shapiro on natural and formal languages, Rob Arthan

December 08, 2004

Re: Another pair of historical queries ..., Neil Tennant
238:Pi01 Independence/Large Large Cardinals/Correction, Harvey Friedman
Another pair of historical queries ..., Peter Smith
Potgieter on hypercomputation, Timothy Y. Chow

December 06, 2004

Re: More on first-order logic with operation constants, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
CiE 2005: Reminder - Deadline December 17th, S B Cooper
237:More Neatening Pi01 Affine Independence, Harvey Friedman

December 05, 2004

Re: More on first-order logic with operation constants, A.P. Hazen
Complexity of intuitionistic propositional calculus, Harvey Friedman

December 04, 2004

More on first-order logic with operation constants, John Corcoran
Re: Re: Shapiro on natural and formal languages, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
decid'ity of int pro logic & Jaskowski, A.P. Hazen
Decidability of intuitionistic propositional logic, Alasdair Urquhart

December 03, 2004

Re: Formalization of visual proofs (was Re: Shapiro), Vladimir Sazonov
Re: Shapiro on natural and formal languages, Timothy Y. Chow
236:Pi01 Independence/Huge Cardinals, Harvey Friedman
decidability of intuitionistic propositional logic, Neil Tennant
First CFP: ESSLLI Workshop on Challenges & Alternatives to Strict Compositionality, Manfred Sailer
Re: Re: Shapiro on natural and formal languages, Jeremy Clark
Re: FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS., A.P. Hazen

December 02, 2004

Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS., John Corcoran
Re: decidability of intuitionistic propositional logic, Richard Zach
Re: Historical query (on the very idea of a formalized theory), Richard Zach
Re: Historical query (on the very idea of a formalized theory), Richard Zach
Re: Shapiro on natural and formal languages, Timothy Y. Chow
Re: decidability of intuitionistic propositional logic, Alasdair Urquhart
Formalization of visual proofs (was Re: Shapiro), Mitchell Harris
Re: decidability of intuitionistic propositional logic, Neil Tennant
Re: Re: Shapiro on natural and formal languages, henriknordmark-ee4meeAH724
Paris Harrington for two colors, Andreas Weiermann
Re: Re: Shapiro on natural and formal languages, Roger B Jones
Re: Historical query (on the very idea of a formalized theory), Roger B Jones
Re: decidability of intuitionistic propositional logic, Arnon Avron
Fast-growing functions and P = NP, Timothy Y. Chow
Re: decidability of intuitionistic propositional logic, A.P. Hazen
Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c

December 01, 2004

Historical query (on the very idea of a formalized theory), Peter Smith
Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
decidability of intuitionistic propositional logic, Neil Tennant
Re: Shapiro on natural and formal languages, Timothy Y. Chow
proof theory cousre, Peter Cholak
Re: Re: Shapiro on natural and formal languages, Harvey Friedman

News | FAQ | advertise