QED by subject

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

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