The algorithm, affectionately dubbed POPCORN, uses a mathematical system to navigate tricky environmental barriers in ways that human-piloted drones haven't.

该算法被亲切地称为 POPCORN，它使用数学系统以人类驾驶的无人机所没有的方式导航棘手的环境障碍。

Pythagoras, who lived between circa 571 and 497 BCE, developed a mathematical system to explain the movements of the planets, and so often, is considered the first Greek astronomer.

毕达哥拉斯生活在公元前 571 年至 497 年之间，他发明了一套数学系统来解释行星的运行，因此经常被认为是第一位希腊天文学家。

Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, that very process introduces new unprovably true statements.

即使你通过将这些无法证明的陈述作为新的公理添加到一个扩大的数学系统中来解释这些无法证明的陈述，这个过程也会引入新的无法证明的真实陈述。