Halting problem and Artificial Intelligence


So we all know that solving the Halting problem is impossible (i.e. it's not decidable). It's also impossible to create a program that is capable of analyzing other computer programs because this problem is equivalent to the Halting problem. (i.e. The program being analyzed could have an infinite loop and there is no way to detect this infinite loop because of the Halting problem).

If we cannot create a program that can analyze other programs then we cannot create a machine that is capable of learning from other machines. In order for a machine to learn from the behavior of other machines it has to be programmed in such a way so that it could analyze other programs and we already said that this is impossible.

One fundamental property of our mind is its ability to learn by, for example, analyzing the behavior of other human beings.

If we cannot create a machine that is capable of learning then would not that mean that there is little hope for duplicating our minds through technology?


Current News Headlines and Summaries

Everyone is interested to know the news and latest headlines in detail, with reports from a broad range of reputable sources and with analysis, but where can you get this? And yes the news articles provides you everything. News articles, or news reports, describe current events about a broad range of topics and locales. The News-Articles.org website features news headlines about specific continents, geographical regions, and major nations, as well as important news topics. These news headlines link to major news websites from around the world, thereby providing the reader with a global perspective on breaking news events and this website contains frequently updated news headlines and links to articles about world news events


New Terrarium game


I wonder if any of you have tried "Terrarium" game by Microsoft. You produce an insect that is either carnivorous or herbivorous. Or you can design a plant. You introduce it to the eco system and you watch how it manages itself in competition with other players. I have not had the time to sit down and introduce a fully designed species, but I have made some preliminary designs on a predator. Most of you can probably read an API, so take a look at the object model, and ponder that one for a bit. Particularly I hope we can discuss how a social species can be designed so that its collective behavior is purpose serving regarding hunting, defense, procreation, feeding etc. There are of course some limitations to the species and its interaction with the terrain. To start things off First, one needs to have roles. One needs to have the alternative tactics to hunt for food. There must be some statistics made which evaluate a strategy effectiveness against a particular other species. There must be a flow of communication in the different states. One needs an economic model so that skirmish and hunting packs can be economically viable. The species must be able to conquer an area and then spawn into others. Maybe it should eradicate problematic species and cultivate its food keeping it in check. So that it would not eat until there was no more food? Maybe one should have the hybrid species? The same creature should work scaled down (introduced to a new map) avoiding problematic species and scaled up (masters of the map). The communication model cannot be too time consuming. You will probably find, as I did, that there were some features sadly absent to implement a hive community.