Category Creative Systems


Originally posted on The Asifoscope:
“The limits of my language mean the limits of my world.” – Ludwig Wittgenstein, Tractatus Logico-Philosophicus, 5.6. There is a gap in our language and I want to try to close it by suggesting a new philosophical term. What I am looking for is a term for an entity that exists…

Limits of Learning Algorithms

A learning algorithm is a program that, following some fixed set of rules, produces new programs from sets or sequences of input data. Recent progress on the development of some learning algorithms (especially the “deep learning” approach based on “deep”, i.e. multi-layered systems of artificial neurons) have lead some researchers to the claim that, after […]

Shifting the Vantage Point

Looking at a landscape, you don’t see the point from where you are looking. That point is part of the landscape, but to see it, together with the landscape, you have to move somewhere else, to a higher peak maybe or to a helicopter. If you shift your vantage point, you can see the place […]

Kurt Ammon: Informal Physical Reasoning Processes.

Kurt Ammon has just published a new paper “Informal Physical Reasoning Processes”. You can find it on The pdf-version of the paper can be found here: This is just a preliminary announcement. I am intending to write about this paper and its philosophical implications in more detail in future articles on this blog. The new […]

Formalism vs. Creativism

A generally intelligent system should be universal in the sense that it can produce arbitrary knowledge. The proof essentially shows that an algorithm cannot be generally intelligent in this sense. The reason why, after about 60 years of research, general intelligence did not show up among the systems built by the artificial intelligence community is […]

Knowledge and Total Functions

In the article SKETCH OF A PROOF: COMPUTABLE TOTAL FUNCTIONS ARE NOT ENUMERABLE I have used the notion of “total functions”. What is so special about “total functions”? First, let’s recall what a total function is. A total function is a function that assigns a value to every possible element in its domain (i.e. the set […]

Formal Systems and Development

A formal theory cannot describe its own evolution into a more advances formal theory. Anything that is derivable inside it is so right from the start and that does not change. Some fact or formula or expression or piece of data either can be derived inside a given formal theory or it cannot. In this […]