Ruy Queiroz - The Unsolvability of Mathematical Problems and Turing's Legacy

Fourth Colloquium on Metaphysical Logic

Federal University of Rio de Janeiro, 9 August 2012

PPGLM / IFCS