Originally posted on Creativistic Philosophy:
I have published an article by German philosopher, mathematician and logican Gottlob Frege, and also an English translation of it. The English translation was prepared in a joint effort together with Tina Forsee. It replaces an earlier translation that I had published earlier this year. Several mistakes of the previous…

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