Strange Loop

Guido van Rossum

Python

https://www.youtube.com/watch?v=ghwaIiE3Nd8&t=1442s

Dynamické programovací jazyky

• at runtime execute many common programming behaviours that static programming languages perform during compilation
• many of these features were first implemented as native features in the Lisp programming language
• reflection is common in many dynamic languages, and typically involves analysis of the types and metadata of generic or polymorphic data

GoL, GEB

Game of Life

• The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970.
• In late 1940, John von Neumann defined life as a creation (as a being or organism) which can reproduce itself and simulate a Turing machine.
• Because of Life's analogies with the rise, fall and alterations of a society of living organisms, it belongs to a growing class of what are called 'simulation games' (games that resemble real life processes)."

Stephen Wolfram

A New Kind of Science

DOUGLAS R. HOFSTADTER

GÖDEL, ESCHER, BACH

EXISTENCIÁLNÍ GORDICKÁ BALADA

METAFORICKÁ FUGA O MYSLI A STROJÍCH V DUCHU LEWISE CAROLLA

GEB

• autoreference a provázanost

• paradoxy (Russell, Hilbert, Gödel)

• matematika: geometrie od Eukleida přes Gausse (Vopěnka: Trýznivé tajemství: Gauss, Bolyai, Lobačevský, Riemann: neeuklidovské geometrie)> poznává matematika reálný svět? (Co je matematika? Co je reálný svět?)

• logika: Boole: Laws of Thought, 1854, Morgan/ Frege, Peano, Hilbert & Lewis Carroll (Two influences on Boole were later claimed by his wife, Mary Everest Boole: a universal mysticism tempered by Jewish thought, and Indian logic.)

• Cantor: paradoxy a autoreference> metamatematika (META!to už JE rekurence!)

• elektronické číslicové počítače (Babbage): Godel & Turing, Church

GEB

• "blessings of scale": pružnost AI pramení z "nesmírného množství pravidel a jejich úrovní" 
• pravidla jako smyčky, v nichž se sama pravidla mění
• izomorfismus, rekurze, význam a kontext
• architektura komplexity

GEB

• podivné smyčky (strange loops): A strange loop is a cyclical structure that goes through several layers of a hierarchical system to find itself back at the beginning.
• spletitá hierarchie (tangled hierarchy)
• asociace

https://mcescher.com/

Maurits Cornelis Escher (1898-1972)

formalized intelligence/ patterns matching: data, circuit (context), massive parralel pattern match