July 2007 Archives by thread

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

Starting: Sun Jul 1 04:32:37 EDT 2007
Ending: Tue Jul 31 15:47:24 EDT 2007
Messages: 89

• [FOM] Counting models   Andy Fugard
  • [FOM] Counting models   John McCarthy
    • [FOM] Counting models   Andy Fugard
  • [FOM] Counting models   Steve Stevenson
    • [FOM] Counting models   Andy Fugard
• [FOM] Cantor on Richard's Paradox   laureano luna
  • [FOM] Cantor on Richard's Paradox   Dennis E. Hamilton
  • [FOM] Cantor on Richard's Paradox   William Tait
• [FOM] Laureano Luna on Cantor   Gabriel Stolzenberg
• [FOM] Cantor on Richard's Paradox   laureano luna
  • [FOM] Cantor on Richard's Paradox   hendrik at topoi.pooq.com
• [FOM] 308:Large large cardinals   Harvey Friedman
  • [FOM] 308:Large large cardinals   joeshipman at aol.com
  • [FOM] 308:Large large cardinals   Robert M. Solovay
• [FOM] Type/occurrence/token again   Thomas Forster
  • [FOM] Type/occurrence/token again   Jeffrey Ketland
• [FOM] Cantor on Richard's Paradox   laureano luna
• [FOM] Type/occurrence/token again   John Corcoran
• [FOM] An Introduction to Gödel's Theorems   Peter Smith
• [FOM] Graph Theory: Terminology   A. Mani
  • [FOM] Prenex Normal Forms   Edwin Mares
• [FOM] Thanks for feedback on Logiweb   Klaus Ebbe Grue
• [FOM] Graph Theory: Terminology   Timothy Y. Chow
• [FOM] 18th Novembertagung on History, Philosophy and Didactics of Mathematics, Bonn (Germany), 1-4 November 2007   Henrik Nordmark
• [FOM] Prenex Normal Forms   Alasdair Urquhart
• [FOM] Wittgenstein's '770' in pi   Harold Teichman
  • [FOM] Wittgenstein's '770' in pi   Grant Olney Passmore
  • [FOM] Wittgenstein's '770' in pi   Apostolos Syropoulos
  • [FOM] Wittgenstein's '770' in pi   Stephen G Simpson
• [FOM] 770 in Pi   David Ross
• [FOM] 770 in Pi   Bill Taylor
  • [FOM] 770 in Pi   David Ross
• [FOM] gentzen   Eckart Menzler
• [FOM] MCU 2007: Call for Participation - Poster and Open Session   Martin Davis
• [FOM] normal numbers   Veronica Becher
  • [FOM] normal numbers   Rupert McCallum
  • [FOM] normal numbers/Chaitin number   Jan Pax
    • [FOM] normal numbers/Chaitin number   Hector Zenil
• [FOM] normal numbers   Bill Taylor
• [FOM] normal numbers   David Ross
• [FOM] Simple historical question   Michael Sheard
  • [FOM] Simple historical question   Rupert McCallum
  • [FOM] Simple historical question   Neil Tennant
  • [FOM] Simple historical question   H. Enderton
    • [FOM] Simple historical question   Roger Bishop Jones
      • [FOM] Simple historical question   Richard Heck
    • [FOM] Simple historical question   William Tait
      • [FOM] Simple historical question   H. Enderton
    • [FOM] Simple historical question   Richard Heck
  • [FOM] Simple historical question   Bob Wolf
  • [FOM] Simple historical question   Richard Zach
• [FOM] history of diagonal argument   K. P. Hart
  • [FOM] history of diagonal argument   Robert Black
    • [FOM] history of diagonal argument   K. P. Hart
• [FOM] Wittgenstein's '770' in pi   Timothy Y. Chow
  • [FOM] Wittgenstein's '770' in pi   joeshipman at aol.com
    • [FOM] Wittgenstein's '770' in pi   Timothy Y. Chow
• [FOM] Checkers is a draw   Timothy Y. Chow
  • [FOM] Checkers is a draw   joeshipman at aol.com
    • [FOM] Checkers is a draw   Timothy Y. Chow
      • [FOM] Checkers is a draw   joeshipman at aol.com
      • [FOM] Checkers is a draw   Bob Wolf
      • [FOM] Checkers is a draw   joeshipman at aol.com
      • [FOM] Checkers is a draw   Randall R Schulz
      • [FOM] Checkers is a draw   Vladimir Sazonov
      • [FOM] Checkers is a draw   joeshipman at aol.com
      • [FOM] Checkers is a draw   Vladimir Sazonov
      • [FOM] Checkers is a draw   hendrik at topoi.pooq.com
• [FOM] understanding Putnam on understanding mathematics   Gabriel Stolzenberg
  • [FOM] understanding Putnam on understanding mathematics   Karin Verelst
    • [FOM] understanding Putnam on understanding mathematics   giovanni sambin
• [FOM] A question about semantic tableaux   Jined
• [FOM] fom BLC 2nd summer 2   John Corcoran
• [FOM] re "understanding Putnam on understanding mathematics   Gabriel Stolzenberg
  • [FOM] re "understanding Putnam on understanding mathematics   William Tait
    • [FOM] re "understanding Putnam on understanding mathematics   Gabriel Stolzenberg
      • [FOM] re "understanding Putnam on understanding mathematics   Vladimir Sazonov
• [FOM] Simple historical Question: re: Jones, Heck   Allen Hazen
• [FOM] Checkers is a draw   Timothy Y. Chow
  • [FOM] Checkers is a draw   John McCarthy
• [FOM] Key terms in logic   Jon Williamson
• [FOM] The Reasoner 1(4) available for download   Jon Williamson
• [FOM] Tutorials on Automatic Structures   Bakhadyr Khoussainov
• [FOM] Proof. was: Checkers is a draw   Bill Taylor
  • [FOM] Proof. was: Checkers is a draw   Vladimir Sazonov
  • [FOM] Proof. was: Checkers is a draw   Timothy Y. Chow
• [FOM] Sazonov on intuitive and formal mathematics   Gabriel Stolzenberg
  • [FOM] Sazonov on intuitive and formal mathematics   Vladimir Sazonov
• [FOM] LATA 2008: call for papers   carlos.martin at urv.cat

Last message date: Tue Jul 31 15:47:24 EDT 2007
Archived on: Wed Jan 28 17:56:18 EDT 2009

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