June 1999 Archives by thread

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

Starting: Tue Jun 1 02:15:41 EDT 1999
Ending: Tue Jun 29 09:21:33 EDT 1999
Messages: 48

• FOM: role of formalization in f.o.m.   Kanovei
• FOM: formalization   Robert Tragesser
  • FOM: formalization   Harvey Friedman
  • FOM: role of formalization in f.o.m.   Stephen G Simpson
    • FOM: role of formalization in f.o.m.   Robert Black
      • FOM: formalization; Hilbert; Tragesser; arithmetic plus geometry   Stephen G Simpson
• FOM: misunderstandings   holmes at catseye.idbsu.edu
  • FOM: role of formalization in f.o.m.; coordinate systems   Stephen G Simpson
• FOM: role of formalization in f.o.m.   holmes at catseye.idbsu.edu
• FOM: Anti-formalizationism and anti-foundationalism   Joe Shipman
  • FOM: role of formalization in f.o.m.; Conway   Stephen G Simpson
• FOM: formalization   holmes at catseye.idbsu.edu
• FOM: Re: Your automated prover   holmes at catseye.idbsu.edu
• FOM: Foundational Ways   Jeremy Avigad
  • FOM: Foundational Ways   Stephen G Simpson
• FOM: formalization; Hilbert; Tragesser; arithmetic plus geometry   Robert Tragesser
  • FOM: formalization; Tragesser   Harvey Friedman
• FOM: Scope of FOM?   John Pais
  • FOM: formalization; Pais/Gonshor confusion   Stephen G Simpson
• FOM: Tragesser; full formalization; Lakatos; reverse mathematics   Stephen G Simpson
• FOM: Geometry, arithmetic and nominalism   Ketland,JJ
• FOM: Awe   Harvey Friedman
  • FOM: awe; an unusual recursion theory meeting   Stephen G Simpson
• FOM: Nonmonotonic Reasoning & Posting Surgery   John Pais
  • FOM: surgery; Pais/Gonshor confusion   Stephen G Simpson
• FOM: policy for FOM postings; surgery   Stephen G Simpson
• FOM: more on Hilbert's "Axiomatishes Denken"   Neil Tennant
  • FOM: more on Hilbert's "Axiomatishes Denken"   dubucs
• FOM: fom hiatus   Stephen G Simpson
• FOM: How clear was Hilbert?   Neil Tennant
  • FOM: Re: How clear was Hilbert?   dubucs
  • FOM: How clear was Hilbert?   William Tait
• FOM: more on Hilbert, Monism and Optimism   Neil Tennant
  • FOM: Re: more on Hilbert, Monism and Optimism   dubucs
• FOM: more on Hilbert and Goedel   Neil Tennant
  • FOM: Re: more on Hilbert and Goedel   dubucs
    • FOM: More on Hilbert (and Goedel)   Wilfried Sieg
• FOM: more on Hilbert   Neil Tennant
• FOM: Hilbert and solvability, etc.   Michael Detlefsen
• FOM: an unusual recursion theory meeting   Stephen G Simpson
  • FOM: an unusual recursion theory meeting; impressions of CTA talks   Stephen G Simpson
• FOM: fom hiatus   Stephen G Simpson
• FOM: new directions in DST   Kanovei
• FOM: recent fom-exchange on HILBERT   Bernd Buldt
  • FOM: Recent exchange on HILBERT   Wilfried Sieg
• FOM: impressions of CTA talks; Shlapentokh's talk   Stephen G Simpson
• FOM: Hilbert's logicism   Michael Detlefsen
• FOM: RVM vs V=L   JoeShipman at aol.com

Last message date: Tue Jun 29 09:21:33 EDT 1999
Archived on: Fri Mar 11 12:48:36 EDT 2005

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