Selfreference is used to denote any situation in which someone or something refers to itself. A recent conference [PhiLog2002] is devoted to the issue of selfreference in philosophy, mathematics and computer science. The announcement of that conference triggered my thinking about this.
The theoretical foundation for Miser, the mathematical structure ‹ob›, exhibits selfreference in a variety of ways. There are two cases which are quite benign and not problematic in any apparent way.
However, one can use the universal computational function of Miser to represent selfreferential situations that are problematical. We will identify and explore a particular example, after first disposing of those which, up to that point, appear completely benign.
n021001b: SelfReference in ‹ob› [latest]
n021001c: Initial Sketch
n021001a: Diary & Job Jar

created 2002102513:53 0700 (pdt) by orcmid 