Talk:Hilbert–Bernays provability conditions
Latest comment: 11 months ago by 90.70.202.165 in topic Condition 3
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
sharp
editIt would be helpful to clarify the use of the sharp in the statement of the conditions. Note that the conditions are expressed without the sharp at Gödel's_incompleteness_theorems#Second_incompleteness_theorem Tkuvho (talk) 16:09, 2 December 2010 (UTC)
- Good point. Did my edits go far enough? — Carl (CBM · talk) 16:20, 2 December 2010 (UTC)
- Some historical discussion may be helpful. Hilbert and Bernays apparently started their project in 1917 whereas Goedel's application did not come until the 1930s. Also, can these be restated in a more conceptual form as some kind of an equivalence of categories or transformation of categories? Tkuvho (talk) 17:56, 4 December 2010 (UTC)
Condition 3
editIt is mentioned that "For the first theorem only the first and third conditions are needed". So, isn't it necessary to mention that condition 3 is needed to obtain 2 in the two parts of the proof of 1st theorem ? 90.70.202.165 (talk) 14:12, 15 December 2023 (UTC)