Japaridze's Computability Logic
"Computability Logic" is a proper noun referring to a research programme initiated by Giorgi Japaridze in 2003. Its ambition is to redevelop logic from a game-theoretic semantics. Such a semantics sees games as formal equivalents of interactive computational problems, and their "truth" as existence of algorithmic winning strategies. See Computability logic.
Read more about this topic: Logics For Computability
Famous quotes containing the word logic:
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)