Jump to content

Talk:Hilbert–Bernays provability conditions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]

Good point. Did my edits go far enough? — Carl (CBM · talk) 16:20, 2 December 2010 (UTC)[reply]
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)[reply]

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)[reply]