Notes Folio n021001 Self-Reference in ‹ob›

miser>notes> 2002>10> n021001> 0.01 2017-08-29 16:40

Self-reference is used to denote any situation in which someone or something refers to itself.  A recent conference [PhiLog2002] is devoted to the issue of self-reference 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 self-reference 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 self-referential 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.

History

 

0.01 2014-03-26-16:20 Transpose to Folio Cover

The original page is scavenged for the provisional cover of a folio on this topic to be developed further.

0.00 2002-10-25-13:53 Initial  placeholder

 Outline the basic situation and what it implies for self-reference in ‹ob› and oMiser/oFrugal.

---

You are navigating the Miser Project.

created 2002-10-25-13:53 -0700 (pdt) by orcmid $$Author: Orcmid $ $$Date: 17-08-29 16:40 $ $$Revision: 23 $