Wikipedia:Reference desk/Archives/Mathematics/2024 July 10
| Mathematics desk | ||
|---|---|---|
| < July 9 | << Jun | July | Aug >> | Current desk > |
| Welcome to the Wikipedia Mathematics Reference Desk Archives |
|---|
| The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
July 10
editDefinition of proof
editHow does Gödel defined a proof in his version of Intermediate logic? 2A02:8071:60A0:92E0:78B6:4D3A:774B:E50C (talk) 18:34, 10 July 2024 (UTC)
- Can you give us a pointer to a source defining "Gödel's version" of intermediate logic? Also, is there evidence that Gödel defined the notion of proof for this logic? --Lambiam 18:46, 10 July 2024 (UTC)