May 2004 Archives by date

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

Starting: Sat May 1 10:42:19 EDT 2004
Ending: Mon May 31 17:14:33 EDT 2004
Messages: 134

• [FOM] ESSLLI 2004 - Deadline Extension   Carlos Areces
• [FOM] Object-Oriented Formal Mathematical Languages   Victor Makarov
• [FOM] Congress MARIAN2004 on nonstandard models, Pisa, June 25-26, 2004   Mauro Di Nasso
• [FOM] ICCL Summer School 2004 - Final Call   Int. Center for Computational Logic
• [FOM] Object-Oriented Formal Mathematical Languages   Dennis E. Hamilton
• [FOM] Some Mathematical Case Studies in ProofPower-HOL   Rob Arthan
• [FOM] Object-Oriented Formal Mathematical Languages   Victor Makarov
• [FOM] practical use of infinitesimals   Vladik Kreinovich
• [FOM] Object-Oriented Formal Mathematical Languages   steven at pearavenue.com
• [FOM] Object-Oriented Formal Mathematical Languages   charles silver
• [FOM] Object-Oriented Formal Mathematical Languages   Steven Ericsson Zenith
• [FOM] inconsistency of PA   Randall Holmes
• [FOM] inconsistency of PA   Robert M. Solovay
• [FOM] proof of inconsistency of PA   Randall Holmes
• [FOM] Object-Oriented Formal Mathematical Languages   Steven Ericsson Zenith
• [FOM] What makes a large cardinal axiom plausible?   Timothy Y. Chow
• [FOM] consistency of PA?   Randall Holmes
• [FOM] consistency of PA?   Roger Bishop Jones
• [FOM] consistency of PA?   Karlis Podnieks
• [FOM] What makes a large cardinal axiom plausible?   Roger Bishop Jones
• [FoM] consistency of PA?   A.P. Hazen
• [FOM] Disaster?   Vladimir Sazonov
• [FOM] Two questions about proof theoretic reductions   Aatu Koskensilta
• [FOM] Re: What makes a large cardinal axiom plausible?   Timothy Y. Chow
• [FOM] Postdoc Position at Vienna University of Technology   Hans Tompits
• [FOM] on Kieu from Andrew Hodges   Martin Davis
• [FOM] Re: Disaster?   Timothy Y. Chow
• [FOM] Permanent Value?   Robbie Lindauer
• [FOM] Do the integers exist?   Jack
• [FOM] Re: Disaster?   Matthew Frank
• [FOM] Do the integers exist?   Torkel Franzen
• [FOM] Re: Disaster?   Neil Tennant
• [FOM] Re: Disaster?   Dan Goodman
• [FOM] Could PA be inconsistent?   Martin Davis
• [FOM] Could PA be inconsistent?   Vladimir Sazonov
• [FOM] Re: Disaster?   Timothy Y. Chow
• [FOM] Could PA be inconsistent?   Charles Parsons
• [FOM] Could PA be inconsistent?   William Tait
• [FOM] Permanent Value?   Peter John Apostoli
• [FOM] Could PA be inconsistent?   Richard Heck
• [FOM] Freeman Dyson on Inexhaustibility   Don Fallis
• [FOM] Re: Could PA be inconsistent?   Timothy Y. Chow
• [FOM] What if ~Con(PA)?   A.P. Hazen
• [FOM] Permanent value revisited   Harvey Friedman
• [FOM] Re: Freeman Dyson on Inexhaustibility   Martin Davis
• [FOM] Re: Freeman Dyson on Inexhaustibility   praatika at mappi.helsinki.fi
• [FOM] Freeman Dyson on Inexhaustibility   John McCarthy
• [FOM] Permanent value revisited   Robbie Lindauer
• [FOM] Positions in logic in Swansea (UK)   anton setzer
• [FOM] Permanent value revisited   Neil Tennant
• [FOM] 1st World Congress and School on Universal Logic (UNILOG 2005)   Vladik Kreinovich
• [FOM] Indispensability of the natural numbers   Timothy Y. Chow
• [FOM] DIMACS Workshop on Security Analysis of Protocols   Andre Scedrov
• [FOM] Arithmetic-free theory of formal systems?   Timothy Y. Chow
• [FOM] Indispensability of the natural numbers   Andrew Boucher
• [FOM] moderator will be away   Martin Davis
• [FOM] Arithmetic-free theory of formal systems?   Matthew Frank
• [FOM] Arithmetic-free theory of formal systems?   Steven Ericsson Zenith
• [FOM] Arithmetic-free theory of formal systems?   John McCarthy
• [FOM] Arithmetic-free theory of formal systems?   William Tait
• [FOM] Re: Arithmetic-free theory of formal systems?   Timothy Y. Chow
• [FOM] Arithmetic-free theory of formal systems?   Dennis E. Hamilton
• [FOM] Re: Could PA be inconsistent?   Vladimir Sazonov
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Permanent value revisited   Neil Tennant
• [FOM] Could PA be inconsistent?   Karlis Podnieks
• [FOM] Indispensability of the natural numbers   Steven Ericsson-Zenith
• [FOM] Arithmetic-free theory of formal systems?   Steven Ericsson-Zenith
• [FOM] Arithmetic-free theory of formal systems?   Rene Vestergaard
• [FOM] Arithmetic-free theory of formal systems?   John McCarthy
• [FOM] Re:Arithmetic-free theory of formal systems? (T. Chow)   addamo
• [FOM] Re: Arithmetic-free theory of formal systems?   praatika at mappi.helsinki.fi
• [FOM] Re: Arithmetic-free theory of formal systems   A.P. Hazen
• [FOM] Indispensability of the natural numbers   Timothy Y. Chow
• [FOM] Re: Arithmetic-free theory of formal systems?   William Tait
• [FOM] Re: Arithmetic-free theory of formal systems?   Matthew Frank
• [FOM] Indispensability of the natural numbers   isles at kingcon.com
• [FOM] Re: Arithmetic-free theory of formal systems?   Timothy Y. Chow
• [FOM] Re: Indispensability of the natural numbers   Timothy Y. Chow
• [FOM] ZFC with Classes (ZFCC?)   Victor Makarov
• [FOM] Re: Indispensability of the natural numbers   Timothy Y. Chow
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Indispensability of the natural numbers   Steven Ericsson-Zenith
• [FOM] Indispensability of the natural numbers   Steven Ericsson-Zenith
• [FOM] Re: Indispensability of the natural numbers   Timothy Y. Chow
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Indispensability of the natural numbers   Steven Ericsson-Zenith
• [FOM] ZFC with Classes (ZFCC?)   Vladik Kreinovich
• [FOM] A formalism for Ultrafinitism   W.Taylor at math.canterbury.ac.nz
• [FOM] 6th European Agent Systems Summer School: EARLY BIRD REGISTRATION DEADLINE APPROACHING   Valentina Tamma
• [FOM] Re: Arithmetic-free theory of formal systems?   Vladimir Sazonov
• [FOM] Re: Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Re: Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] ZFC with classes (ZFCC?)   A.P. Hazen
• [FOM] A formalism for Ultrafinitism   jean paul van bendegem
• [FOM] Brief Reply to Comments on [Zeilberger's] Opinion 57   Rob Arthan
• [FOM] Re: ZFC with classes   Ali Enayat
• [FOM] A formalism for Ultrafinitism   Robbie Lindauer
• [FOM] Re: Arithmetic-free theory of formal systems?   Timothy Y. Chow
• [FOM] Indispensability of the natural numbers   Vladimir Sazonov
• [FOM] Re: Arithmetic-free theory of formal systems?   Vladimir Sazonov
• [FOM] International Masters Program in COMPUTATIONAL LOGIC   Int. Center for Computational Logic
• [FOM] ESSLLI 2004   Carlos Areces
• [FOM] Re: Why the definition of "large cardinal axiom" matters   Roger Bishop Jones
• [FOM] A typo corrected (re ZFC with classes)   Ali Enayat
• [FOM] A formalism for Ultrafinitism   Hartley Slater
• [FOM] A formalism for Ultrafinitism   Andrew Boucher
• [FOM] Re: Indispensability of the natural numbers   Steven Ericsson-Zenith
• [FOM] ESSLLI 05, Edinburgh, 2-nd Call for Proposals   Paul Dekker
• [FOM] Conference Announcement: FotFS V (Bonn, November 2004)   Foundations of the Formal Sciences
• [FOM] Platonism, "vagueness" of N, possible inconsistency of PA?   Randall Holmes
• [FOM] Final Agenda: 3rd-4th June 2004: KDNet Symposium"Knowledge-Based Services for the Public Sector" at Petersberg, Bonn, Germany   Codrina Lauth
• [FOM] A formalism for Ultrafinitism   Vladimir Sazonov
• [FOM] Re: Arithmetic-free theory of formal systems?   Timothy Y. Chow
• [FOM] slip in previous post   Randall Holmes
• [FOM] [HM] Conference Announcement: FotFS V (Bonn, November 2004)   Foundations of the Formal Sciences
• [FOM] a new book: Arithmetic of Infinity   Yaroslav D. Sergeyev
• [FOM] Set theory with Inf and ~Con(PA)?   Timothy Y. Chow
• [FOM] A formalism for Ultrafinitism   Vladimir Sazonov
• [FOM] Platonism, "vagueness" of N, possible inconsistency of PA?   Vladimir Sazonov
• [FOM] Reaction to Hesseling's "Gnomes in the Fog"?   Robert Knighten
• [FOM] Reaction to Hesseling's "Gnomes in the Fog"?   billy hudson
• [FOM] Re: Reaction to Hesseling's "Gnomes in the Fog"?   Mark van Atten
• [FOM] Status of Logic in Philosophy   Richard Zach
• [FOM] Lucas, Penrose, and the Church-Kleene ordinal   Timothy Y. Chow
• [FOM] Re: Lucas, Penrose, and the Church-Kleene ordinal   Dmytro Taranovsky
• [FOM] Re: Lucas, Penrose, and the Church-Kleene ordinal   Timothy Y. Chow
• [FOM] Question on Incompleteness Theorems   Dmytro Taranovsky
• [FOM] Lucas, Penrose, and the Church-Kleene ordinal   praatika at mappi.helsinki.fi
• [FOM] Lucas, Penrose, and the Church-Kleene ordinal   Torkel Franzen
• [FOM] Question on Incompleteness Theorems   Mitchell Spector
• [FOM] twin prime conjecture   Also Antonelli

Last message date: Mon May 31 17:14:33 EDT 2004
Archived on: Fri Mar 11 12:50:41 EDT 2005

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