| http://www.w3.org/ns/prov#value | - In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics.[1][2] The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of G??del's incompleteness theorems.[3][1]
|
