Scott Aaronson: What is mathematical truth?