This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.

翻译：这是试图说明逻辑基础的光荣历史,并讨论不确定的未来。