Curry lause ja tõendusteooria
Karmo Talts
Vaatame Curry lauset tõendusteooria poolt. Kuna Curry lause tõestab oma järelduse ja Curry lause järeldus on väär, siis Curry lause tõestab vääruse. Kui Curry lause tõestab vääruse, siis sümmeetria ütleb, et Curry lause eitus on teoreem.
No comments:
Post a Comment