Vita:Lambda-kalkulus
Új téma nyitása
|
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. | |||
| |||
|
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.) --Tgrvita•IRC•WP•PR 2010. március 20., 02:04 (CET)