October 1997 Archives by thread

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

Starting: Wed Oct 1 19:31:04 EDT 1997
Ending: Fri Oct 31 16:48:17 EDT 1997
Messages: 113

foundations of mathematics Stephen G Simpson
- foundations of mathematics Dave Marker
foundations of mathematics Lou van den Dries
foundations of mathematics Lou van den Dries
foundations Harvey Friedman
- foundations of mathematics Stephen G Simpson
  - foundations of mathematics Jon Barwise
    - foundations of mathematics Stephen G Simpson
FOM: an automated e-mail list for Foundations of Mathematics Stephen G Simpson
FOM: current subscriber base Stephen G Simpson
FOM: "The Ignorance of Bourbaki" Stephen G Simpson
FOM: "The Ignorance of Bourbaki" Lou van den Dries
- FOM: "The Ignorance of Bourbaki" Stephen G Simpson
FOM: Hilbert and Set Theory Akihiro Kanamori
FOM: ps in email Jon Barwise
- FOM: ps in email Akihiro Kanamori
FOM: "crises" and crises Harvey Friedman
FOM: "crises" and crises Lou van den Dries
- FOM: Atiyah's Bakerian lecture Stephen G Simpson
FOM: "crises" and crises Harvey Friedman
No subject Richard Laver
FOM: "crises" and crises Lou van den Dries
FOM: accentuating the positive; an administrative note Stephen G Simpson
- FOM: accentuating the positive; an administrative note Hilary Putnam
FOM: Atiyah's Bakerian lecture Lou van den Dries
- FOM: applied model theory; foundations of mathematics Stephen G Simpson
  - FOM: applied model theory; foundations of mathematics Josef Mattes
No subject Anand Pillay
- FOM: model theory; Lang conjectures; reverse math; Barry Mazur Stephen G Simpson
FOM: message from Hilary Putnam Stephen G Simpson
- FOM: message from Hilary Putnam Vaughan R. Pratt
FOM: membership John Baldwin
- FOM: membership Hilary Putnam
FOM: on foundations etc. Neil Tennant
- FOM: f.o.m. and the working mathematician; Quinean holism Stephen G Simpson
FOM: basic concepts; structuralism Stephen G Simpson
- FOM: basic concepts; structuralism Vaughan R. Pratt
FOM: on foundations etc. Lou van den Dries
FOM: fom & matiyasevich's theorem Dave Marker
No subject Anand Pillay
- FOM: Matiyasevic's theorem versus Lang conjectures Stephen G Simpson
FOM: model theory Dave Marker
- FOM: applied model theory; what is "foundational"? Stephen G Simpson
No subject Dave Marker
No subject marker at math.uic.edu
FOM: concepts, sets Neil Tennant
- FOM: concepts, sets Vaughan R. Pratt
FOM: Simpson writes JSHIPMAN at bloomberg.net
FOM: Golden Age/FOM plans Harvey Friedman
- FOM: Golden Age/FOM plans Vaughan R. Pratt
FOM: excited! Harvey Friedman
FOM: foundations?? Harvey Friedman
No subject Lou van den Dries
- FOM: Faltings' theorem isn't basic Stephen G Simpson
FOM: PS on "arcane" Lou van den Dries
FOM: I have no problem with "basic" questions requiring arcane and JSHIPMAN at bloomberg.net
FOM: How basic is Faltings's theorem? JSHIPMAN at bloomberg.net
FOM: foundations/applications clarification. marker at math.uic.edu
FOM: Faltings' theorem isn't basic Lou van den Dries
- FOM: Faltings' theorem isn't basic Stephen G Simpson
No subject Anand Pillay
- FOM: Lang/Greece = Matijasevic/India Stephen G Simpson
FOM: arcane, genus, algorithm John Baldwin
FOM: arcane, genus, algorithm, etc. jshipman at bloomberg.net
FOM: Mathematics, the world of experience, and the concept of proof Jon Barwise
- FOM: Mathematics, the world of experience, and the concept of proof Vaughan R. Pratt
No subject Jeff Remmel
FOM: whence "mathematics"? Neil Tennant
FOM: OpenMindedComparison Harvey Friedman
FOM: ReplyToLou Harvey Friedman
FOM: ReplyToBaldwin/Marker Harvey Friedman
FOM: natural numbers Neil Tennant
FOM: apology marker at math.uic.edu
FOM: OpenMindedComparison Lou van den Dries
FOM: large cardinals and Diophantine equations Martin Davis
- FOM: ReplyToDavis Harvey Friedman
FOM: ReplyToAnand/Baldin/Mattes Harvey Friedman
- FOM: ReplyToAnand/Baldin/Mattes Josef Mattes
FOM: ReplyToBarwise/Pratt/Remmel Harvey Friedman
FOM: natural numbers Martin Davis
FOM: foundationS of mathematics John Baldwin
- FOM: ReplyToBaldwin Harvey Friedman
FOM: OpenMindedComparison John Baldwin
FOM: Schema N Moshe' Machover
FOM: a message from the moderator Stephen G Simpson
FOM: OpenMindedComparison Lou van den Dries
- FOM: ReplyToLou Harvey Friedman
FOM: numbers Neil Tennant
FOM: MRDP theorem; Mazur; Quinean holism; what are basic concepts? Stephen G Simpson
FOM: Response to Harvey Jon Barwise
- FOM: ReplyToBarwise Harvey Friedman
  - FOM: Proposal: Unified Foundations Vaughan R. Pratt
FOM: mea culpa Jon.Barwise at tarski.phil.indiana.edu
FOM: ReplyToLou Lou van den Dries
- FOM: ReplyToLou Harvey Friedman
FOM: ReplyToLou Martin Davis
FOM: accessibility of abstract notion of algorithm John Baldwin
- FOM: accessibility of abstract notion of algorithm Vaughan R. Pratt
- FOM: Steve's barber; Lou on Faltings' theorem Stephen G Simpson
FOM: accessibility of "algorithm" jshipman at bloomberg.net
- FOM: accessibility of "algorithm" Vaughan R. Pratt
FOM: formalism Judy Roitman
FOM: accessibility of "algorithm" Sam Buss
FOM: ReplyToDavis Martin Davis
FOM: Steve's barber; Lou on Faltings' theorem Lou van den Dries
FOM: fom: faltings,barbers... marker at math.uic.edu
FOM: barbers Neil Tennant
FOM: General intellectuals etc. Anand Pillay
FOM: Agreeing on a hypothetical interlocutor JSHIPMAN at bloomberg.net
FOM: ReplyToAnand Harvey Friedman
- FOM: ReplyToAnand Josef Mattes
FOM: Synthese issue Akihiro Kanamori
FOM: "The Complete Theory of Everything" Stephen G Simpson

Last message date: Fri Oct 31 16:48:17 EDT 1997
Archived on: Fri Mar 11 12:47:25 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).