Gentian Kasa has posted to the arXiv a good summary of hypercomputation. His summary is actually his MSc thesis and it is entitled "Hypercomputation: Towards an extension of the classical notion of Computability?" It is quite encouraging to see students work on hypercomputation despite the unfair criticism.
Παρασκευή, 26 Οκτωβρίου 2012
According to EETimes Europe, Princeton researchers claim quantum computing breakthrough. In particular, they "have developed a technique to read spintronic information off electrons, a potential step on the road to quantum computing." The importance of this development is that it opens the road to quantum computers with millions of qubits.
στις Οκτωβρίου 26, 2012
Κυριακή, 21 Οκτωβρίου 2012
Today I discovered yet another proof of the Church-Turing thesis (CTT)! In particular, Ramón Casares in his Proof of Church's Thesis proves the CTT using another more "general" thesis:
Persons’ syntax engine is a Finite Universal Turing Machine.A finite Turing machine is one that has a tape of finite length. Any person has a syntactical capability, that is the ability to speak a language and a syntax engine is a machine with a syntactical capability. So the question is whether there are machines that can really understand languages? Obviously, it is one think to dully manipulate symbols and another to understand the meaning associated to symbols. After all, this was nicely demonstrated with the Chinese Room Argument (in essence, this argument is a "proof" that intelligence cannot be equated with symbol manipulation, and, obviously, it is not an argument "against the possibility of true artificial intelligence"). Now the problem with this proof is that it relies on another thesis, whose validity has not been proved, although, according to Casares, it is so obvious that it holds true!
στις Οκτωβρίου 21, 2012
Κυριακή, 14 Οκτωβρίου 2012
honoring István Németi's 70th birthday took place in Budapest, last September. The theme of the conference was the connection between logic and relativity theory. Obviously, since Németi initiated what is now called relativistic computing, a number of speakers presented work that falls in this research area. Unfortunately, for a number of good reasons, it was not possible to attend the event, so I cannot give a report of it. Nevertheless, when skimming through the web pages, one can easily see that the event was very interesting. I just hope more events like this will take place.
στις Οκτωβρίου 14, 2012
Riemann hypothesi s is "is a conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex n...
A nice review of transfinite conceptual computing devices by Philip Welch was posted to aRxin on September, 17. I think it would be intere...
The idea that quantum computation is a manifestation of the multiverse is not new. For example, David Deutsch believes that quantum comput...
Today I discovered a paper that claims to offer a solution to Thomson’s Lamp.The paper is entitled Hypercomputation, Frege, Deleuze: Solvin...