Giorgi Japaridze

to get instant updates about 'Giorgi Japaridze' on your MyPage. Meet other similar minded people. Its Free!


All Updates

Giorgi Japaridze is a logician, at Villanova University in Villanova, Pennsylvania. In the past his contributions were primarily into the areas of provability logic and interpretability logic. Currently he is best known for his work on computability logic (CL).

Technically CL is a game logic: it understands interactive computational problems as games played by a machine against the environment, their computability as existence of a machine that always wins the game, logical operators as operations on computational problems, and validity of a logical formula as being a scheme of "always computable" problems.

Classical logic, intuitionistic logic, and linear logic (in a broad sense), turn out to be three natural fragments of CL.The classical concept of truth is a special case of computability, – computability restricted to problems of zero interactivity degree. Correspondingly, classical logic is a special fragment of CL. One of the main intuitions associated with intuitionistic logic is that it must be a logic of problems (Kolmogorov 1932); this is exactly what CL is, but in a more expressive language than intuitionistic logic. And one of the main claims of linear logic is that it is a logic of resources. Reversing of the roles of the machine and its environment turns computational problems into computational resources, which makes CL a logic of resources, only, again, in a more expressive language than that of linear logic, and based on an intuitively convincing...
Read More

No feeds found

Posting your question. Please wait!...

No updates available.
No messages found
Suggested Pages
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from