Talk:Hilbert–Bernays provability conditions

sharp

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)

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

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)