Some inspiration to computer science from metamathematics

• 元数学对计算机的一些启示