–
Room P3.31, Mathematics Building
Eric Hehner, U Toronto, Canada
There are no incomputable (or uncomputable) functions. So-called “total correctness” is a poor choice of proof formalism.
Note the exceptional weekday, time and room