July 2002 Archives by date
Starting: Wed Jul 3 15:13:58 EDT 2002
Ending: Sun Jul 28 16:42:28 EDT 2002
Messages: 69
- FOM: wolfram sued own employee over rule 110
vznuri at earthlink.net
- FOM: Re: pointless numbered postings?
friedman at math.ohio-state.edu
- FOM: ACA, Conservativeness, Speed-up, etc ....
Peter Smith
- FOM: cfp: Proceedings of the Second Workshop on Formal Topology
Giovanni Sambin
- FOM: finite axiomatization of an extension of PA
M. Randall Holmes
- FOM: ACA, Conservativeness, Speed-up, etc ....>
Richard Zach
- FOM: ACA, Conservativeness, Speed-up, etc ....
William Tait
- FOM: finite axiomatization of an extension of PA
Robert M. Solovay
- FOM: ACA, Conservativeness, Speed-up, etc ....
friedman at mbi.math.ohio-state.edu
- FOM: [LC2002] Last reminder (Please register)
Tagung LC2002
- FOM: ACA, Conservativeness, Speed-up, etc ....
Robert M. Solovay
- FOM: A question about model theory
John Goodrick
- FOM: omega-logic
Fredrik Engström
- FOM: omega-logic
Neil Tennant
- FOM: A question about model theory
Andrej Bauer
- FOM: Quantifier question
Torkel Franzen
- FOM: CAs, rule 110, NKS, and the wolfram vs cook lawsuit
vznuri at earthlink.net
- FOM: A question about model theory
Klaas Pieter Hart
- FOM: Quantifier question
friedman at mbi.math.ohio-state.edu
- FOM: Quantifier question
Matthew Frank
- FOM: Quantifier question
Torkel Franzen
- FOM: A question about model theory
Stephen G Simpson
- FOM: Quantifier question
Torkel Franzen
- FOM: Quantifier question
Thomas Forster
- FOM: Quantifier question
Torkel Franzen
- FOM: Re: Quantifier question
Jay Halcomb
- FOM: Quantifier question
Fredrik Engström
- FOM: CAs, rule 110, NKS, and the wolfram vs cook lawsuit
Rupert McCallum
- FOM: Omega logic references
A.P. Hazen
- FOM: Omega logic references (corrected posting)
A.P. Hazen
- FOM: Quantifier question
Vladik Kreinovich
- FOM: Omega logic references
H. Enderton
- FOM: Post-graduate departments in Mathematical Logic and/or Philosophy of Mathematics
Nikos Theodorou
- FOM: Cellular Automata: Computation vrs simulation
John T. Baldwin
- FOM: events related to paraconsistent logic
Stephen G Simpson
- FOM: AFA again
Sean C Stidd
- FOM: expr. power of syntax
Thomas Forster
- FOM: Rule 110, etc.
silver_1 at mindspring.com
- FOM: expr. power of syntax
Steve Stevenson
- FOM: transfinite progressions etc.
Neil Tennant
- FOM: Rule 110, etc.
William Tait
- FOM: transfinite progressions etc.
William Tait
- FOM: expr. power of syntax
Ben Abraham
- FOM: expr. power of syntax
Thomas Forster
- FOM: expr. power of syntax
Steve Stevenson
- FOM: expr. power of syntax (fwd)
Ben Abraham
- FOM: expr. power of syntax (fwd)
Ben Abraham
- FOM: expr. power of syntax
Stephen Fenner
- FOM: Rule 110, etc.
silver_1 at mindspring.com
- FOM: Rule 110, etc.
silver_1 at mindspring.com
- FOM: expr. power of syntax
Steve Stevenson
- FOM: expr. power of syntax
Stephen Fenner
- FOM: Expressiveness of Language I - Regular versus Context-Free
Dennis E. Hamilton
- FOM: Expressiveness of Language II - Into the Tarpit
Dennis E. Hamilton
- FOM: Theorizing About Theories II: Formality as Language Acquisition
Dennis E. Hamilton
- FOM: If cars were numbers
Dean Buckner
- FOM: workshop on implementation of logics
Stephen G Simpson
- FOM: expr. power of syntax
Steve Stevenson
- FOM: Theorizing About Theories I: Cantor's subsets and the beauty of theories
Dennis E. Hamilton
- FOM: Midwest Model Theory Meeting
Stephen G Simpson
- FOM: HA*
Neil Tennant
- FOM: Re: Theorizing About Theories II: Formality as Language Acquisition
Everdell at aol.com
- FOM: conference on Knowledge Based Computer Systems
Stephen G Simpson
- FOM: new journal on diagrammatic reasoning
Stephen G Simpson
- FOM: expr. power of syntax
Ben Abraham
- FOM: expr. power of syntax
Ben Abraham
- FOM: Learning to love ACA_0
Peter Smith
- FOM: Cellular Automata: Computation vrs simulation
Martin Davis
- FOM: conference on computational linguistics
Stephen G Simpson
Last message date:
Sun Jul 28 16:42:28 EDT 2002
Archived on: Fri Mar 11 12:49:39 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).