Αναρτήσεις

Is the Universe a Quantum Computer?

 The idea that the Universe (whatever we may mean by this) is a some sort of a computer is a recurring theme. Recently, Nature published an article by David L. Chandler that is entitled Could the Universe be a giant quantum computer? This article is actually a tribute to Edward Fredkin, who passed away last June. The main contribution of Fredkin to the philosophy of science is his "digital philosophy" that advocates the idea that the universe is a computer and everything in our universe is discrete. I would not like to argue against the validity of these ideas (I have done so in Hypercomputation: Computing Beyond the Church-Turing Barrier and in Demystifying Computation: A Hands-On Introduction ) . However, I would like to point out that if the Universe is not a computing device, in general, then it cannot be a quantum computer, in particular. Also, what I did not like with Chandler's article is that it takes it for granted that the Universe is a computer. He did not e

Gödel and Mathematics

Εικόνα
 On page 53 of the book Mathematics by David Bergamini one can read the following:  

On the Limits of Computation

 Recently I wrote an article on the The Limits of Computation , which was published in Philosophy Now . In this article I argue in favor of the idea that the limits of computation are currently unknown. In addition, I explore how this idea affects our understanding in a number of areas.

Using an electronic amoeba to quickly find an approximate solution to traveling salesman problem

The traveling salesman problem is about a salesman that has to start from a specific town and after visiting a number of towns only once, he/she has to return to the starting town. The real problem is to minimize the total length of the trip. It has been shown that this problem is NP-complete, which practically means that this is a very difficult problem to solve with a computer. However, Kenta Saito, Masashi Aono, and Seiya Kasai from Japan have shown that an electronic amoeba can give an approximate solution to this problem in linear time. Practically, this means that the new approach can transform a difficult problem to an easy one. The Japanese researchers reported their findings in a paper in scientific reports .

New milestone in quantum supremacy

A new kind of quantum computer that harnesses photons has achieved a new breakthrough in quantum supremacy. In particular, this machine completed a computational task in 200 seconds while an ordinary supercomputer would require 2.5 billion years. The computer employes a technique called Gaussian boson sampling (a photon is a boson) and a complete description of the machine is given in an article published in Sciece (everyone can read it for free).

New and Notable Books

Recently Lee Yiwata sent me a list of book related to hypercomputation. The list is rather complete but I would like to mention only the most recent titles that I did not happen to skim through. Biological Hypercomputation and Degrees of Freedom by Carlos Eduardo Maldonad. Interactive Computation: The New Paradigm edited by Dina Goldin, Scott A. Smolka, and Peter Wegner.  Ordinal Computability: An Introduction to Infinitary Machines by Merlin Carl. Computation and its Limits by Paul Cockshott, Lewis M Mackenzie, and Gregory Michaelson. Computational Matter edited by Susan Stepney, Steen Rasmussen, and Martyn Amos. Physical Computation: A Mechanistic Account by Gualtiero Piccinini. Church’s Thesis. Logic, Mind and Nature edited by Adam Olszewski, Bartosz Brożek, Piotr Urbańczyk. The books Computation and its Limits and Physical Computation: A Mechanistic Account are not in favor of hypercomputation, nevertheless, they might be of interest to some people. Personally, I am not re

Turing Machine Simulation

 Hypercomputation is about machines that transcend the computational power of the Turing machine. However, I think it is quite instructive to really understand the power of the Turing machine. Therefore, I think play with a Turing machine simulator is quite instructive. The Turing machine simulator by Martín Ugarte is a very interesting and powerful simulator that I recommend to everyone who wants to play with Turing machines.