nova beseda
iz Slovenije
DELO, leto 2009, poved v sobesedilu:
Church s Princetonske univerze je skupaj z dvema študentoma razvil tako imenovani lambda račun, s katerim je mogoče izraziti velike razrede matematičnih funkcij, vključno z vsemi, ki jih je uporabil Gödel. Church je trdil, da je mogoče vsako izračunljivo matematično funkcijo definirati v lambda računu. Potem je dokazal, da bi obstoj neke v lambda računu definirane neizračunljive matematične funkcije pomenil, da ne more obstajati splošen postopek za ugotavljanje, ali je neka formula dokazljiva. Aprila 1936 je Church objavil v lambda računu definirano logično funkcijo, ki ni izračunljiva in s tem dokončno ovrgel Hilbertovo tezo.
Nova poizvedba
Pripombe
Na vrh strani