Indirect self-reference

Theoretical computer science

Indirect self-reference describes an object referring to itself indirectly. For example, define the function f such that f(x) = x(x). Any function passed as an argument to f is invoked with itself as an argument, and thus in any use of that argument is indirectly referring to itself. This example is similar to the Scheme expression "((lambda(x)(x x)) (lambda(x)(x x)))", which is expanded to itself by beta reduction, and so its evaluation loops indefinitely despite the lack of explicit looping constructs. An equivalent example can be formulated in lambda calculus. Indirect self-reference is special in that its self-referential quality is not explicit, as it is in the sentence "this sentence is false." The phrase "this sentence" refers directly to the sentence as a whole. An indirectly self-referential sentence would replace the phrase "this sentence" with an expression that effectively still referred to the sentence, but did not use the pronoun "this." An example will help to explain this. Suppose we define the quine of a phrase to be the quotation of the phrase followed by the phrase itself. So, the quine of: is a sentence fragment would be: "is a sentence fragment" is a sentence fragment which, incidentally, is a true statement. Now consider the sentence: "when quined, makes quite a statement" when quined, makes quite a statement The quotation here, plus the phrase "when quined," indirectly refers to the entire sentence. The importance of this fact is that the remainder of the sentence, the phrase "makes quite a statement," can now make a statement about the sentence as a whole. If we had used a pronoun for this, we could have written something like "this sentence makes quite a statement." It seems silly to go through this trouble when pronouns will suffice (and when they make more sense to the casual reader), but in systems of mathematical logic, there is generally no analog of the pronoun. It is somewhat surprising, in fact, that self-reference can be achieved at all in these systems. Upon closer inspection, it can be seen that in fact, the Scheme example above uses a quine, and f(x) is actually the quine function itself. Indirect self-reference was studied in great depth by W. V. Quine (after whom the operation above is named), and occupies a central place in the proof of Gödel's incompleteness theorem. Among the paradoxical statements developed by Quine is the following: "yields a false statement when preceded by its quotation" yields a false statement when preceded by its quotation (Wikipedia).

Direct and Inverse Variation

This video explains and provides examples of direct and inverse or indirect variation. http://mathispower4u.wordpress.com/

From playlist Linear Equations and Lines

What is the definition of the inverse cosine function

👉 Learn how to evaluate inverse trigonometric functions. The inverse trigonometric functions are used to obtain theta, the angle which yielded the trigonometric function value. It is usually helpful to use the calculator to calculate the inverse trigonometric functions, especially for non-

From playlist Evaluate Inverse Trigonometric Functions

How to evaluate the inverse of cosine with a calculator

From playlist Evaluate Inverse Trigonometric Functions

Ex 2: Find the Inverse of a Function

This video provides two examples of how to determine the inverse function of a one-to-one function. A graph is used to verify the inverse function was found correctly. Library: http://mathispower4u.com Search: http://mathispower4u.wordpress.com

From playlist Determining Inverse Functions

Why does inverse trig functions have restrictions Function explanation

From playlist Evaluate Inverse Trigonometric Functions

Why do we need restrictions on inverse trig functions

From playlist Evaluate Inverse Trigonometric Functions

Inverse Functions Intro Part 3

In this video, we look at algebraic and graphical interpretations of an inverse, including the shoes and socks algorithm.

From playlist Functions

Indirect Function Excel | Excel Indirect Functions Explained | Excel For Beginners | Simplilearn

This video is based on indirect functionin excel. This simplilearn video will explain the excel fundamentals and spread fundamentals. Later you will be learning the Indirect Function in Excel in bith theorotical and practical demonstration for a better learning experience. This video will

From playlist Microsoft Excel Tutorial Videos 🔥[2022 Updated]

Master composing inverse trig functions

Subscribe! http://www.freemathvideos.com Want more math video lessons? Visit my website to view all of my math videos organized by course, chapter and section. The purpose of posting my free video tutorials is to not only help students but allow teachers the resources to flip their classro

From playlist Trigonometric Functions #Master

Introduction to Rust - Part 13: Reference Counting and Interior Mutability

This is the 13th in a series of videos that cover, step by step, learning to code using the Rust programming language. In this video we'll cover Reference Counting and Interior Mutability. 0:00 - Introduction 0:23 - Directed Acyclic Graph 1:37 - Reference-counted heap pointer 2:40 - Buil

From playlist Introduction to Programming with Rust

Crust of Rust: Dispatch and Fat Pointers

In this episode of Crust of Rust, we go over static and dynamic dispatch in Rust by diving deep into generics, monomorphization, and trait objects. As part of that, we also discuss what exactly the Sized trait is, what it's for, and how it interacts with Dynamically Sized traits. 0:00:00

From playlist Crust of Rust

Ex 1: Find the Inverse of a Function

From playlist Determining Inverse Functions

Smart pointers - The Rust Book (part 53) chapter 14

I'm streaming every weekday morning on Twitch at https://www.twitch.tv/brookzerker. Please feel free to stop by and say hi! Links Rust book: https://doc.rust-lang.org/book/second-edition/ My code: https://github.com/BrooksPatton/learning-rust The Learning Wiki: https://github.com/BrooksP

From playlist Rust Book

[Rust Programming] Crafting Interpreters: Day 33, Chapter 25 (Part 1)

In this video we continue to look at the Crafting Interpreters book, and learn how to port it to Rust. Since I'm a Rust beginner, the intent is that it will help me learn the language more in-depth than before. The book: https://craftinginterpreters.com/contents.html Started working on c

From playlist Rust Ports

Introduction to Rust - Part 12: Boxing and Trait Objects

This is the 12th in a series of videos that cover, step by step, learning to code using the Rust programming language. In this video we'll introduce Boxing and Trait Objects, after covering some basics about different kinds of ways in which values are stored in memory. 0:00 - Introductio

From playlist Introduction to Programming with Rust

21:Everything u need 2 know about pointers -Richard Buckland

(*but were afraid to ask) Review of pointers and indirect addressing. pass by reference/pass by value. Passing arrays into functions. 3 neat things you can do with pointers: 1. pass by ref 2. dynamic data structures (to come) 3. ADTs in c (to come) the exponential growth of

From playlist CS1: Higher Computing - Richard Buckland UNSW

[Rust Programming] Crafting Interpreters: Day 9

From playlist Rust Ports

Agile Roots 2010 - Test Driven Design - Coupling Loosely

By: Arlo Belshee Mock objects are a good way to break apart a legacy system to test it. However, they do not improve coupling (few dependencies between units) or cohesion (each unit does one thing). Making code easy to change requires using indirections with looser coupling. In this infor

From playlist AgileRoots2010

Evaluate inverse of cosecant using a calculator

From playlist Evaluate Inverse Trigonometric Functions

Excel Magic Trick 1424: Average, Moving Average at Different Granularity: DAX or Excel Formulas?

Download File: Start File: https://excelisfun.net/files/EMT1424Start.xlsx Finished File: https://excelisfun.net/files/EMT1424Finished.xlsx Entire page with all Excel Files for All Videos: https://excelisfun.net See how to calculate Average, Moving Average at Different Granularity in both D

From playlist Excel 2013 PowerPivot Playlist of Videos

Indirect self-reference

Related pages