Doc Morbius (moved to Glasswings) August 3, 2021 10:51pm My next programming language will have truth values as follows: True False Trinary Maybe MosDef YouWish IfOnly WhatsItWorthToYou Unproven Unprovable OfQuestionableParentage Eyeroll https://mastodon.social/@natecull/106694416173330709 #truth #logic #programmingLanguages Nate Cull (@natecull@mastodon.social) Sometimes I wish I could understand just what the sentence "this sentence is not logically derivable with this system" actually means, to an actual human I mean the actual truth value of a statement like that is generally something like "yawn...