Difference between revisions of "Talk:2610: Assigning Numbers"
Line 5: | Line 5: | ||
Isn't the Gödel number for a theorem calculated by multiplying the numbers of the components together, so complicated theorems would have larger numbers? If so, the current explanation that this isn't a good way to judge fields is wrong. I'm not too sure though. [[User:MrCandela|MrCandela]] ([[User talk:MrCandela|talk]]) 05:52, 23 April 2022 (UTC) | Isn't the Gödel number for a theorem calculated by multiplying the numbers of the components together, so complicated theorems would have larger numbers? If so, the current explanation that this isn't a good way to judge fields is wrong. I'm not too sure though. [[User:MrCandela|MrCandela]] ([[User talk:MrCandela|talk]]) 05:52, 23 April 2022 (UTC) | ||
− | I do not believe that the title suggests renumbering theorems with Gödel numbers, but averaging the existing theorem numbers. Sebastian --[[Special:Contributions/172.68.110.133|172.68.110.133]] 08:10, 23 April 2022 (UTC) | + | I do not believe that the title suggests renumbering theorems with Gödel numbers, but averaging the existing theorem numbers. Or otherwise, MrCandela's suggestion would be the way to go: Complicated Theorems have larger numbers. Sebastian --[[Special:Contributions/172.68.110.133|172.68.110.133]] 08:10, 23 April 2022 (UTC) |
Revision as of 08:11, 23 April 2022
Does this imply that Gödel's Incompleteness Theorem isn't correct? And that it's method is bunk? Please help! -Seer 162.158.107.230 02:08, 23 April 2022 (UTC) I believe the intention is that the theorem is not part of the set of bad data science, just that they share this one feature.
Isn't the Gödel number for a theorem calculated by multiplying the numbers of the components together, so complicated theorems would have larger numbers? If so, the current explanation that this isn't a good way to judge fields is wrong. I'm not too sure though. MrCandela (talk) 05:52, 23 April 2022 (UTC)
I do not believe that the title suggests renumbering theorems with Gödel numbers, but averaging the existing theorem numbers. Or otherwise, MrCandela's suggestion would be the way to go: Complicated Theorems have larger numbers. Sebastian --172.68.110.133 08:10, 23 April 2022 (UTC)