Hi Kory,
So we met two important theories or machines:
Classical Logic CL and Peano Arithmetic PA.
As collection of theorems, the first is a subset of
the second:
PA
|
|
|
CL
Now I have chosen PA to set the things. Any
Dear Bruno,
We are getting more coherent and on point in our understanding of each
other. ;-) Interleaving.
- Original Message -
From: Bruno Marchal [EMAIL PROTECTED]
To: Stephen Paul King [EMAIL PROTECTED]
Cc: [EMAIL PROTECTED]
Sent: Thursday, April 29, 2004 9:09 AM
Subject: Re:
2 matches
Mail list logo