Diskuse:Lambda kalkul

Nemalo by 4. pravidlo zakladneho formalneho popisu lambda kalkulu zniet: x ∈ V, M ∈ Λ → (λ . M) x ∈ Λ  ?

--Neznámý Slovák

ne, za lambda je (jedna) promenná Jj14 (diskuse) 7. 9. 2013, 17:30 (UTC)

Nejsem odborník, proto si moc netroufám opravovat, ale zdá se mi, že 3. axiom ( M = N → N = M (asociativita)) by měl být popsán spíše jako komutativita. Navíc odkud tyto axiomy pocházejí? V anglické verzi článku nejsou, navíc pokud jsou míněny jako teorie predikátové logiky, pak je zcela zbytečné zavádět ==, které je již v teoriích s jazykem s == zavedené. Vůbec mi článek přijde dost chaotický, není vysvětleno používání čárek a teček v notaci funkcí. Prosím korekturu, nebo vysvětlení.

--Huge 10. 4. 2010, 21:26 (UTC)

1. tečky jsem opravil :-)
2. ad '=': zavádí se jiná rovnost než v logice

Jj14 (diskuse) 7. 9. 2013, 17:30 (UTC)