Malament-Hogarth Machines and Tait's Axiomatic Conception of Mathematics
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
|Collections||ANU Research Publications|
|01_Berry_Malament-Hogarth_Machines_and_2013.pdf||270.99 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.