丘里奇名叫Giuseppe Peano，他影响了整个20世纪的数学和逻辑学，也是公认的现代数理逻辑的奠基人之一。丘里奇的著作总体而言可以概括为两个方面：数学和逻辑学，其中最为著名的当属数理逻辑了。
数理逻辑作为逻辑学的重要分支，它的目的并不是与其它学科比赛，而是通过形式化的方式整理人们对于对一些真实事物的判断和实证观察的特点和原则。在逻辑学中，言辞上的解释所带来的歧义，可能导致判断的错误。丘里奇的数理逻辑通过形式化的公式运算，去掉了语言中的歧义，在逻辑上实现了精确的表达。数理逻辑的这种表达方式，从表面看上去可能很晦涩，但却能越过日常语言和思考的艰难，使得我们能够用更加精确和准确化的方式来表达和思考。
在浅谈丘里奇的数理逻辑之前，我们应该首先理解一下什么是“逻辑”。逻辑，是讲求配合、讲求认识和推理公式的一种人类思维方式，也是一种科学方法论，帮助我们从真假的层面分辨谬误，使得大家能够在正确理解知识上达成共识。
丘里奇的数理逻辑在解决了一些传统逻辑分析中的疑惑和矛盾后，被广泛运用到了人工智能、计算机科学、哲学等领域，并促成了以上领域的快速发展。同时，丘里奇的思想和贡献，也为今后几个世纪的数学和逻辑学研究奠定了基础。