He thought that mathematical 'thought experiments' are a valid way to discover mathematical conjectures and proofs, and sometimes called his philosophy 'quasi-empiricism'.
Myslel si, že matematické „myšlenkové experimenty“ jsou platný způsob, jak objevit matematické hypotézy a důkazy, a někdy nazýval svou filosofii „kvazi-empirismus“.