应用介绍
陶哲轩: 数学家将此形式化的方法是：数学找到了一个形式体系，可以理想化地将某个极其大或极其小的量，精确地变为无穷大或零。通常，当你这样做时，数学会变得简洁很多。在物理学中，我们开玩笑说假设球形奶牛。现实世界的问题存在各种实际效应，但你可以将其理想化，将某些量推向无穷大，将另一些量推向零，这样数学处理起来就会简单得多。
陶哲轩: 数学家将此形式化的方法是：数学找到了一个形式体系，可以理想化地将某个极其大或极其小的量，精确地变为无穷大或零。通常，当你这样做时，数学会变得简洁很多。在物理学中，我们开玩笑说假设球形奶牛。现实世界的问题存在各种实际效应，但你可以将其理想化，将某些量推向无穷大，将另一些量推向零，这样数学处理起来就会简单得多。
