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

Abstract

In this paper I will argue that Tait’s axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then s Show more