October 1997 Archives by date
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: "crises" and crises
Harvey Friedman
- No subject
Richard Laver
- FOM: Atiyah's Bakerian lecture
Stephen G Simpson
- FOM: "crises" and crises
Lou van den Dries
- FOM: accentuating the positive; an administrative note
Stephen G Simpson
- FOM: Atiyah's Bakerian lecture
Lou van den Dries
- FOM: applied model theory; foundations of mathematics
Stephen G Simpson
- FOM: accentuating the positive; an administrative note
Hilary Putnam
- No subject
Anand Pillay
- FOM: message from Hilary Putnam
Stephen G Simpson
- FOM: message from Hilary Putnam
Vaughan R. Pratt
- FOM: membership
John Baldwin
- FOM: on foundations etc.
Neil Tennant
- FOM: basic concepts; structuralism
Stephen G Simpson
- FOM: on foundations etc.
Lou van den Dries
- FOM: basic concepts; structuralism
Vaughan R. Pratt
- FOM: f.o.m. and the working mathematician; Quinean holism
Stephen G Simpson
- FOM: fom & matiyasevich's theorem
Dave Marker
- FOM: model theory; Lang conjectures; reverse math; Barry Mazur
Stephen G Simpson
- No subject
Anand Pillay
- FOM: Matiyasevic's theorem versus Lang conjectures
Stephen G Simpson
- FOM: model theory
Dave Marker
- No subject
Dave Marker
- FOM: applied model theory; what is "foundational"?
Stephen G Simpson
- No subject
marker at math.uic.edu
- FOM: concepts, sets
Neil Tennant
- FOM: membership
Hilary Putnam
- FOM: Simpson writes
JSHIPMAN at bloomberg.net
- FOM: Golden Age/FOM plans
Harvey Friedman
- FOM: excited!
Harvey Friedman
- FOM: foundations??
Harvey Friedman
- No subject
Lou van den Dries
- FOM: PS on "arcane"
Lou van den Dries
- FOM: I have no problem with "basic" questions requiring arcane and
JSHIPMAN at bloomberg.net
- FOM: Faltings' theorem isn't basic
Stephen G Simpson
- 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: applied model theory; foundations of mathematics
Josef Mattes
- FOM: Faltings' theorem isn't basic
Stephen G Simpson
- No subject
Anand Pillay
- FOM: concepts, sets
Vaughan R. Pratt
- 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
- No subject
Jeff Remmel
- FOM: whence "mathematics"?
Neil Tennant
- FOM: Mathematics, the world of experience, and the concept of proof
Vaughan R. Pratt
- FOM: Golden Age/FOM plans
Vaughan R. Pratt
- 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: ReplyToAnand/Baldin/Mattes
Harvey Friedman
- FOM: ReplyToBarwise/Pratt/Remmel
Harvey Friedman
- FOM: natural numbers
Martin Davis
- FOM: foundationS of mathematics
John Baldwin
- 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: numbers
Neil Tennant
- FOM: MRDP theorem; Mazur; Quinean holism; what are basic concepts?
Stephen G Simpson
- FOM: Response to Harvey
Jon Barwise
- FOM: mea culpa
Jon.Barwise at tarski.phil.indiana.edu
- FOM: ReplyToLou
Harvey Friedman
- FOM: ReplyToDavis
Harvey Friedman
- FOM: ReplyToBaldwin
Harvey Friedman
- FOM: ReplyToBarwise
Harvey Friedman
- FOM: ReplyToLou
Lou van den Dries
- FOM: ReplyToLou
Martin Davis
- FOM: accessibility of abstract notion of algorithm
John Baldwin
- FOM: accessibility of abstract notion of algorithm
Vaughan R. Pratt
- FOM: ReplyToLou
Harvey Friedman
- FOM: accessibility of "algorithm"
jshipman at bloomberg.net
- FOM: formalism
Judy Roitman
- FOM: accessibility of "algorithm"
Sam Buss
- FOM: accessibility of "algorithm"
Vaughan R. Pratt
- FOM: ReplyToDavis
Martin Davis
- FOM: Steve's barber; Lou on Faltings' theorem
Stephen G Simpson
- FOM: Steve's barber; Lou on Faltings' theorem
Lou van den Dries
- FOM: Proposal: Unified Foundations
Vaughan R. Pratt
- FOM: fom: faltings,barbers...
marker at math.uic.edu
- FOM: ReplyToAnand/Baldin/Mattes
Josef Mattes
- 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: Synthese issue
Akihiro Kanamori
- FOM: "The Complete Theory of Everything"
Stephen G Simpson
- FOM: ReplyToAnand
Josef Mattes
Last message date:
Fri Oct 31 16:48:17 EDT 1997
Archived on: Fri Mar 11 12:47:25 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).