Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Recursive unsolvability of a problem of expressibility in the logic of provability |
scientific article; zbMATH DE number 6084372
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive unsolvability of a problem of expressibility in the logic of provability |
scientific article; zbMATH DE number 6084372 |
Statements
20 September 2012
0 references
recursive unsolvability
0 references
syntactical expressibility
0 references
Gödel-Löb logic
0 references
0.9035115
0 references
0.8987965
0 references
0.8920005
0 references
0.89127195
0 references
0.88899064
0 references
0.8873729
0 references
0.8846616
0 references
Recursive unsolvability of a problem of expressibility in the logic of provability (English)
0 references
