mbox by subject

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

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

"Types Considered Harmful" comment
- cal@antares.aero.org Mon, 8 Aug 1994 17:19:47 -0700
A question to the qed-owner.
- Piotr Rudnicki Sat, 30 Oct 1993 21:18:58 -0600
AC and Description
- Ken Kunen Mon, 20 Jun 94 15:53:16 -0500
Accept Anarchy
- Richard Boulton Fri, 12 Aug 94 18:37:06 +0100
- Victor Yodaiken Fri, 12 Aug 1994 10:28:53 -0600
- David McAllester Fri, 12 Aug 94 09:52:23 EDT
Accept Diversity
- Richard Boulton Fri, 12 Aug 94 12:52:31 +0100
- Peter.Andrews@K.GP.CS.CMU.EDU Thursday, 11 August 1994 16:19:57 EDT
AUTOMATH
- Lawrence C Paulson Fri, 25 Nov 1994 10:35:55 +0000
Automath restaurant
- Zdzislaw Meglicki Sun, 21 Aug 1994 17:21:48 +1000 (EST)
- N.G. de Bruijn Fri, 19 Aug 1994 13:03:52
Bit strings and semantics
- Victor Yodaiken Thu, 27 Oct 1994 08:27:21 -0600
- Randall Holmes Wed, 26 Oct 1994 16:52:50 -0600
Bookkeeping
- Dahn Tue, 25 Oct 94 15:54:21 +0100
BOUNCE qed@mcs.anl.gov: Admin request
- owner-qed@mcs.anl.gov Wed, 30 Nov 1994 10:43:05 -0600
- owner-qed@mcs.anl.gov Mon, 31 Oct 1994 06:31:11 -0600
Boute reference
- yodaiken@sphinx.nmt.edu Thu, 12 May 1994 11:41:54 -0600
Cohn paper on hardware verification
- Victor Yodaiken Sun, 20 Nov 1994 17:06:06 -0700
conference announcement
- cal@antares.aero.org Thu, 12 May 1994 08:31:33 -0700
Definite description and choice
- John Harrison Sat, 18 Jun 94 17:44:17 +0100
- R.B.Jones@win0109.wins.icl.co.uk Sat, 18 Jun 1994 14:47:25 +0100
Definite description and Choice in HOL
- Randall Holmes Thu, 16 Jun 94 04:41:11 -0600
- R.B.Jones@win0109.wins.icl.co.uk Thu, 16 Jun 1994 10:11:52 +0100
Delivery Report (failure) for R.B.Jones@win0109.wins.icl.co.uk
- mailer-daemon@pipex.net Sat, 20 Nov 1993 06:49:32 +0000
- mailer-daemon@pipex.net Sat, 20 Nov 1993 04:23:49 +0000
disparaging remarks
- F. Javier Thayer Thu, 8 Dec 1994 11:40:47 -0500
- Lyle Burkhead Thu, 08 Dec 1994 03:38:19 -0500 (EST)
Errors in Mathematics
- David Mumford Wed, 23 Nov 94 10:41:22 EST
- Richard Waldinger Mon, 21 Nov 94 11:53:39 PST
- Mohsin Ahmed Mon, 21 Nov 1994 12:52:35 -0500
- Thomas Forster Mon, 21 Nov 94 13:46 GMT
- Manfred Kerber Mon, 21 Nov 1994 13:57:02 +0100 (MET)
- Victor Yodaiken Mon, 21 Nov 1994 03:00:01 -0700
- Lyle Burkhead Mon, 21 Nov 1994 01:18:04 -0500 (EST)
Errors in published proofs
- Mark Aagaard Tue, 22 Nov 1994 15:53:03 -0800
Errors in the Literature
- Richard Schroeppel Fri, 18 Nov 1994 12:26:39 MST
Examples
- John Harrison Thu, 23 Jun 94 15:54:14 +0100
- F. Javier Thayer Sat, 18 Jun 1994 10:09:59 -0400
- Piotr Rudnicki Fri, 17 Jun 1994 22:31:07 -0600
- F. Javier Thayer Fri, 17 Jun 1994 18:01:07 -0400
- Piotr Rudnicki Fri, 17 Jun 1994 15:24:49 -0600
- F. Javier Thayer Fri, 17 Jun 1994 16:04:22 -0400
- Andrzej Trybulec Fri, 17 Jun 1994 13:34:20 -0600
False Theorems
- Richard Schroeppel Thu, 12 Aug 1993 13:36:05 MST
False theorems in print?
- David Mumford Wed, 23 Nov 94 13:47:39 EST
Feferman's FSO, etc.
- John Staples Tue, 5 Jul 1994 10:44:30 +1000 (EST)
Floating-point
- Randall Holmes Thu, 27 Oct 1994 09:26:58 -0600
Formalising variable bindings/Show Me
- John Staples Mon, 20 Jun 1994 15:53:00 +1000 (EST)
formalizing mathematics
- John Harrison Thu, 09 Jun 94 01:53:55 +0100
- Ken Kunen Wed, 8 Jun 94 12:31:48 -0500
- Victor Yodaiken Wed, 8 Jun 1994 02:36:49 -0600
- John Harrison Tue, 07 Jun 94 18:48:25 +0100
- Ken Kunen Tue, 7 Jun 94 08:31:40 -0500
formalizing those examples
- beeson@cats.ucsc.edu Mon, 13 Jun 1994 07:44:34 -0700
Formalizing variable binding
- John Harrison Wed, 15 Jun 94 22:36:29 +0100
Formally verified arithmetic
- Gerard Huet Tue, 29 Nov 94 18:27:58 +0100
Freiling
- Dahn Thu, 27 Oct 94 12:31:45 +0100
FWD: NYTimes article on Pentium bug
- John Harrison Tue, 29 Nov 1994 16:04:03 +0000
- chou@cs.ucla.edu Sun, 27 Nov 94 11:54:31 PST
FWD: The President of Intel responds
- chou@cs.ucla.edu Sun, 27 Nov 94 16:18:57 PST
Hardware verification
- Paul Jackson Wed, 14 Dec 1994 13:44:39 -0500
- Victor Yodaiken Wed, 14 Dec 1994 08:56:27 -0700
- Victor Yodaiken Sun, 11 Dec 1994 16:47:01 -0700
- Mark Aagaard Tue, 22 Nov 1994 16:50:10 -0800
Hardware Verification and New Mathematics
- cal@ANTARES.AERO.ORG Tue, 22 Nov 1994 10:13:49 -0800
Has it all been said?
- John Staples Mon, 16 May 1994 08:34:40 +1000 (EST)
- John Staples Sat, 14 May 1994 09:34:13 +1000 (EST)
history
- Ken Kunen Thu, 27 Oct 94 15:33:42 -0500
Intermediate Value Theorem
- GETFOL Manager Mon, 3 Oct 1994 19:03:28 +0100
- Dahn Tue, 6 Sep 94 13:39:12 +0200
- beeson@cats.UCSC.EDU Thu, 1 Sep 1994 10:13:07 -0700
Intuition
- Bernd Ingo Dahn Tue, 8 Nov 94 12:50:42 +0100
Intuition about Freiling's axiom
- John McCarthy Sun, 6 Nov 1994 11:46:16 -0800
- Thomas Forster Sun, 6 Nov 94 16:07 GMT
- Zdzislaw Meglicki Sun, 6 Nov 1994 12:33:49 +1100 (EST)
- N.G. de Bruijn Fri, 04 Nov 1994 13:38:05
Looking for Calvin Jongsma
- Piotr Rudnicki Wed, 15 Jun 1994 16:55:09 -0600
Machine verification of our proofs
- Alan Bundy Mon, 31 Oct 94 16:20:49 +0100
Many customers of QED ?
- Jan Friso Groote Tue, 1 Nov 1994 14:11:45 +0100 (MET)
Mark Aagaard's work on verifying pipelines
- Victor Yodaiken Wed, 23 Nov 1994 09:42:50 -0700
- Miriam Leeser Wed, 23 Nov 94 10:05:46 EST
Mizar
- Piotr Rudnicki Sat, 6 Nov 1993 12:02:29 -0700
Mizar on ftp
- Piotr Rudnicki Tue, 9 Nov 1993 14:40:12 -0700
Mizar Pricelist
- Robert S. Boyer Fri, 19 Nov 93 13:38:33 CST
More Motivations
- Robert S. Boyer Fri, 13 May 94 10:19:04 CDT
More replies to JMC
- John McCarthy Sun, 14 Aug 94 09:34:26 -0700
- Robert S. Boyer Sun, 14 Aug 94 10:53:10 CDT
Naive Observations [Was: Why should a mathematician be interested in QED? ]
- Daniel W. Connolly Sat, 08 Oct 1994 02:32:21 -0500
New ARPA RFP in Computer Aided Education
- Robert S. Boyer Tue, 29 Nov 94 12:26:50 CST
new version of manifesto
- Rusty Lusk Sat, 07 Aug 1993 21:51:44 -0500
Open Math Workshop
- Rusty Lusk Tue, 23 Nov 1993 12:46:41 -0600
platonism
- N.G. de Bruijn Fri, 18 Nov 1994 15:49:10
- Lyle Burkhead Fri, 18 Nov 1994 02:56:32 -0500 (EST)
- Lyle Burkhead Thu, 10 Nov 1994 03:26:53 -0500 (EST)
- Victor Yodaiken Wed, 9 Nov 1994 14:15:35 -0700
- Roger Bishop Jones Wed, 09 Nov 1994 20:24:51 GMT
- Randall Holmes Wed, 9 Nov 1994 12:46:01 -0700
- Victor Yodaiken Wed, 9 Nov 1994 12:18:36 -0700
- Randall Holmes Wed, 9 Nov 1994 11:00:00 -0700
- N.G. de Bruijn Wed, 09 Nov 1994 16:36:18
PRA as a foundation
- Piotr Rudnicki Wed, 26 Oct 1994 10:45:39 -0600 (MDT)
- David McAllester Tue, 25 Oct 94 11:56:28 EDT
- Dahn Tue, 25 Oct 94 13:53:51 +0100
- David McAllester Fri, 14 Oct 94 17:51:28 EDT
Prolog as a metatheory
- John Staples Wed, 1 Jun 1994 15:23:17 +1000 (EST)
- Robert S. Boyer Wed, 25 May 94 09:13:12 CDT
Q: Tranformation Programs FOL -> Normalform
- Johann Schumann Fri, 7 Jan 1994 11:16:49 +0100
qed applied to four color theorem
- John McCarthy Tue, 1 Nov 1994 11:42:24 -0800
QED audience
- Peter Doyle Thu, 12 May 94 15:27:29 PDT
- F. Javier Thayer Thu, 12 May 1994 14:08:37 -0400
- F. Javier Thayer Thu, 12 May 1994 13:58:42 -0400
QED deafness
- Gerard Huet Tue, 10 May 1994 19:31:40 +0200
QED-like Efforts
- Dahn Mon, 9 Aug 93 13:51:49 +0200
Qu-Prolog ..
- John Staples Mon, 6 Jun 1994 15:57:01 +1000 (EST)
- Victor Yodaiken Thu, 2 Jun 1994 22:17:37 -0600
Qu-Prolog 3.2 and Ergo 4.0
- John Staples Thu, 2 Jun 1994 12:15:00 +1000 (EST)
- John Harrison Wed, 01 Jun 94 23:38:37 +0100
- Victor Yodaiken Wed, 1 Jun 1994 04:30:54 -0600
Remarks on David's Mail of Oct. 25
- Konrad Slind Mon, 7 Nov 1994 19:54:25 +0100
- David McAllester Mon, 7 Nov 94 12:51:26 EST
- John McCarthy Wed, 26 Oct 1994 12:38:20 -0700
- Victor Yodaiken Wed, 26 Oct 1994 14:04:26 -0600
- Gerard Huet Wed, 26 Oct 94 19:03:36 +0100
- David McAllester Wed, 26 Oct 94 11:26:58 EDT
- Dahn Wed, 26 Oct 94 11:18:25 +0100
Report on QED Workshop
- Ken Kunen Fri, 17 Jun 94 08:04:57 -0500
- John Staples Wed, 15 Jun 1994 15:21:20 +1000 (EST)
Returned mail: Cannot send message for 4 days
- Mail Delivery Subsystem Thu, 23 Dec 1993 16:19:37 -0600
Rigor in contemporary mathematics
- Zdzislaw Meglicki Thu, 12 Aug 1993 09:43:32 +1000 (EST)
- Robert S. Boyer Wed, 11 Aug 93 08:00:47 CDT
Rusty Lusks question
- Woody Bledsoe Thu, 12 May 94 18:12:47 CDT
- beeson@cats.ucsc.edu Thu, 12 May 1994 09:49:20 -0700
- Victor Yodaiken Thu, 12 May 1994 10:40:49 -0600
- bshults@fireant.ma.utexas.edu Thu, 12 May 94 11:05:51 -0500
- beeson@cats.ucsc.edu Thu, 12 May 1994 08:16:59 -0700
- Andrzej Trybulec Thu, 12 May 94 11:36:15 CET
salesmanship
- John Harrison Sun, 12 Jun 94 22:33:58 +0100
- Ken Kunen Fri, 10 Jun 94 10:06:58 -0500
Semantics
- David McAllester Mon, 7 Nov 94 11:59:52 EST
- Randall Holmes Mon, 7 Nov 1994 11:28:48 -0700
- Karlis Podnieks Fri, 4 Nov 1994 09:12:43 +0200 (EET)
- Karlis Podnieks Fri, 4 Nov 1994 09:09:30 +0200 (EET)
- Karlis Podnieks Thu, 3 Nov 1994 15:50:28 +0200 (EET)
- Karlis Podnieks Thu, 3 Nov 1994 15:44:26 +0200 (EET)
- Karlis Podnieks Thu, 3 Nov 1994 15:39:44 +0200 (EET)
- David McAllester Wed, 2 Nov 94 10:05:21 EST
- Karlis Podnieks Tue, 1 Nov 1994 11:01:50 +0200 (EET)
- Robert S. Boyer Thu, 27 Oct 94 10:02:38 CDT
- Randall Holmes Thu, 27 Oct 1994 08:57:28 -0600
- John McCarthy Thu, 27 Oct 1994 02:44:28 -0700
- Dahn Thu, 27 Oct 94 09:47:43 +0100
set theory
- Victor Yodaiken Wed, 17 Aug 1994 23:33:39 -0600
- Thomas Forster Sun, 14 Aug 94 18:43 BST
- John McCarthy Sat, 13 Aug 94 18:25:09 -0700
- David McAllester Sat, 13 Aug 94 21:19:37 EDT
- John McCarthy Sat, 13 Aug 94 16:01:43 -0700
- Robert S. Boyer Sat, 13 Aug 94 17:44:34 CDT
- John McCarthy Sat, 13 Aug 94 10:47:24 -0700
- Robert S. Boyer Sat, 13 Aug 94 09:33:56 CDT
set theory vs type theory
- F. Javier Thayer Sun, 14 Aug 1994 15:49:44 -0400
Shuffling syntax
- Victor Yodaiken Thu, 27 Oct 1994 11:49:38 -0600
- Randall Holmes Thu, 27 Oct 1994 09:31:21 -0600
spelling out the Manifesto
- John Staples Wed, 25 May 1994 15:08:01 +1000 (EST)
- beeson@cats.ucsc.edu Sat, 21 May 1994 10:40:59 -0700
The Fermat-Wiles Theorem
- David Mumford Fri, 18 Nov 94 16:02:12 EST
- Mohsin Ahmed Fri, 18 Nov 1994 12:12:57 -0500
- Thomas Forster Fri, 18 Nov 94 16:57 GMT
- hoove@oracorp.com Fri, 18 Nov 94 11:16:10 EST
- Victor Yodaiken Fri, 18 Nov 1994 08:14:31 -0700
- Susan L. Gerhart, Director, UHCL/RICIS Fri, 18 Nov 1994 06:26:44 -0600 (CST)
- Lyle Burkhead Fri, 18 Nov 1994 04:03:06 -0500 (EST)
- Piotr Rudnicki Mon, 14 Nov 1994 12:09:33 -0700 (MST)
- Victor Yodaiken Mon, 14 Nov 1994 09:55:11 -0700
- Ken Kunen Mon, 14 Nov 94 10:36:46 -0600
- Zdzislaw Meglicki Mon, 14 Nov 1994 20:27:22 +1100 (EST)
- Lyle Burkhead Mon, 14 Nov 1994 04:12:22 -0500 (EST)
The New Manifesto
- LYBRHED@delphi.com Wed, 11 Aug 1993 03:29:04 -0400 (EDT)
The Pentium chip wasn't verified
- Miriam Leeser Tue, 22 Nov 94 10:40:12 EST
- Victor Yodaiken Tue, 22 Nov 1994 08:14:16 -0700
- Phil Windley Mon, 21 Nov 1994 21:51:46 -0700
- Victor Yodaiken Mon, 21 Nov 1994 16:48:39 -0700
- Miriam Leeser Mon, 21 Nov 94 11:59:14 EST
- Phil Windley Mon, 21 Nov 1994 07:51:28 -0700
- Victor Yodaiken Sun, 20 Nov 1994 12:30:08 -0700
- chou@cs.ucla.edu Sun, 20 Nov 94 00:06:23 PST
- beeson@cats.UCSC.EDU Sat, 19 Nov 1994 22:44:10 -0800
The value of Platonism
- Dahn Fri, 28 Oct 94 13:19:40 +0100
- David McAllester Thu, 27 Oct 94 14:13:34 EDT
The workshop ended a week ago
- Piotr Rudnicki Fri, 27 May 1994 15:31:39 -0600
Thin-skinned Platonists
- Roger Bishop Jones Tue, 15 Nov 1994 05:04:36 GMT
- Randall Holmes Mon, 14 Nov 1994 09:10:44 -0700
- Randall Holmes Mon, 14 Nov 1994 09:10:44 -0700
- Lyle Burkhead Mon, 14 Nov 1994 04:14:05 -0500 (EST)
Thoughts on QED
- Peter.Andrews@K.GP.CS.CMU.EDU Thursday, 11 August 1994 16:32:01 EDT
Title of Articles in the Journal Formalized Mathematics
- Robert S. Boyer Fri, 19 Nov 93 17:06:02 CST
translation into a standard language
- John McCarthy Thu, 11 Aug 94 16:47:19 -0700
Truth
- Randall Holmes Wed, 26 Oct 1994 13:54:40 -0600
types
- Ken Kunen Fri, 19 Aug 94 08:22:22 -0500
Types and sets
- Dahn Thu, 1 Sep 94 16:35:07 +0200
Types and sorts
- William M. Farmer Wed, 24 Aug 1994 15:59:21 -0400
- N.G. de Bruijn Thu, 01 Sep 1994 13:53:47
- William M. Farmer Thu, 25 Aug 1994 10:18:30 -0400
- hoove@oracorp.com Wed, 24 Aug 94 20:04:04 EDT
Types Considered Harmful
- David McAllester Wed, 10 Aug 94 11:00:31 EDT
- chou@cs.ucla.edu Mon, 08 Aug 94 22:32:02 PDT
- Victor Yodaiken Mon, 8 Aug 1994 12:47:19 -0600
- Victor Yodaiken Mon, 8 Aug 1994 10:13:38 -0600
- Phil Windley Mon, 08 Aug 1994 09:55:08 -0600
- John Harrison Mon, 08 Aug 94 15:28:37 +0100
- Victor Yodaiken Mon, 8 Aug 1994 01:40:14 -0600
- Dahn Fri, 5 Aug 94 09:47:54 +0200
- Piotr Rudnicki Wed, 3 Aug 1994 16:19:22 -0600
Types, sorts and variable types
- David McAllester Thu, 25 Aug 94 10:21:22 EDT
- Solomon Feferman Thu, 25 Aug 1994 06:05:53 -0500
- Solomon Feferman Wed, 24 Aug 94 18:02:44 PDT
Who are the customers for QED.
- John Staples Fri, 4 Nov 1994 15:50:01 +1000 (EST)
- John McCarthy Tue, 1 Nov 1994 10:59:14 -0800
- White Peter Tue, 01 Nov 94 09:21:00 MST
Who are the intended customers of QED?
- White Peter Tue, 01 Nov 94 08:50:00 MST
- chou@cs.ucla.edu Mon, 31 Oct 94 13:20:16 PST
- David McAllester Mon, 31 Oct 94 09:03:17 EST
- chou@cs.ucla.edu Fri, 28 Oct 94 14:35:50 PDT
Wiles' proof of the Fermat Theorem
- Zdzislaw Meglicki Mon, 14 Nov 1994 16:06:44 +1100 (EST)

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

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

This archive was generated by hypermail 1.02.