非表示:
キーワード:
-
要旨:
I develop some of the theory of self-referential systems. I present
the necessary semantic ideas, and combine this with work in proof
theory, on the necessary properties of a proof predicate, to develop
practical theories for reasoning about such systems. I propose to use
this to exploit the idea of a reflection principle as a systematic way
to extend such self-referential theories safely. I also try to relate
theoretical points to practical concerns.
