Category Archives: Uncategorized

I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally without bound variables. For example, sG may mean “Socrates is Greek”, [G]M “all Greeks are Mortal”, and the conclusion “Socrates is Mortal”, sM. … Continue reading →

A while back I decided that it would easy and useful to video record  some lectures. Little did I know!

  I  like  true/false exam questions and through my career have thought up hundreds of them. Every now and then, for comic relief and to inflate the grades, I include some that are ridiculously easy. However, I’ve never found one that … Continue reading →

I’m that Bill Wadge, inventor of Wadge Degrees, co-inventor of the dataflow Language Lucid, and a few other things. I’ll be blogging about my past and current research and posting papers and even software. See you soon. Bill Wadge, Computer … Continue reading →