BioWorked on foundations, proof, and methodological questions in mathematics.philosophy of mathematicslogic