Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/

Source Link

edited Apr 13, 2017 at 12:58

This This is a question about self-reference: Has anyone established an abstract framework, maybe a certain kind of formal language with some extra structure, which makes it possible to define what is a self-referential statement?

Source Link

asked Sep 22, 2010 at 15:30

Peter Arndt

12.3k
3
58
94

Is there a general setting for self-reference?

This is a question about self-reference: Has anyone established an abstract framework, maybe a certain kind of formal language with some extra structure, which makes it possible to define what is a self-referential statement?

lo.logic