sorted by: recent | see : popular

Content Tagged with mathematics + math

Haskell is based on the lambda calculus. "Since every expression is a unary function, and every argument and result are functions too, lambda calculus is quite interesting and unique within both computation and mathematics." . Building on earlier work by Kleene and constructing a Gödel numbering for lambda expressions, he constructs a lambda expression e which closely follows the proof of Gödel's first incompleteness theorem. If e is applied to its own Gödel number, a contradiction results.

A fractal generator for OS X as well as other platforms.