science.mathematics.fom (date)

science.mathematics.fom (date)

February 28, 2005

reply to Gordeev, Randall Holmes
natural r.e. degrees, Stephen G Simpson

February 27, 2005

Extending the Language of Set Theory, Dmytro Taranovsky
purported proof of Con (NF), Randall Holmes
244:LUB systems, Harvey Friedman

February 26, 2005

Re: consistency of NF?, Lew Gordeew

February 25, 2005

PHINEWS 7, April 1005, vincent-lbH4SfjcqSk
consistency of NF?, Randall Holmes
CCA 2005 - Second Call for Papers, Peter Hertling

February 23, 2005

MKM 2005 Call for Workshop Proposals (Mathematical Knowledge Management), Michael Kohlhase

February 21, 2005

the thread on "deflationary" accounts of the concept of truth, Martin Davis
Re: natural intermediate r.e. degrees, Stephen G Simpson

February 20, 2005

PHINEWS / PHILOG Bulletin, February 2005, vincent-lbH4SfjcqSk
recursion theory question, Harvey Friedman

February 18, 2005

Re: Deflationism and the Godel phenomena, Timothy Y. Chow
Re: Deflationism and the Godel phenomena, Jeffrey Ketland
Re: Deflationism and the Godel phenomena, Grant Olney Passmore
Computers, Rigidity, and Moduli, Timothy Y. Chow

February 17, 2005

ANN: ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II, Xavier Noria
Re: Deflationism and the Godel phenomena, Joseph Vidal-Rosset
Julia sets and computability models, Stephen Cook
Re: Deflationism and the Godel phenomena, Aatu Koskensilta
Re: Deflationism and the Godel phenomena, Timothy Y. Chow
Re: Deflationism and the Godel phenomena, Joseph Vidal-Rosset
ESSLLI'05 StuS: Deadline extended until 22nd February 2005, Judit Gervain
Re: Deflationism and the Godel phenomena, Aatu Koskensilta
Re: Deflationism and the Godel phenomena, Torkel Franzen

February 16, 2005

Re: Deflationism and the Godel phenomena, Neil Tennant
Re: Deflationism and the Godel phenomena, Timothy Y. Chow
Re: Deflationism and the Godel phenomena, Joseph Vidal-Rosset
ESSLLI2005 Workshop: FINAL CALL Foundations of Natural Language Grammar, Ruth Kempson
Re: Deflationism and the Godel phenomena, Jeffrey Ketland
Re: Deflationism and the Godel phenomena, Jeffrey Ketland
Re: Deflationism and the Godel phenomena, Harvey Friedman
Re: Deflationism and the Godel phenomena, Neil Tennant

February 15, 2005

Re: Deflationism and the Godel phenomena, Jeffrey Ketland
Re: Deflationism and the Godel phenomena, Torkel Franzen
Characterization of R/Simple proof, Harvey Friedman
Re: Deflationism and the Godel phenomena, Neil Tennant
Re: Deflationism and the Godel phenomena, Neil Tennant
A proof of Friedman's theorem, Ali Enayat

February 14, 2005

Deflationism and the Godel phenomena, Torkel Franzen
[PS] characterization of real numbers (?), Saeed Salehi
Video Archivals of Logic Conferences, Grant Olney Passmore
Re: Hadamard's principle, Bas Spitters

February 12, 2005

Re: Friedman's characterization of R, Ali Enayat
ICCL Summer School: Logic-based Knowledge Representation, Bertram Fronhoefer
re: characterization of Real numbers? (by Saeed Salehi), Harvey Friedman
Re: characterization of Real numbers? (by Saeed Salehi), Jesse Alama

February 11, 2005

Last CFP: ESSLLI Workshop on Challenges & Alternatives to Strict Compositionality, Manfred Sailer

February 10, 2005

characterization of Real numbers? (by Saeed Salehi), Martin Davis
Re: Hadamard's principle, Bas Spitters
Re: natural intermediate r.e. degrees, Harvey Friedman
Hadamard's principle, Jeffery Zucker

February 09, 2005

Re: natural intermediate r.e. degrees, Stephen G Simpson

February 08, 2005

D11 arithmetic, Studtmann, Paul
proof in mathematics (correction), paolo mancosu

February 07, 2005

proof theory class, Peter Cholak
Re: Characterization of the real numbers, Stephen Lavelle
Re: Characterization of the real numbers, William Tait
MKM 2005 (Mathematical Knowledge Management) first Call for Papers, Michael Kohlhase
Correction/Characterization of the real numbers, Harvey Friedman
Re: Characterization of the real numbers, JoeShipman-YDxpq3io04c
Re: mathematical understanding, Steven Ericsson-Zenith
Re: Characterization of the real numbers, Harvey Friedman
Re: Characterization of the real numbers, JoeShipman-YDxpq3io04c
Re: Characterization of the real numbers, JP Mayberry, Mathematics
Re: Characterization of the real numbers, John Baldwin

February 06, 2005

Characterization of the real numbers, JoeShipman-YDxpq3io04c
mathematical understanding, Regien Stomphorst

February 04, 2005

Re: Soare's article in the BSLIssue 3, Timothy Y. Chow
Calculemus 2005 Second Call for Papers, William Farmer
International M.Sc. Program in COMPUTATIONAL LOGIC, Int. Center for Computational Logic
Proof in mathematics, paolo mancosu

February 03, 2005

Re: Logic moving from philosophy to mathematics, Chris Gray
Re: Logic moving from philosophy to mathematics, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Complexity of notions/intermediate degrees, JoeShipman-YDxpq3io04c
Soare's article in the BSL, Stephen G Simpson
metrics, Adam Epstein
Logic moving from philosophy to mathematics, Daniel Crosby

February 01, 2005

Complexity of notions/intermediate degrees, Harvey Friedman
job at Oxford, Dan Isaacson
moderator having minor surgery, Martin Davis

News | FAQ | advertise