mbox by date

Most recent messages
Messages sorted by: [ thread ][ subject ][ author ]
Other mail archives

Starting: Sat 07 Aug 1993 - 21:56:08 CST
Ending: Wed 14 Dec 1994 - 12:46:34 CST
Messages: 223

new version of manifesto Rusty Lusk
Re: QED-like Efforts Dahn
The New Manifesto LYBRHED@delphi.com
Rigor in contemporary mathematics Robert S. Boyer
Re: Rigor in contemporary mathematics Zdzislaw Meglicki
False Theorems Richard Schroeppel
A question to the qed-owner. Piotr Rudnicki
Mizar Piotr Rudnicki
Mizar on ftp Piotr Rudnicki
Mizar Pricelist Robert S. Boyer
Title of Articles in the Journal Formalized Mathematics Robert S. Boyer
Delivery Report (failure) for R.B.Jones@win0109.wins.icl.co.uk mailer-daemon@pipex.net
Delivery Report (failure) for R.B.Jones@win0109.wins.icl.co.uk mailer-daemon@pipex.net
Open Math Workshop Rusty Lusk
Returned mail: Cannot send message for 4 days Mail Delivery Subsystem
Q: Tranformation Programs FOL -> Normalform Johann Schumann
QED deafness Gerard Huet
Rusty Lusks question Andrzej Trybulec
Re: Rusty Lusks question beeson@cats.ucsc.edu
conference announcement cal@antares.aero.org
Re: Rusty Lusks question bshults@fireant.ma.utexas.edu
Re: Rusty Lusks question Victor Yodaiken
Re: Rusty Lusks question beeson@cats.ucsc.edu
Boute reference yodaiken@sphinx.nmt.edu
QED audience F. Javier Thayer
QED audience F. Javier Thayer
QED audience Peter Doyle
Re: Rusty Lusks question Woody Bledsoe
More Motivations Robert S. Boyer
Has it all been said? John Staples
Has it all been said? John Staples
spelling out the Manifesto beeson@cats.ucsc.edu
spelling out the Manifesto John Staples
Prolog as a metatheory Robert S. Boyer
The workshop ended a week ago Piotr Rudnicki
Re: Prolog as a metatheory John Staples
Re: Qu-Prolog 3.2 and Ergo 4.0 Victor Yodaiken
Re: Qu-Prolog 3.2 and Ergo 4.0 John Harrison
Re: Qu-Prolog 3.2 and Ergo 4.0 John Staples
Necessity of meta theory -- was Re: Qu-Prolog .. Victor Yodaiken
Re: Necessity of meta theory -- was Re: Qu-Prolog .. John Staples
formalizing mathematics Ken Kunen
Re: formalizing mathematics John Harrison
Re: formalizing mathematics Victor Yodaiken
formalizing mathematics Ken Kunen
Re: formalizing mathematics John Harrison
salesmanship Ken Kunen
Re: salesmanship John Harrison
formalizing those examples beeson@cats.ucsc.edu
Report on QED Workshop John Staples
Formalizing variable binding John Harrison
Looking for Calvin Jongsma Piotr Rudnicki
Definite description and Choice in HOL R.B.Jones@win0109.wins.icl.co.uk
Re: Definite description and Choice in HOL Randall Holmes
Report on QED Workshop Ken Kunen
Examples Andrzej Trybulec
Re: Examples F. Javier Thayer
Re: Examples Piotr Rudnicki
Re: Examples F. Javier Thayer
Re: Examples Piotr Rudnicki
Re: Definite description and choice R.B.Jones@win0109.wins.icl.co.uk
Re: Examples F. Javier Thayer
Re: Definite description and choice John Harrison
Re: Formalising variable bindings/Show Me John Staples
AC and Description Ken Kunen
Re: Examples John Harrison
Feferman's FSO, etc. John Staples
Types Considered Harmful Piotr Rudnicki
Re: Types Considered Harmful Dahn
Re: Types Considered Harmful Victor Yodaiken
Re: Types Considered Harmful John Harrison
Re: Types Considered Harmful Phil Windley
Re: Types Considered Harmful Victor Yodaiken
Re: Types Considered Harmful Victor Yodaiken
Re: Types Considered Harmful chou@cs.ucla.edu
"Types Considered Harmful" comment cal@antares.aero.org
Types Considered Harmful David McAllester
Accept Diversity Peter.Andrews@K.GP.CS.CMU.EDU
Thoughts on QED Peter.Andrews@K.GP.CS.CMU.EDU
translation into a standard language John McCarthy
Re: Accept Diversity Richard Boulton
Accept Anarchy David McAllester
Re: Accept Anarchy Victor Yodaiken
Re: Accept Anarchy Richard Boulton
set theory Robert S. Boyer
Re: set theory John McCarthy
Re: set theory Robert S. Boyer
Re: set theory John McCarthy
set theory David McAllester
Re: set theory John McCarthy
More replies to JMC Robert S. Boyer
Re: More replies to JMC John McCarthy
Re: set theory Thomas Forster
Re: set theory vs type theory F. Javier Thayer
Re: set theory Victor Yodaiken
Automath restaurant N.G. de Bruijn
types Ken Kunen
Re: Automath restaurant Zdzislaw Meglicki
Types and sorts William M. Farmer
Re: Types and sorts hoove@oracorp.com
Types, sorts and variable types Solomon Feferman
Types, sorts and variable types Solomon Feferman
Re: Types and sorts William M. Farmer
Types, sorts and variable types David McAllester
types and sorts N.G. de Bruijn
Types and sets Dahn
intermediate value theorem beeson@cats.UCSC.EDU
Re: Intermediate Value Theorem Dahn
Re: Intermediate Value Theorem GETFOL Manager
Naive Observations [Was: Why should a mathematician be interested in QED? ] Daniel W. Connolly
PRA as a foundation David McAllester
PRA as a foundation Dahn
Bookkeeping Dahn
PRA as a foundation David McAllester
Remarks on David's Mail of Oct. 25 Dahn
Remarks on David's Mail of Oct. 25 David McAllester
Re: PRA as a foundation Piotr Rudnicki
Re: Remarks on David's Mail of Oct. 25 Gerard Huet
Remarks on David's Mail of Oct. 25 John McCarthy
Truth Randall Holmes
Re: Remarks on David's Mail of Oct. 25 Victor Yodaiken
Bit strings and semantics Randall Holmes
Semantics Dahn
Semantics John McCarthy
Freiling Dahn
Re: Bit strings and semantics Victor Yodaiken
Semantics Randall Holmes
Re: Semantics Robert S. Boyer
Floating-point Randall Holmes
Shuffling syntax Randall Holmes
Re: Shuffling syntax Victor Yodaiken
The value of Platonism David McAllester
history Ken Kunen
Re: The value of Platonism Dahn
Who are the intended customers of QED? chou@cs.ucla.edu
Semantics Karlis Podnieks
BOUNCE qed@mcs.anl.gov: Admin request owner-qed@mcs.anl.gov
Many customers of QED ? Jan Friso Groote
Who are the intended customers of QED? David McAllester
Machine verification of our proofs Alan Bundy
Re: Who are the intended customers of QED? White Peter
Who are the customers for QED. White Peter
Re: Who are the customers for QED. John McCarthy
qed applied to four color theorem John McCarthy
Re: Who are the intended customers of QED? chou@cs.ucla.edu
Semantics David McAllester
Semantics Karlis Podnieks
Semantics Karlis Podnieks
Semantics Karlis Podnieks
Re: Who are the customers for QED. John Staples
Semantics Karlis Podnieks
Semantics Karlis Podnieks
Intuition about Freiling's axiom N.G. de Bruijn
Re: Intuition about Freiling's axiom Zdzislaw Meglicki
Re: Intuition about Freiling's axiom Thomas Forster
Re: Intuition about Freiling's axiom John McCarthy
Semantics David McAllester
Remarks on David's Mail of Oct. 25 David McAllester
Semantics Randall Holmes
Re: Remarks on David's Mail of Oct. 25 Konrad Slind
Intuition Bernd Ingo Dahn
Platonism N.G. de Bruijn
Platonism Randall Holmes
Re: Platonism Victor Yodaiken
Re: Platonism Randall Holmes
Re: Platonism Roger Bishop Jones
Re: Platonism Victor Yodaiken
Platonism Lyle Burkhead
Wiles' proof of the Fermat Theorem Zdzislaw Meglicki
The Fermat-Wiles Theorem Lyle Burkhead
Thin-skinned Platonists Lyle Burkhead
Re: The Fermat-Wiles Theorem Zdzislaw Meglicki
Re: Thin-skinned Platonists Randall Holmes
Re: Thin-skinned Platonists Randall Holmes
The Fermat-Wiles Theorem Ken Kunen
Re: The Fermat-Wiles Theorem Victor Yodaiken
Re: The Fermat-Wiles Theorem Piotr Rudnicki
Re: Thin-skinned Platonists Roger Bishop Jones
Platonism Lyle Burkhead
The Fermat-Wiles Theorem Lyle Burkhead
Re: The Fermat-Wiles Theorem Susan L. Gerhart, Director, UHCL/RICIS
platonism N.G. de Bruijn
Re: The Fermat-Wiles Theorem Victor Yodaiken
Re: The Fermat-Wiles Theorem hoove@oracorp.com
Re: The Fermat-Wiles Theorem Thomas Forster
Re: The Fermat-Wiles Theorem Mohsin Ahmed
Errors in the Literature Richard Schroeppel
Re: The Fermat-Wiles Theorem David Mumford
The Pentium chip wasn't verified beeson@cats.UCSC.EDU
Re: The Pentium chip wasn't verified chou@cs.ucla.edu
Re: The Pentium chip wasn't verified Victor Yodaiken
Cohn paper on hardware verification Victor Yodaiken
Errors in Mathematics Lyle Burkhead
Re: Errors in Mathematics Victor Yodaiken
Re: Errors in Mathematics Manfred Kerber
Re: Errors in Mathematics Thomas Forster
Re: The Pentium chip wasn't verified Phil Windley
The Pentium chip wasn't verified Miriam Leeser
Re: Errors in Mathematics Mohsin Ahmed
Re: Errors in Mathematics Richard Waldinger
Re: The Pentium chip wasn't verified Victor Yodaiken
Re: The Pentium chip wasn't verified Phil Windley
Re: The Pentium chip wasn't verified Victor Yodaiken
The Pentium chip wasn't verified Miriam Leeser
Re: Hardware Verification and New Mathematics cal@ANTARES.AERO.ORG
Errors in published proofs Mark Aagaard
hardware verification Mark Aagaard
Mark Aagaard's work on verifying pipelines Miriam Leeser
Re: Errors in Mathematics David Mumford
Re: Mark Aagaard's work on verifying pipelines Victor Yodaiken
False theorems in print? David Mumford
AUTOMATH Lawrence C Paulson
FWD: NYTimes article on Pentium bug chou@cs.ucla.edu
FWD: The President of Intel responds chou@cs.ucla.edu
Re: FWD: NYTimes article on Pentium bug John Harrison
Formally verified arithmetic Gerard Huet
New ARPA RFP in Computer Aided Education Robert S. Boyer
BOUNCE qed@mcs.anl.gov: Admin request owner-qed@mcs.anl.gov
disparaging remarks Lyle Burkhead
disparaging remarks F. Javier Thayer
Hardware verification Victor Yodaiken
Re: Hardware verification Victor Yodaiken
Re: Hardware verification Paul Jackson

Last message date: Wed 14 Dec 1994 - 12:46:34 CST
Archived on: Tue Apr 02 1996 - 15:55:51 CST

Messages sorted by: [ thread ][ subject ][ author ]
Other mail archives

This archive was generated by hypermail 1.02.