Search results

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies. Systems...

Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the (x, y) plane. The formula was...