science.mathematics.fom (date)

December 31, 2006

Is this known to be undecidable?, joeshipman-YDxpq3io04c

December 30, 2006

from the moderator, Martin Davis
CiE'07 - Final Call for Papers, S B Cooper

December 26, 2006

WoLLIC'2007 - 2nd CFP, by way of Martin Davis <martin-Q1ZVUissX3MAvxtiuMwx3w@xxxxxxxxxxxxxxxx>

December 24, 2006

Re: Possible Worlds, Max Weiss
306:Godel's Second/more, Harvey Friedman

December 23, 2006

Re: Possible Worlds, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Possible Worlds, A. Mani
Re: Possible worlds, carniell-CLaTarpYayVTIXuwt5Zssw
Re: Harvey's first proof of Gödel's Second Theorem, Peter Smith

December 22, 2006

Re: Possible Worlds, Allen Patterson Hazen
Re: Possible worlds, Alexey Romanov
Re: Possible worlds, Mirco Mannucci
Re: Possible worlds, Eray Ozkural
305:Proofs of Godel's Second, Harvey Friedman

December 21, 2006

Re: Possible worlds, Neil Tennant
Re: Possible worlds, Ignacio Nattochdag
Re: Possible worlds, Timothy Y. Chow
Re: Possible worlds, joeshipman-YDxpq3io04c

December 20, 2006

Re: Possible worlds, Timothy Y. Chow
Re: Possible worlds, Neil Tennant
Re: Possible worlds, Ignacio Nattochdag

December 19, 2006

Re: Possible worlds, Stephen Pollard
Re: Possible worlds, Neil Tennant
Re: Possible worlds, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Possible worlds, Ignacio Nattochdag
Re: Possible worlds, John McCarthy
Re: Possible worlds, Kenny Easwaran
Re: Possible worlds, mjmurphy
Re: Possible worlds, Sara L. Uckelman

December 18, 2006

Harvey Friedman's proof of Goedel's 2nd and MRDP, Martin Davis
Possible worlds, Timothy Y. Chow
Query on independence results and constructive theories, Stephen G Simpson
Proof of Godel's 2nd, Harvey Friedman

December 17, 2006

Re: Constructive reactions to Goedel Incompleteness, Timothy Y. Chow
Separation Logic & An unified Framework for Mathematics and Informatics, Guillaume FORTAINE
Formal Reasoning, Guillaume FORTAINE
RV: Is Godel's Theorem surprising?, Ignacio Nattochdag
PostDoc Research Post at Cambridge, Peter Smith

December 16, 2006

Re: Constructive reactions to Goedel Incompleteness, Donald Stahl
Query on independence results and constructive theories, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Constructive reactions to Goedel Incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

December 15, 2006

CADE 2007 call for papers, Amy Felty
Re: Decidability of Diophantine equations, Martin Davis
Re: Decidability of Diophantine equations, Franklin Vera
Re: Decidability of Diophantine equations, Harvey Friedman

December 14, 2006

Re: Is Godel's Theorem surprising?, Charles Silver
Re: Is Goedel's Theorem Surprising?, William Tait
Decidability of Diophantine equations, Andrej Bauer
Re: 23 syllables, Hartley Slater
Re: Constructive reactions to Goedel Incompleteness, giovanni sambin
Re: Is Godel's Theorem surprising?, Antonino Drago

December 13, 2006

Re: Constructive reactions to Goedel Incompleteness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
LFCS'07 deadline extension till Dec.22, Sergei Artemov
23 syllables, Hartley Slater
RV: Is Godel's Theorem surprising?, ignacio

December 12, 2006

Constructive reactions to Goedel Incompleteness, Peter Aczel
Re: Is Godel's Theorem surprising?, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Is Goedel's Theorem Surprising?, Vann McGee
Re: Is Godel's Theorem surprising?, Aatu Koskensilta
Re: Is Godel's Theorem surprising?, Antonino Drago
Re: Is Godel's Theorem surprising?, Rob Arthan

December 11, 2006

Re: Is Godel's Theorem surprising?, Harry Deutsch
Re: Is Godel's Theorem surprising?, mario
Re: Is Godel's Theorem surprising?, ignacio
23 syllables, Hartley Slater
Re: Is Godel's Theorem surprising?, David Auerbach
Re: Is Godel's Theorem surprising?, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Is Godel's Theorem surprising?, laureano luna
Re: Is Godel's Theorem surprising?, Aatu Koskensilta

December 10, 2006

Re: Is Godel's Theorem surprising?, Harvey Friedman
Re: Is Godel's Theorem surprising?, Charles Silver
Re: Is Godel's Theorem surprising?, joeshipman-YDxpq3io04c
Re: Is Godel's Theorem surprising?, joeshipman-YDxpq3io04c
Re: 23 syllables, Bill Greenberg
Re: Is Godel's Theorem surprising?, Erich Reck
Re: Is Godel's Theorem surprising?, A. Mani
Re: Is Godel's Theorem surprising?, =?iso-5589-2?q?Ser=E9ny_Gy=F6rgy?=
Re: 23 syllables, Timothy Y. Chow

December 09, 2006

Re: Is Godel's Theorem surprising?, Rob Arthan
RV: Is Godel's Theorem surprising?, ignacio
Re: Is Godel's Theorem surprising?, Mark van Atten
Re: 23 syllables, henri galinon
Progic07 - The Third Workshop on Combining Probability and Logic, Jon Williamson

December 08, 2006

Re: Is Godel's Theorem surprising?, Harry Deutsch
Re: Is Godel's Theorem surprising?, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Is Godel's Theorem surprising?, laureano luna
Re: Is Godel's Theorem surprising?, Robert Lubarsky
23 syllables, laureano luna
Re: 23 syllables, henri galinon
Re: Is Godel's Theorem surprising?, Harvey Friedman
23 syllables, Hartley Slater
Re: Is Godel's Theorem surprising?, Henrik Nordmark
Re: Is Godel's Theorem surprising?, Robbie Lindauer
Re: 23 syllables, Richard Heck

December 07, 2006

Is Godel's Theorem surprising?, Charles Silver
Re: 23 syllables, T . Forster-Ed+witXfYHVK/gkPnarB6Q
USMC'07 - Call for talks and participation, Jon Cohen

December 06, 2006

23 syllables, henri galinon

December 05, 2006

CiE 2007 - Second Call for Papers, S B Cooper

December 04, 2006

The Square of Opposition - Call for Papers, BEZIAU Jean-Yves

December 01, 2006

SMT Workshop (formery PDPAR): call for papers, Sava Krstic
weak extension of ZFC, John Baldwin