mbox by author

• Messages sorted by: [ date ][ thread ][ subject ]
• Other mail archives

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

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