Describir: Malament-Hogarth Machines and Tait's Axiomatic Conception of Mathematics.