January 2009 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] 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   Timothy Y. Chow
      • [FOM] Proof assistants and conjectures   Steven Ericsson-Zenith
    • [FOM] Proof assistants and conjectures   Vaughan Pratt
  • [FOM] Proof assistants and conjectures   Gergely Buday
    • [FOM] Proof assistants and conjectures   Timothy Y. Chow
      • [FOM] Proof assistants and conjectures   Tjark Weber
• [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   Timothy Y. Chow
  • [FOM] Proof assistants and conjectures   John McCarthy
• [FOM] LICS Newsletter 120   Stephan Kreutzer
• [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] 327: Finite Independence/update   weierman at cage.ugent.be
• [FOM] 328: Polynomial Independence 1   Harvey Friedman
  • [FOM] 2nd IP Fellows Seminar   andre rodin
• [FOM] Final call for papers: TMFCS-09   John Edward
• [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] Proof Assistants and Conjectures (reply to Chow)   Brian Hart
      • [FOM] Proof Assistants and Conjectures (reply to Chow)   Vaughan Pratt
• [FOM] 330: Templating Pi01/Polynomial   Harvey Friedman
• [FOM] [CfP] The Games of Logic   Laurent Keiff
• [FOM] Peirce and Cantor on continuity   Matthew Moore (Philosophy)
  • [FOM] Peirce and Cantor on continuity   Vaughan Pratt
• [FOM] Proof Assistants and Conjectures (reply to Chow)   Timothy Y. Chow
  • [FOM] Proof Assistants and Conjectures (reply to Chow)   joeshipman at aol.com
• [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology   Jeremy Avigad
• [FOM] 331: corrected Pi01/templating   Harvey Friedman
• [FOM] Euthyphro and proof   Timothy Y. Chow
  • [FOM] Euthyphro and proof   David Auerbach
  • [FOM] Euthyphro and Proof   Jon Awbrey
  • [FOM] Euthyphro and proof   Vaughan Pratt
• [FOM] BEST 2009 - Second announcement, call for papers   Andres Caicedo
• [FOM] The QED Manifesto today   Arnold Neumaier
  • [FOM] The QED Manifesto today   Roger Bishop Jones
  • [FOM] The QED Manifesto today   Harvey Friedman
  • [FOM] The QED Manifesto today   Jesse Alama
    • [FOM] The QED Manifesto today   catarina dutilh
      • [FOM] The QED Manifesto today   Gergely Buday
• [FOM] Non-Classical Mathematics 2009: CFP   Karel Chvalovsky
• [FOM] FOM: What is a proof?   John Corcoran
  • [FOM] FOM: What is a proof?   Ron Rood
    • [FOM] What is a proof?   A. Mani
• [FOM] 332: Preferred Model   Harvey Friedman
  • [FOM] 332: Preferred Model   Vaughan Pratt
  • [FOM] 332: Preferred Model   Andrej Bauer
• [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] What is a proof?   Alasdair Urquhart
    • [FOM] What is a proof?   John McCarthy
    • [FOM] What is a proof?   Tjark Weber
    • [FOM] What is a proof?   Jesse Alama
      • [FOM] What is a proof?   Charles Silver
  • [FOM] What is a proof?   Tjark Weber
  • [FOM] FOM: What is a proof?   Antonino Drago
• [FOM] The QED Manifesto today   Till Mossakowski
• [FOM] PSI 2009: Submissions Deadline Extended   Perspectives of System Informatics
• [FOM] obscure technical question concerning ZF without choice   Thomas Forster
  • [FOM] obscure technical question concerning ZF without choice   Harvey Friedman
  • [FOM] obscure technical question concerning ZF without choice   Harvey Friedman
    • [FOM] Another question about ZF without choice   Andres Caicedo
      • [FOM] Another question about ZF without choice   Thomas Forster
• [FOM] The Strong Free Will Theorem   Timothy Y. Chow
  • [FOM] The Strong Free Will Theorem   Paul Budnik
    • [FOM] The Strong Free Will Theorem   Fred Kantor
• [FOM] Conference: Mechanisms and causality in the sciences   Jon Williamson
• [FOM] Volume: Causality in the sciences   Jon Williamson
• [FOM] The Strong Free Will Theorem   Simon Kochen
  • [FOM] The Strong Free Will Theorem   Vaughan Pratt
• [FOM] CADE-22 last call for papers   Carsten Schuermann
• [FOM] 333: Single Quantifier Comprehension/more   Harvey Friedman
• [FOM] What are Proofs?   Steve Stevenson
• [FOM] [CiE] Newsletter No.5, January 27, 2009   S B Cooper
• [FOM] The Strong Free Will Theorem   Bill Taylor
  • [FOM] The Strong Free Will Theorem   Vaughan Pratt
• [FOM] The QED Manifesto today   Timothy Y. Chow
• [FOM] The software is regurgitating the past   Martin Davis
• [FOM] Simple historical question   Richard Zach
• [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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...