A survey of computability logic
Giorgi Japaridze
TL;DR
This survey provides an overview of computability logic, discussing its foundational philosophy, key concepts, and significant results, serving as a comprehensive resource for understanding this emerging logical framework.
Contribution
It compiles and explains the main ideas, motivations, and recent developments in computability logic, offering a consolidated reference for researchers.
Findings
Summarizes core concepts and motivations of computability logic.
Highlights significant theoretical results achieved so far.
Provides an accessible overview for new and existing researchers.
Abstract
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms