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/


Reply via email to