On the idea(l) of logical closure (Q1192341): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Georg Kreisel / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Branislav R. Boričić / rank | |||
Normal rank |
Revision as of 00:00, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the idea(l) of logical closure |
scientific article |
Statements
On the idea(l) of logical closure (English)
0 references
27 September 1992
0 references
The author, an eminent logician, whose voluminous work plays an influental role in the development of contemporary proof theory and foundations of mathematics, discusses different interesting aspects of a fundamental notion of logic --- the notion of logical closure. Also, the paper includes reminiscences and reflections concerning the author's conversations with J. R. Myhill, as well as elements of the author's intellectual biography. An exceptional charm of the paper lies in the absence of the conventional separation between the treatment of personal and logical aspects of the subject.
0 references
logical closure
0 references
conversations with J. R. Myhill
0 references