In an exchange of emails, Seth Lloyd and I discussed the topic I wrote about some posts ago. Here is some of it. According to Lloyd, there is a perfectly good definition of a quantum Turing machine (basically, a Turing machine with qubits and extra instructions to put those qubits in superposition, as above). A […]

# Month: November 2006

## Is the Universe a Computer? (Ist das Universum ein Computer?) Conference, Berlin, Germany, 6,7 November 2006

Ist das Universum ein Computer? http://www.dtmb.de/Aktuelles/Aktionen/Informatikjahr-Zuse/ Germany, November 2006, Informatik Jahr Deutschen Technikmuseum Berlin From Konrad Zuse’s Invention of the Computer to his “Calculating Space” to Quantum Computing. Lesson One: For someone with a hammer in his hand the world seems to be a nail. Joseph Weizenbaun. Lesson Two: Knowing the input and the transition […]

## Human Readable Proofs Visualization

– Symbolic Visualizations, University of Texas:http://cvcweb.ices.utexas.edu/ccv/projects/VisualEyes/SymbVis/index.php- Proof nets and zero-knowledge proofs.

## Kurt Godel: The writings. Université de Lille III

Kurt Godel workshop for studying his legacy and writings. Lille, France, May 19-21, 2006 My thoughts, ideas, references, comments and informal notes: – The wheel machine, a machine for real computation which I am proposing -as a thought experiment- in a forthcoming paper on the Church-Turing thesis -Yes, one more paper on the CT thesis!- […]