Lambda: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
(λ x. x x) (λ x. x x) | Igavene tsükkel: avaldise (λ x. x x) (λ x. x x) väärtus on ta ise. | ||
Redaktsioon: 25. veebruar 2005, kell 14:00
Igavene tsükkel: avaldise (λ x. x x) (λ x. x x) väärtus on ta ise.
Lambda on kreeka tähestiku täht, mis vastab ladina tähele L. Selle kogumiku nimeks
sai lambda seetõttu, et 1930 aastatel lõi
A.Church ühe esimestest
programmeerimiskeeltest maailmas (teine oli Churchi õpilase
A.Turingu nn
"Turingi masin")
ning nimetas selle keele
lambda-arvutuseks
(praktiliseks katsetamiseks külasta seda saiti).
Lambda-arvutus oli küll puhtalt teooria
jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta
hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks.
Lambda sümbol on veel sisemine osa
Half-Life
Black Mesa kompleksi
lambda sektori
logost.