Index Terms
- Self-reference and section 230
Recommendations
The Elimination of Direct Self-reference
AbstractThis paper provides a procedure which, from any Boolean system of sentences, outputs another Boolean system called the ‘m-cycle unwinding’ of the original Boolean system for any positive integer m. We prove that for all , this procedure ...
Doxastic paradoxes without self-reference
TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledgeCertain doxastic paradoxes (paradoxes analogous to the Paradox of the Liar but involving <u>ideal belief</u> instead of <u>truth</u>) demonstrate that some formal paradoxes cannot be avoided simply by limiting the expressiveness of one's formal language ...
Program Self-Reference in Constructive Scott Subdomains
Computability in Europe: Mathematical Theory and Computational PracticeIntuitively, a recursion theorem asserts the existence of self-referential programs . Two well-known recursion theorems are Kleene’s Recursion Theorem (krt) and Rogers’ Fixpoint Recursion Theorem (fprt). Does one of these two theorems better capture the ...
Comments