See all Abstractions blog Inspired by Curry’s observation, the mathematical logician William Alvin Howard discovered a deeper link between computation and logic in 1969, showing that running a ...

Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

This kind of ontological proof is a favorite whipping-argument for atheists, just because it seems so prima facie silly. Just ask Jesus and Mo. This kind of mockery is a little unfair (although only a ...

Stronger than scientific explanation is logical proof. It may surprise you to know that just such proof of Santa’s existence has actually been around for more than 900 years.