Vita:Lambda-kalkulus

Ez a szócikk a következő műhely(ek) cikkértékelési spektrumába tartozik:

Informatikai szócikkek (jól használható besorolás) Ez a szócikk témája miatt az Informatikai műhely érdeklődési körébe tartozik. Bátran kapcsolódj be a szerkesztésébe! Jól használható Ez a szócikk jól használható besorolást kapott a kidolgozottsági skálán. Nagyon fontos Ez a szócikk nagyon fontos besorolást kapott a műhely fontossági skáláján. Értékelő szerkesztő: Blas3nik (vita), értékelés dátuma: 2012. április 24. Informatikai szócikkek Wikipédia:Cikkértékelési műhely/Index Matematikai szócikkek (bővítendő besorolás) Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik. Bátran kapcsolódj be a szerkesztésébe! Bővítendő Ez a szócikk bővítendő besorolást kapott a kidolgozottsági skálán. Nagyon fontos Ez a szócikk nagyon fontos besorolást kapott a műhely fontossági skáláján. Értékelő szerkesztő: Misibacsi (vita), értékelés dátuma: 2009. augusztus 2.

Valami gebasz van a cikk bevezetőjének második bekezdésében. A Church - Turing tézis nem azt mondja ki, hogy a Turing-gép és a lambda-kalkulus ekvivalens, de nem tudjuk bizonyítani, hanem azt, hogy bármilyen algoritmikus számítási módszer ekvivalens a Turing-géppel, lambda-kalmulussal, Markov-algoritmusokkal, vagy a Game of Life-al. Ez van a linkelt Church-Turing-tézis oldalon is. Ha valaki olvassa ezt, és nem ért egyet, pls hozzon érveket, hogy miért ne javítsam át, vagy okézza le a javítást. Üdv: Okri ^vita 2009. március 21., 13:28 (CET)

Egyetértek, nagyon durva hiba. – Aláíratlan hozzászólás, szerzője 89.134.154.129 (vitalap | szerkesztései)

A Turing-gép és a lambda-kalkulus (és a parciálisan rekurzív függvények) ekvivalenciáját tudjuk bizonyítani, ebből származik a C-T tézis; ezt átírtam a cikkben. (A Markov-algoritmus és az életjáték jóval későbbi a C-T tézisnél.) --Tgr^{vita•IRC•WP•PR} 2010. március 20., 02:04 (CET)