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 has just published a new paper “Informal Physical Reasoning Processes”. You can find it on http://arxiv.org/abs/1608.04672. The pdf-version of the paper can be found here: http://arxiv.org/pdf/1608.04672v1.pdf. 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 […]

Originally posted on The Asifoscope:
? Visiting a newly opened collection of modern art in Hannover’s the recently extended Sprengel Museum, it seemed to me that the history of 20th century art can be described as a series, or rather, a network of reflective steps of thinking or perceiving. Any knowledge we are using, either…

Some people are believing in the coming of something they call “The Singularity”, and they believe it is only a few decades or even years away. For some (who may be viewed as belonging to a larger current of ideas sometimes referred to as the “transhumanist” movement), this seems to have some quasi-religious significance. Instead […]

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 […]

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 […]

Biological evolution is an example of an informal process of development, showing that such processes are  actually possible in the physical world. There is certainly no single formal theory that describes how all the different genes and organisms it generated came into being. In an organism, there are some processes that are under the control […]