QED Mailing List

Messages from Mon, 12 Apr 1993 17:23:19 -0500 to Fri, 06 Aug 93 15:53:16 -0400

Let's start Rusty Lusk
Re: QED, Bourbaki and Mathematica Ted Ashton
response to Meglicki Bill McCune
manifest Gene Rackow
comments Richard Schroeppel
the base logic David McAllester
a multilingual approach David McAllester
Re: a multilingual approach guttman@linus.mitre.org
Formalizability as a Criterion for Mathematical Rigour John Harrison
Re: a multilingual approach Phil Windley
goals and the base logic Zdzislaw Meglicki
the base logic Pat Lincoln
references Robert S. Boyer
Bourbaki/Mathias FORSTER@matgen.ge.cnr.it
Re: a multilingual approach guttman@linus.mitre.org
Bourbaki/Mathias Tobias.Nipkow@informatik.tu-muenchen.de
Verification systems David McAllester
"Little Theories" and the base logic John Harrison
little theories jt@linus.mitre.org
Re: "Little Theories" and the base logic guttman@linus.mitre.org
Re: Verification systems guttman@linus.mitre.org
Answer to a question, and further speculation on a QED foundation Robert S. Boyer
Feferman FSO reference Robert S. Boyer
Re: Answer to a question, and further speculation on a QED foundation John Harrison
Verification systems David McAllester
Answer to a question, and further speculation on a QED foundation David McAllester
archiving of qed mail Rusty Lusk
support jt@linus.mitre.org
little theories and encryption Lawrence C Paulson
Different Schools David McAllester
Different Schools Lawrence C Paulson
illusion jt@linus.mitre.org
Re: illusion Lawrence C Paulson
base language victor yodaiken
illusiions jt@linus.mitre.org
Machine Math beeson@cats.UCSC.EDU
Machine Math Zdzislaw Meglicki
Why should a mathematician be interested in QED? chou@CS.UCLA.EDU
Machine math, clarification beeson@cats.UCSC.EDU
Re: Why should a mathematician be interested in QED? beeson@cats.UCSC.EDU
Re: Why should a mathematician be interested in QED? david mumford
bourbaki jt@linus.mitre.org
Re: little theories and encryption John Harrison
Why should a mathematician be interested in QED? David McAllester
Re: Why should a mathematician be interested in QED? david mumford
SUBSCRIBE qed Majordomo
Seminar Reminder cobb
Why should a mathematician be interested in QED? David McAllester
Bourbaki's construction of the reals John Harrison
Root Logics Randy Pollack
Re: Root Logics beeson@cats.UCSC.EDU
Root Logics Tobias.Nipkow@informatik.tu-muenchen.de
Re: Machine math, clarification Alan Bundy
Red Herring? Robert S. Boyer
Cold water Konrad Slind
Red Herring? Konrad Slind
Theorem generators and Theory Generators Dewey Val Schorre
Re:Machine Math Dewey Val Schorre
Why Mathematical System Modeling Needs the Mathematics of Analysis Konrad Slind
structure of qed Konrad Slind
Incentive to write proofs John Harrison
Other considerations mthayer@BIX.com
Re: Incentive to write proofs guttman@linus.mitre.org
Boyer's hypothesis jt@linus.mitre.org
Re: Incentive to write proofs chou@CS.UCLA.EDU
Document -- What's Done and What's to be Done Dewey Val Schorre
Re: Boyer's Hypothesis Zdzislaw Meglicki
Re: Incentive to write proofs Zdzislaw Meglicki
Boyer's Constant mthayer@BIX.com
Re: Boyer's Hypothesis John Harrison
Re: Analytica and Boyer's Hypothesis jt@linus.mitre.org
Re: Boyers Hypothesis Alan Bundy
Re: Document -- What's Done and What's to be Done Alan Bundy
Expansion Factors David McAllester
reactions Larry Wos
Re: Cold water dts@dcs.ed.ac.uk
Re: Cold water guttman@linus.mitre.org
Re: Cold water Zdzislaw Meglicki
getting a formal education Konrad Slind
Cold water Konrad Slind
Re: Cold Water Zdzislaw Meglicki
Cold Water Konrad Slind
QED Manifesto - Notes and Comments cal@aero.org
QED Manifesto - Notes and Comments Robert S. Boyer
Formalizing notations and context John Harrison
Re: Formalizing notations and context Zdzislaw Meglicki
Continuing Conversation - NO Flames cal@aero.org
Re: Continuing Conversation - NO Flames Zdzislaw Meglicki
another country Larry Wos
Re: another country Zdzislaw Meglicki
In response Larry Wos
How many false theorems are there? LYBRHED@delphi.com
Motivation #1 LYBRHED@delphi.com
From idea to project. LYBRHED@delphi.com
Re: Motivation #1 Wilfred Chen
Re: How many false theorems are there? victor yodaiken
from idea to project LYBRHED@delphi.com
Re: from idea to project jt@linus.mitre.org
Systems Implementing All of Mathematics Randall Holmes
Re: from idea to project Zdzislaw Meglicki
from idea to project LYBRHED@delphi.com
From idea to project LYBRHED@delphi.com
Re: From idea to project beeson@cats.ucsc.edu
Context Randall Holmes
QED-like Efforts Robert S. Boyer
Re: From idea to project jt@linus.mitre.org

Last message date: Fri, 06 Aug 93 15:53:16 -0400