理解Haskell Brooks Curry & lambda calculus

最新推荐文章于 2021-03-29 10:45:26 发布

原创最新推荐文章于 2021-03-29 10:45:26 发布 · 371 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#Haskell #Brooks #Curry #lambda calculus

Smalltalk|OCaml 同时被 2 个专栏收录

8 篇文章

订阅专栏

Language

5 篇文章

订阅专栏

哈斯凯尔·布鲁克斯·柯里是一位对逻辑和计算机科学有着深远影响的数学家。他的名字被赋予了三种编程语言——Haskell、Brooks和Curry。lambda演算是数学逻辑中的一种形式系统，由阿隆佐·丘奇在1930年代引入，基于函数抽象和变量替换来表达计算。形式系统是根据一套规则从公理中推导定理的体系，大卫·希尔伯特曾在1921年提出用其作为数学知识的基础。

Haskell Brooks Curry

Haskell Brooks Curry was a mathematician who made significant to logic and computer science.

Three programming languages are named after him: Haskell, Brooks, Curry.
Lambda Calculus

The lambda calculus is a formal system in mathematical logic for expressing the computation based on function abstraction using variable bingding and substitution.

It was introduced by mathemeticaion Alonzo Church in the 1930s.
formal system

A formal system is used for inferring theorems from axioms according to a set of rules.

These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.

A formal system is essentially an “axiomatic system”.

In 1921, David Hilbert proposed to use such system as the foundation for the knownledge in mathematics.
Reference