Talk:Hilbert–Bernays provability conditions
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
sharp[edit]
It 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)
- 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[edit]
It 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)