Hi John,
To search informations on the net on G and G*, it is easier to search
on "logic of provability".
G is also called KW, KW4, L, GL, PRL in other papers or book.
G* is also called G', PRL^omega, GLS
The Stanford entry is rather good:
http://plato.stanford.edu/entries/logic-provability/
In brief words G is a modal logic which describes what a classical
theory or machine can prove about its own provability abilities. And G*
is a modal logic which describes what is true (provable or not by the
machine) about its own provability abilities.
Don't confuse "provability" with "probability". Careful when typing
because the "b" and the "v" are close on the keyboard!
Bruno
Le 29-déc.-05, à 00:48, John M a écrit :
> Bruno, could you include some BRIEF words for the
> profanum vulgus about that ominous "G - G*" magic as
> well? I searched Google, Yahoo, Wikipedia, but could
> not find any reasonable hint.
> You and other savants on the list apply this magic
> many times always. Am I the only one who missed that
> in grammar school?
>
> John
>>
>
>
http://iridia.ulb.ac.be/~marchal/
Received on Thu Dec 29 2005 - 09:40:33 PST