What mathematicians are doing is using their mind to think about these Platonic ideas of mathematics.

数学家所做的就是用他们的心灵,来思考那些数学的柏拉图理念

耶鲁公开课 - 死亡课程节选

I am then doing some mathematics with it, clearly, based on the below.

我用它来做一些算术，显然地，根据下面的。

哈佛公开课 - 计算机科学课程节选