March 2007 Archives by thread

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

Starting: Thu Mar 1 04:17:43 EDT 2007
Ending: Sat Mar 31 18:52:23 EDT 2007
Messages: 127

• [FOM] How much of math is logic?   Cristian Cocos
• [FOM] The empty set   Neil Tennant
• [FOM] The empty set   Stephen Pollard
• [FOM] Announcement: Goedel Centenary Research Prize Fellowships   goedel-fellowship
• [FOM] Goedel on Philosophy   Harvey Friedman
  • [FOM] Goedel on Philosophy   Bob Hadley
    • [FOM] Goedel on Philosophy   Ignacio Nattochdag
      • [FOM] Goedel on Philosophy   joeshipman at aol.com
      • [FOM] Goedel on Philosophy   Bruno Loff
• [FOM] why don't Solovay's theorem implies P!=NP?   姚鹏晖
  • [FOM] why don't Solovay's theorem implies P!=NP?   Lasse Rempe
  • [FOM] why don't Solovay's theorem implies P!=NP?   Ignacio Nattochdag
• [FOM] [CiE] Student grants to attend CiE 2007 - deadline March 16   S B Cooper
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
  • [FOM] How much of math is logic?   Andrew Boucher
• [FOM] The empty set   Stephen Pollard
  • [FOM] The empty set   Neil Tennant
• [FOM] CADE-21 ESARLT Workshop CFP   by way of Martin Davis <martin at eipye.com>
• [FOM] How much of math is logic?   Timothy Y. Chow
• [FOM] How much of math is logic? ORACLE question   Allen Patterson Hazen
• [FOM] How much of math is logic? A positivist view.   Steven Ericsson-Zenith
• [FOM] How much of math is logic?   joeshipman at aol.com
• [FOM] Goedel on Philosophy   praatika at mappi.helsinki.fi
  • [FOM] Goedel on Philosophy   Andrew Boucher
    • [FOM] Goedel on Philosophy   John Steel
• [FOM] How much of math is logic?   Richard Heck
  • [FOM] How much of math is logic?   joeshipman at aol.com
• [FOM] Mathematics and precision   Timothy Y. Chow
  • [FOM] Mathematics and precision   Vladimir Sazonov
    • [FOM] Mathematics and precision   Henrik Nordmark
      • [FOM] Mathematics and precision   Vladimir Sazonov
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
  • [FOM] How much of math is logic?   Dennis E. Hamilton
  • [FOM] How much of math is logic?   Richard Heck
• [FOM] Tarski lectures   Harvey Friedman
• [FOM] progress in philosophy   John McCarthy
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
• [FOM] Mathematics and precision   Timothy Y. Chow
  • [FOM] Mathematics and precision   Henrik Nordmark
    • [FOM] Mathematics and precision   Timothy Y. Chow
      • [FOM] Mathematics and precision   A. Mani
      • [FOM] Mathematics and precision   Henrik Nordmark
    • [FOM] Mathematics and rigour   Vladimir Sazonov
  • [FOM] Mathematics and precision   Vladimir Sazonov
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
  • [FOM] How much of math is logic?   Dennis E. Hamilton
    • [FOM] How much of math is logic?   joeshipman at aol.com
• [FOM] How much of math is logic?   praatika at mappi.helsinki.fi
  • [FOM] How much of math is logic?   Cristian Cocos
• [FOM] Goedel on Philosophy   Buckner
• [FOM] Did Goedel "read philosophy"?   Martin Davis
  • [FOM] Did Goedel "read philosophy"?   Jim Hardy
    • [FOM] Did Goedel "read philosophy"?   Charles Parsons
      • [FOM] Did Goedel "read philosophy"?   John Steel
      • [FOM] Did Goedel "read philosophy"?   Ignacio Nattochdag
      • [FOM] Goedel on philosophy   Harvey Friedman
    • [FOM] Did Goedel "read philosophy"?   Harry Deutsch
• [FOM] Goedel on philosophy   Buckner
  • [FOM] Goedel on philosophy   Alexei Angelides
    • [FOM] "Progress" in philosophy   Charles Silver
      • [FOM] "Progress" in philosophy   Gergely Buday
      • [FOM] "Progress" in philosophy   Neil Tennant
      • [FOM] "Progress" in philosophy   Harvey Friedman
      • [FOM] "Progress" in philosophy   Charles Silver
      • [FOM] "Progress" in philosophy   Robbie Lindauer
      • [FOM] "Progress" in philosophy   Ignacio Nattochdag
      • [FOM] "Progress" in philosophy   Donald Stahl
      • [FOM] Definition of "philosophy"   Charles Silver
      • [FOM] Definition of "philosophy"   Joseph Vidal-Rosset
      • [FOM] Definition of "philosophy"   Charles Silver
      • [FOM] Definition of "philosophy"   hendrik at topoi.pooq.com
  • [FOM] Goedel on philosophy   John McCarthy
• [FOM] why don't Solovay's theorem implies P!=NP?   Timothy Y. Chow
• [FOM] 2nd order logic and infinite Set   dorin alex
• [FOM] Mathematics and rigour   Timothy Y. Chow
• [FOM] Goedel on philosophy   praatika at mappi.helsinki.fi
• [FOM] PLS6: 2nd Announcement and Call for Papers   kxatzkyr at uth.gr
  • [FOM] progress of philosophy in matehematics   Antonino Drago
• [FOM] Goedel on philosophy   Colin McLarty
  • [FOM] Goedel on philosophy   Peter Smith
• [FOM] Progress in Philosophy   Studtmann, Paul
• [FOM] Godelian Semantic Domains ?   A. Mani
• [FOM] Progress in Philosophy   Timothy Y. Chow
• [FOM] Göedel and progress in philosophy   mlika hamdi
• [FOM] Progress in Philosophy   Studtmann, Paul
• [FOM] more travel   Martin Davis
• [FOM] "Progress" in philosophy   Isaac Malitz
  • [FOM] "Progress" in philosophy   Charles Silver
    • [FOM] "Progress" in philosophy   Robbie Lindauer
• [FOM] CFP: Programming Languages for Mechanized Mathematics Workshop   Jacques Carette
• [FOM] Progress in philosophy   John McCarthy
• [FOM] Progress in Philosophy   laureano luna
  • [FOM] Progress in Philosophy   MICHAEL MURPHY
  • [FOM] Progress in Philosophy   Eray Ozkural
• [FOM] Progress in Philosophy   Timothy Y. Chow
• [FOM] Mathematics and rigour   Vladimir Sazonov
• [FOM] Re. Progress in Philosophy   laureano luna
• [FOM] Did Goedel "read philosophy"?   mlink at math.bu.edu
• [FOM] Universal Logic- China 2007 - Extended Deadline: March 31st   BEZIAU Jean-Yves
• [FOM] Antonino Drago on Leibniz   Gabriel Stolzenberg
  • [FOM] Antonino Drago on Leibniz   S. S. Kutateladze
• [FOM] Workshop: Progic 2007   Jon Williamson
• [FOM] Special issue of JAL: Combining probability and logic   Jon Williamson
• [FOM] definition of and progress in philosophy   Mark Lance
• [FOM] A question on Zorn's lemma   Manuel Ojeda Aciego
  • [FOM] A question on Zorn's lemma   Rupert McCallum
• [FOM] ACL2 2007 CALL FOR PAPER   sawada at us.ibm.com
• [FOM] Posting for FOM: Announcing a new logic journal   Prof Nigel Cutland
• [FOM] An axiom to settle the continuum hypothesis ?   Adib Ben Jebara
• [FOM] reply to S.S. Kutateladze (19 Mar)   Gabriel Stolzenberg
  • [FOM] reply to S.S. Kutateladze (19 Mar)   Robbie Lindauer
  • [FOM] reply to S.S. Kutateladze (19 Mar)   S. S. Kutateladze
    • [FOM] reply to S.S. Kutateladze (19 Mar)   joeshipman at aol.com
      • [FOM] reply to S.S. Kutateladze (19 Mar)   joeshipman at aol.com
• [FOM] Logic?   Bob Wolf
• [FOM] Mathematical Knowledge   Studtmann, Paul
• [FOM] Mathematical Knowledge   praatika at mappi.helsinki.fi
• [FOM] Paul Cohen has died.   martin at eipye.com
  • [FOM] Paul Cohen has died.   S. S. Kutateladze
• [FOM] FW: Visiting Position(s) at University of Missouri - Rolla for academic year 2007-2008   Insall, Matt
• [FOM] Mathematical Knowledge   Timothy Y. Chow
• [FOM] CSL07: Last call for papers   Alessandro Facchini
• [FOM] CiE 2007 - Call for Participation   S B Cooper
• [FOM] LSFA'07 - Second Workshop on Logical and Semantic Frameworks, with Applications - Aug 28, 2007 - Brazil   Joao Marcos
• [FOM] Torsion subgroup,SOSOA   Jan Pax
• [FOM] Continuous Tetration   joeshipman at aol.com

Last message date: Sat Mar 31 18:52:23 EDT 2007
Archived on: Wed Jan 28 17:55:49 EDT 2009

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