理解Haskell Brooks Curry & lambda calculus

ikeepo

于 2021-03-29 10:42:49 发布

阅读量337

点赞数 1

CC 4.0 BY-SA版权

分类专栏： Language Smalltalk|OCaml 文章标签： Haskell Brooks Curry lambda calculus

本文链接：https://blog.youkuaiyun.com/The_Time_Runner/article/details/115295698

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

8 篇文章

订阅专栏

Language

5 篇文章

订阅专栏

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

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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