There is No Algorithm for Truth - with Tom Scott