Provability Logic

[Revised entry by Rineke (L.C.) Verbrugge on February 1, 2017. Changes to: Main text, Bibliography] Provability logic is a modal logic that is used to investigate what arithmetical theories can
Philosophy News image
[Revised entry by Rineke (L.C.) Verbrugge on February 1, 2017. Changes to: Main text, Bibliography] Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Godel's incompleteness theorems of 1931 and Lob's theorem of 1953. As a modal logic, provability logic has been studied since the early seventies, and has had important applications in the foundations of mathematics....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus