Le 05-août-05, à 22:53, Hal Finney a écrit :
>
>> Of course
>> provability can obey universal principles: for example the notion of
>> classical checkable proof in sufficiently rich system is completely
>> captured by the modal logics G and G*.
>
> Well, you lost me on that one!
I will explain, but I must go now. In the meantime you could read my
SANE paper where I make an attempt to explain it.
I did make an attempt earlier with you in the Knight-Knave thread if
you remember. But I fail to find it the archive (?). Bizarre.
I explain next week,
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Sat Aug 06 2005 - 12:33:46 PDT