Intuitsionistliku eituse sisse toomine ja Curry laused
Karmo Talts
Vaatame intuitsionistlikku teoreemi, et kui väitest järeldub absurdsus, siis on väide väär. Selle kontrapositsioon on, et tõesest väitest ei järeldu absurdne järeldus.
Vaatame nüüd selle tähendust Curry paradoksi jaoks. Curry laused räägivad sellele teoreemile vastu.
No comments:
Post a Comment