We illustrate the glorious history of logical foundations and discuss the uncertain future.

中文翻译：

---

逻辑基础：个人观点

我们阐释了逻辑基础的辉煌历史，并讨论了不确定的未来。