Editing Talk:2694: Königsberg
Please sign your posts with ~~~~ |
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 20: | Line 20: | ||
:Proving that a problem has no solution is still called solving it in math and logic. [[Special:Contributions/172.70.211.126|172.70.211.126]] 15:34, 5 November 2022 (UTC) | :Proving that a problem has no solution is still called solving it in math and logic. [[Special:Contributions/172.70.211.126|172.70.211.126]] 15:34, 5 November 2022 (UTC) | ||
::That's solving the issue of the solution (if you've proved there is none), at the meta- level. It is described as a "negative resolution" in the primary wikilink, which adds another semantic complexity but at least points to what was proven. Right in its first paragraph. For the everyday reader that hasn't yet burrowed into the wikilink, and without in-depth knowledge of terminological scope, they shouldn't be given the wrong idea about what question was actually answered. And "We've solved it: there's no solution!" is not a particularly helpful reduction of this kind of outcome. [[Special:Contributions/172.71.178.207|172.71.178.207]] 16:53, 5 November 2022 (UTC) | ::That's solving the issue of the solution (if you've proved there is none), at the meta- level. It is described as a "negative resolution" in the primary wikilink, which adds another semantic complexity but at least points to what was proven. Right in its first paragraph. For the everyday reader that hasn't yet burrowed into the wikilink, and without in-depth knowledge of terminological scope, they shouldn't be given the wrong idea about what question was actually answered. And "We've solved it: there's no solution!" is not a particularly helpful reduction of this kind of outcome. [[Special:Contributions/172.71.178.207|172.71.178.207]] 16:53, 5 November 2022 (UTC) | ||
− | |||
::...ok, so looking at it myself, maybe [https://www.explainxkcd.com/wiki/index.php?title=2694:_K%C3%B6nigsberg&diff=298234&oldid=298231 this change] removes both parties' objections. (Probably not, but perhaps a way ''towards'' a final rapprochement.) [[Special:Contributions/172.70.85.24|172.70.85.24]] 17:02, 5 November 2022 (UTC) | ::...ok, so looking at it myself, maybe [https://www.explainxkcd.com/wiki/index.php?title=2694:_K%C3%B6nigsberg&diff=298234&oldid=298231 this change] removes both parties' objections. (Probably not, but perhaps a way ''towards'' a final rapprochement.) [[Special:Contributions/172.70.85.24|172.70.85.24]] 17:02, 5 November 2022 (UTC) | ||
− | |||
I read somewhere (maybe some Martin Gardner book?) that nowadays in Koenigsberg (or Kaliningrad as it is called today) there IS an eight bridge. But I couldn't confirm it.--[[Special:Contributions/162.158.129.49|162.158.129.49]] 17:26, 5 November 2022 (UTC) | I read somewhere (maybe some Martin Gardner book?) that nowadays in Koenigsberg (or Kaliningrad as it is called today) there IS an eight bridge. But I couldn't confirm it.--[[Special:Contributions/162.158.129.49|162.158.129.49]] 17:26, 5 November 2022 (UTC) |