date: 2024-11-17
title: 01-TOC-Intro
status: DONE
author:
- AllenYGY
tags:
- NOTE
- TOC
descriptions: "Theory Of Computation Introduction---A brief introduction to the history of mathematical logic and computer science."
publish: True
TOC-Intro
A computation is a procedure to calculate the desired output of a computational problem.
If only solve decision problems, a computation is a procedure to decide whether an element is in a set or not.
Gottfried Wilhelm Leibniz 1646-1716
Gottlob Frege 1848-1925
Kurt Gödel 1906–1978
Alonzo Church 1903-1995
Alan Turing 1912-1954
这段历史概述了数学逻辑与计算机科学发展的几个关键人物及其贡献,涉及从17世纪到20世纪的重要理论基础。这些贡献共同构建了现代逻辑学、数学以及计算机科学的基础,以下是逐步的介绍:
莱布尼茨是一位德国哲学家、数学家,被认为是现代数学逻辑的奠基人之一。他的两项核心构想对后来的逻辑发展产生了深远影响:
尽管莱布尼茨的构想在他在世时未能实现,但它为后来的逻辑学家提供了启发。
弗雷格是德国逻辑学家,被称为现代逻辑学的奠基人之一。他的主要贡献体现在:
弗雷格的工作直接影响了后来的逻辑学家,包括罗素和维特根斯坦。
哥德尔是奥地利逻辑学家,以他的不完备性定理闻名,该定理对数学和逻辑的基础提出了深刻的限制:
哥德尔的理论对数理逻辑和理论计算机科学产生了重大影响。
丘奇是美国数学家,他的λ演算(Lambda Calculus)为计算理论奠定了重要基础:
λ演算后来成为编程语言理论的重要基础。
图灵是英国数学家、逻辑学家,被誉为计算机科学之父。他的贡献主要包括:
图灵还提出了“图灵测试”,作为人工智能的早期概念。