In Untyped Lambda Calculus, a workaround to Godel and the basis of all computer programming languages, you can make true=false or whatever you want to. Too powerful really but it ultimately allowed for computing to model anything. Posted on February 13, 2022 by Kenneth Udut Leave a comment In Untyped Lambda Calculus, a workaround to Godel and the basis of all computer programming languages, you can make true=false or whatever you want to. Too powerful really but it ultimately allowed for computing to model anything. Like [responsivevoice_button voice="US English Male"] Leave a comment Cancel reply Your email address will not be published. Required fields are marked *Comment Name * Email * Website Save my name, email, and website in this browser for the next time I comment. 5 − two = Leave a Reply