January 2009 Archives by date
Starting: Fri Jan 2 17:41:45 EDT 2009
Ending: Fri Jan 30 19:44:04 EDT 2009
Messages: 104
- [FOM] [CiE] Newsletter No.3, January 2, 2009
S B Cooper
- [FOM] Brouwer on mathematical operations
Tero Tulenheimo
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] [CiE] Book Series "Theory and Applications of Computability"
S B Cooper
- [FOM] ACL2 2009: Final Call for Papers
Sandip Ray
- [FOM] Proof assistants and conjectures
Steven Ericsson-Zenith
- [FOM] Proof assistants and conjectures
Randall R Schulz
- [FOM] Proof assistants and conjectures
Roger Bishop Jones
- [FOM] Proof assistants and conjectures
Gergely Buday
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] Proof assistants and conjectures
Steven Ericsson-Zenith
- [FOM] Proof assistants and conjectures
Vaughan Pratt
- [FOM] Proof assistants and conjectures
Tjark Weber
- [FOM] LICS Newsletter 120
Stephan Kreutzer
- [FOM] Proof assistants and conjectures
John McCarthy
- [FOM] Tableaux 2009: Final CfP
Viorica Sofronie-Stokkermans
- [FOM] Constructive Math meeting this fall
Robert Lubarsky
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] [CiE] Newsletter No.4, January 12, 2009
S B Cooper
- [FOM] LICS 2009 Abstract Deadline today: Final Call for Papers
Stephan Kreutzer
- [FOM] slides from special session: Logic and Dynamical Systems
Stephen G Simpson
- [FOM] Proof assistants and conjectures
Timothy Y. Chow
- [FOM] WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28)
Ruy de Queiroz
- [FOM] \Pi-0-1 equivalent of the Riemann Hypothesis
Martin Davis
- [FOM] CiE 2009 in Heidelberg - Final Call for Papers
S B Cooper
- [FOM] 329: Finite Decidability/Templating
Harvey Friedman
- [FOM] Logic and Mathematics 09, York: Second Announcement
Christine Cockett
- [FOM] 327: Finite Independence/update
Harvey Friedman
- [FOM] 328: Polynomial Independence 1
Harvey Friedman
- [FOM] Final call for papers: TMFCS-09
John Edward
- [FOM] 2nd IP Fellows Seminar
andre rodin
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Joe Shipman
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Daniel Leivant
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Vaughan Pratt
- [FOM] Proof Assistants and Conjectures (reply to Chow)
joeshipman at aol.com
- [FOM] 330: Templating Pi01/Polynomial
Harvey Friedman
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Brian Hart
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Vaughan Pratt
- [FOM] [CfP] The Games of Logic
Laurent Keiff
- [FOM] Peirce and Cantor on continuity
Matthew Moore (Philosophy)
- [FOM] Proof Assistants and Conjectures (reply to Chow)
Timothy Y. Chow
- [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology
Jeremy Avigad
- [FOM] 327: Finite Independence/update
weierman at cage.ugent.be
- [FOM] 331: corrected Pi01/templating
Harvey Friedman
- [FOM] Proof Assistants and Conjectures (reply to Chow)
joeshipman at aol.com
- [FOM] Euthyphro and proof
Timothy Y. Chow
- [FOM] Euthyphro and proof
David Auerbach
- [FOM] Euthyphro and Proof
Jon Awbrey
- [FOM] BEST 2009 - Second announcement, call for papers
Andres Caicedo
- [FOM] Euthyphro and proof
Vaughan Pratt
- [FOM] Peirce and Cantor on continuity
Vaughan Pratt
- [FOM] The QED Manifesto today
Arnold Neumaier
- [FOM] Non-Classical Mathematics 2009: CFP
Karel Chvalovsky
- [FOM] FOM: What is a proof?
John Corcoran
- [FOM] 332: Preferred Model
Harvey Friedman
- [FOM] Euthyphro and proof
Timothy Y. Chow
- [FOM] Peirce and Cantor on continuity
Matthew Moore (Philosophy)
- [FOM] FOM: What is a proof?
Bill Taylor
- [FOM] 332: Preferred Model
Vaughan Pratt
- [FOM] The QED Manifesto today
Roger Bishop Jones
- [FOM] FOM: What is a proof?
Ron Rood
- [FOM] The QED Manifesto today
Harvey Friedman
- [FOM] The QED Manifesto today
Till Mossakowski
- [FOM] 332: Preferred Model
Andrej Bauer
- [FOM] What is a proof?
Alasdair Urquhart
- [FOM] What is a proof?
A. Mani
- [FOM] What is a proof?
John McCarthy
- [FOM] What is a proof?
Tjark Weber
- [FOM] What is a proof?
Tjark Weber
- [FOM] PSI 2009: Submissions Deadline Extended
Perspectives of System Informatics
- [FOM] obscure technical question concerning ZF without choice
Thomas Forster
- [FOM] The Strong Free Will Theorem
Timothy Y. Chow
- [FOM] The QED Manifesto today
Jesse Alama
- [FOM] What is a proof?
Jesse Alama
- [FOM] The Strong Free Will Theorem
Paul Budnik
- [FOM] Conference: Mechanisms and causality in the sciences
Jon Williamson
- [FOM] Volume: Causality in the sciences
Jon Williamson
- [FOM] obscure technical question concerning ZF without choice
Harvey Friedman
- [FOM] The QED Manifesto today
catarina dutilh
- [FOM] The Strong Free Will Theorem
Simon Kochen
- [FOM] CADE-22 last call for papers
Carsten Schuermann
- [FOM] 333: Single Quantifier Comprehension/more
Harvey Friedman
- [FOM] What is a proof?
Charles Silver
- [FOM] The QED Manifesto today
Gergely Buday
- [FOM] What are Proofs?
Steve Stevenson
- [FOM] [CiE] Newsletter No.5, January 27, 2009
S B Cooper
- [FOM] FOM: What is a proof?
Antonino Drago
- [FOM] The Strong Free Will Theorem
Vaughan Pratt
- [FOM] The Strong Free Will Theorem
Fred Kantor
- [FOM] The Strong Free Will Theorem
Bill Taylor
- [FOM] obscure technical question concerning ZF without choice
Harvey Friedman
- [FOM] The QED Manifesto today
Timothy Y. Chow
- [FOM] Another question about ZF without choice
Andres Caicedo
- [FOM] The Strong Free Will Theorem
Vaughan Pratt
- [FOM] The software is regurgitating the past
Martin Davis
- [FOM] Simple historical question
Richard Zach
- [FOM] Another question about ZF without choice
Thomas Forster
- [FOM] [CiE] Newsletter No.5, January 27, 2009 - late items
S B Cooper
- [FOM] The Reasoner 3(2) available for download
Jon Williamson
- [FOM] The QED Manifesto today
Ian Grant
- [FOM] Call for papers and participation: MBR'09_BRAZIL
carniell at cle.unicamp.br
- [FOM] Another question about ZF without Choice
todunion at ucollege.edu
Last message date:
Fri Jan 30 19:44:04 EDT 2009
Archived on: Mon Feb 2 19:03:39 EDT 2009
This archive was generated by
Pipermail 0.09 (Mailman edition).