Le 05-août-05, à 22:53, Hal Finney a écrit :
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,