Wayne Aitken

Learn More
Algorithmic logic is the logic of basic statements concerning algorithms and the algorithmic rules of deduction between such statements. It is a type-free logic capable of significant self-reference. Because of its expressive strength, traditional rules of logic are not necessarily valid. As shown in [1], the threat of paradoxes, such as the Curry paradox ,(More)
  • 1