September 2001 Archives by date

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

Starting: Sun Sep 2 19:10:46 EDT 2001
Ending: Fri Sep 28 23:29:36 EDT 2001
Messages: 43

• FOM: Canonical non-computable number?   JoeShipman at aol.com
• FOM: Canonical codings   JoeShipman at aol.com
• FOM: Canonical non-computable number?   G Barmpalias
• FOM: Canonical codings   Kanovei
• FOM: shankar book, questions on g"odel's result + recursion   vznuri at earthlink.net
• FOM: More on canonical codings   JoeShipman at aol.com
• FOM: Canonical non-computable number?   Andrej Bauer
• FOM: Canonical non-computable number?   Robert Swartz
• FOM: Canonical codings: reply to critics   JoeShipman at aol.com
• FOM: Canonical non-computable number?   Stephen Fenner
• FOM: Canonical codings   Stephen Fenner
• FOM: proof-theoretic strength of topoi   Wilkins, Elwood B
• FOM: news on unprovability of P=?NP   vznuri at earthlink.net
• FOM: Unsolvable problems and coding   JoeShipman at aol.com
• FOM: A Natural(?) Nonrecursive Set of Integers   Harvey Friedman
• FOM: A Natural(?) Nonrecursive Set of Integers (more)   Harvey Friedman
• FOM: g"odel's proof: software engr's version   vznuri at earthlink.net
• FOM: formal methods symposium   Stephen G Simpson
• FOM: Canonical non-computable number?   William Calhoun
• FOM: Question on Text   Steve Stevenson
• FOM: Question on Text   Vladik Kreinovich
• FOM: Second Workshop on Formal Topology, Venice, April 2002   Giovanni Sambin
• FOM: Canonical non-computable number?   Kanovei
• FOM: Set theory and type theory   Till Mossakowski
• FOM: 108:Finite Boolean Relation Theory   Harvey Friedman
• FOM: Set theory and type theory   Thomas Forster
• FOM: Set theory and type theory   Thomas Forster
• FOM: Set theory and type theory   Thomas Forster
• FOM: Set theory and type theory   jvoosten at math.uu.nl
• FOM: chaitin review   Raatikainen Panu A K
• FOM: LICS 2002 Call for Papers   Stephen G Simpson
• FOM: 109:Natural Nonrecursive Sets   Harvey Friedman
• FOM: What is f.o.m., briefly?   Peter Schuster
• FOM: What is f.o.m., briefly?   Kanovei
• FOM: Infinity   JoeShipman at aol.com
• FOM: Infinity   Neil Tennant
• FOM: Infinity   JoeShipman at aol.com
• FOM: Infinity   Kanovei
• FOM:infinity   Fernando Ferreira
• FOM: Infinity   JoeShipman at aol.com
• FOM: Infinity   Richard G. Heck, Jr.
• FOM: Infinity   JoeShipman at aol.com
• FOM: Infinity   A.P. Hazen

Last message date: Fri Sep 28 23:29:36 EDT 2001
Archived on: Fri Mar 11 12:49:22 EDT 2005

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