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

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


Get every new post delivered to your Inbox.

Join 164 other followers