activity
20042012
most citedComputable counter-examples to the Brouwer fixed-point theorem

6 citations · 14 across the 10 of their papers we have counts for

collaborators

10 papers

cs.NI2012

Availability of titles on peer-to-peer file sharing networks

Petrus H. Potgieter

File sharing, typically involving video or audio material in which copyright may persist and using peer-to-peer (P2P) networks like BitTorrent, has been reported to make up the bul…

math.GM2008★ 6 cited

Computable counter-examples to the Brouwer fixed-point theorem

Petrus H. Potgieter

This paper is an overview of results that show the Brouwer fixed-point theorem (BFPT) to be essentially non-constructive and non-computable. The main results, the counter-examples…

quant-ph2007

Universality and programmability of quantum computers

Willem Fouche', Johannes Heidema, Glyn Jones +1

Manin, Feynman, and Deutsch have viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum logic circuits and quantum Turing…

quant-ph2007★ 4 cited

Halting in quantum Turing computation

W. L. Fouché, J. Heidema, G. Jones +1

The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We disc…

quant-ph2007★ 4 cited

Deutsch's Universal Quantum Turing Machine (Revisited)

Willem Fouché, Johannes Heidema, Glyn Jones +1

Deutsch, Feynman, and Manin viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum Turing machines has shown how these mac…

cs.CC2006

Hypercomputing the Mandelbrot Set?

Petrus H. Potgieter

The Mandelbrot set is an extremely well-known mathematical object that can be described in a quite simple way but has very interesting and non-trivial properties. This paper survey…