AUDA

From: Wei Dai <weidai.domain.name.hidden>
Date: Mon, 31 Dec 2001 12:29:01 -0800

The interlibrary loan department of my local library finally came through
and found a copy of "The Logic of Provability" for me. I think I've read
enough of it to at least try to understand AUDA now. What should I read at
this point? (To make sure I'm on the right track, your G and G* correspond
to Boolos's GL and GLS, right?)

BTW, Bruno, I think you've probably wasted a lot of time trying to explain
provability logic to people on this list. You should have just told us to
go read that book. But even the book assumes familiarity with a lot of
background knowledge. What book would you recommend to someone who has
taken just one quarter of introduction to logic and one quarter of
introduction to theory of computation in college?

I'm curious about a couple of other things. How many people in the world
claim to understand AUDA? How did you get interested in provability logic?
Received on Mon Dec 31 2001 - 12:30:17 PST