science.mathematics.fom (date)

science.mathematics.fom (date)

November 29, 2006

WoLLIC'2007 - Second Call for Papers, Ruy de Queiroz

November 28, 2006

LFCS'07 = Nerode 75, Kreinovich, Vladik
Logica Universalis: new journal of logic being launched by Birkhäuser, BEZIAU Jean-Yves

November 27, 2006

Arché Abstraction Workshop XI, St Andrews, Marcus Rossberg

November 25, 2006

2nd World Congress and School on Universal Logic - Call for papers, nico

November 23, 2006

Question on ultraproducts, Artyom Chernikov

November 22, 2006

conference call for papers, Klaus Weihrauch
Conference Announcement: in commemoration of Rohit Parikh's 70th birthday, Joel David Hamkins

November 21, 2006

What's so hard about addition?, by way of Martin Davis <martin-Q1ZVUissX3MAvxtiuMwx3w@xxxxxxxxxxxxxxxx>
Teaching with original historical sources, Guram Bezhanishvili

November 20, 2006

TAMC 2007, S B Cooper

November 18, 2006

Hard problems in the theory of addition, joeshipman-YDxpq3io04c

November 16, 2006

9 research assistant positions available, Till Mossakowski

November 14, 2006

book announcement: Brouwer meets Husserl, mark van atten
New Journal, Martin Davis
Re: Yessenin-Volpin, jean paul van bendegem

November 10, 2006

Connections Seminar, Harvey Friedman
Concerning Ultraformalism-to Slater&Ozkural, Hartley Slater
SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07), Sergei Artemov

November 09, 2006

book announcement, Kreinovich, Vladik
Concerning Ultraformalism-to Slater&Ozkural, Hartley Slater

November 08, 2006

Re: Concerning Ultraformalism-to Slater&Ozkural, Timothy Y. Chow
Re: Concerning Ancestral Logic, Arnon Avron
Re: Concerning Ultraformalism-to Slater&Ozkural, Mirco Mannucci
Nelson's ultraformalism --to Slater, Hartley Slater
Call for papers: Logic and Information - From Logic to, Kreinovich, Vladik

November 07, 2006

Re: Consistency, zahidi-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA
Question, Rupert McCallum

November 06, 2006

Re: Zahidi's question on consistency, Curtis Franks
Re: Consistency, Andrew Boucher
Re: formalism, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Concerning Ultrafinitism., Bill Taylor
Concerning Ultraformalism, Hartley Slater
Re: Nelson's ultraformalism --to Slater, Eray Ozkural
Re: First-order arithmetical truth, Timothy Y. Chow
Consistency, zahidi-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA

November 05, 2006

FOM: BUFFALO LOGIC COLLOQUIUM 4TH FALL ANNOUNCEMENT, John Corcoran
Nelson's ultraformalism --to Slater, Mirco Mannucci
Borges and Mathematics, Joao Marcos
Concerning Ultrafinitism, Hartley Slater
Re: Concerning Ancestral Logic (CORRECTION), Richard Heck
Re: formalism, Rupert McCallum

November 04, 2006

Re: 303: PA Completeness (restatement), Andrej Bauer
Re: Concerning Ultrafinitism, Thomas Forster
Re: Concerning Ancestral Logic, Richard Heck
304: PA Completeness/strategy, Harvey Friedman
Re: Feasible consistency--Truth Transfer Policy, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: formalism, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

November 03, 2006

Re: Concerning Ultrafinitism., Timothy Y. Chow
Reply to Rupert MCallum on Voplin and consistency, Gabriel Stolzenberg
PA Completeness/more, Harvey Friedman
PA Completeness/progress, Harvey Friedman
Re: Concerning Ultrafinitism, Mirco Mannucci
formalism, Rupert McCallum
Concerning Ancestral Logic, Bill Taylor
Re: Concerning Ultrafinitism., Rupert McCallum

November 02, 2006

Re: Concerning Ultrafinitism., Robbie Lindauer
303: PA Completeness (restatement), Pietro Kreitlon Carolino
Re: Yessenin-Volpin, Rupert McCallum
Re: Concerning Ultrafinitism., V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Yessenin-Volpin, Gabriel Stolzenberg
Re: 303: PA Completeness (restatement), Arnon Avron
Re: Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Harvey Friedman
Fwd: 303: PA Completeness (restatement) (Andrej Bauer), Dana Scott
Re: Concerning Ultrafinitism., Eray Ozkural
Re: On "ruling out" non-standard models of first order arithmetic, Neil Tennant
Re: Concerning Ultrafinitism., Rupert McCallum
Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Rupert McCallum

November 01, 2006

On "ruling out" non-standard models of first order arithmetic, Aatu Koskensilta
Concerning Ultrafinitism., Bill Taylor

News | FAQ | advertise