Editing Talk:2042: Rolle's Theorem
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 3: | Line 3: | ||
Now we wait for https://en.wikipedia.org/wiki/Munroes_theorem. [[Special:Contributions/172.69.54.165|172.69.54.165]] 15:51, 5 September 2018 (UTC) | Now we wait for https://en.wikipedia.org/wiki/Munroes_theorem. [[Special:Contributions/172.69.54.165|172.69.54.165]] 15:51, 5 September 2018 (UTC) | ||
:Can't wait to see how long it takes to remove the article. [[User:Linker|Linker]] ([[User talk:Linker|talk]]) 17:05, 5 September 2018 (UTC) | :Can't wait to see how long it takes to remove the article. [[User:Linker|Linker]] ([[User talk:Linker|talk]]) 17:05, 5 September 2018 (UTC) | ||
− | |||
:Proposed ideas for Munroe's Law: | :Proposed ideas for Munroe's Law: | ||
Line 10: | Line 9: | ||
:[[User:Rajakiit|Raj-a-Kiit]] ([[User talk:Rajakiit|talk]]) 17:57, 5 September 2018 (UTC) | :[[User:Rajakiit|Raj-a-Kiit]] ([[User talk:Rajakiit|talk]]) 17:57, 5 September 2018 (UTC) | ||
:I do not have the time to do it good, so here a suggestion: Would someone go to the wikipedia page of Rolle's theorem and add a "in popular culture" section? may be a first? Not even "Nash equilibrum" has that :-) [[Special:Contributions/162.158.234.16|162.158.234.16]] 08:13, 6 September 2018 (UTC) | :I do not have the time to do it good, so here a suggestion: Would someone go to the wikipedia page of Rolle's theorem and add a "in popular culture" section? may be a first? Not even "Nash equilibrum" has that :-) [[Special:Contributions/162.158.234.16|162.158.234.16]] 08:13, 6 September 2018 (UTC) | ||
− | |||
::Speaking of popular culture, there's a (moderately) well known Ballad of Rolle's theorem [https://www.youtube.com/watch?v=S0BXv90MlhA Balada o vete Rolleovej] ("moderately" meaning some people who studied at Faculty of mathematics in Bratislava might have heard (of) it) --[[User:Kventin|Kventin]] ([[User talk:Kventin|talk]]) 07:41, 7 September 2018 (UTC) | ::Speaking of popular culture, there's a (moderately) well known Ballad of Rolle's theorem [https://www.youtube.com/watch?v=S0BXv90MlhA Balada o vete Rolleovej] ("moderately" meaning some people who studied at Faculty of mathematics in Bratislava might have heard (of) it) --[[User:Kventin|Kventin]] ([[User talk:Kventin|talk]]) 07:41, 7 September 2018 (UTC) | ||
− | |||
− | |||
I feel like Euclid beat Randall to the punch here, a couple millennia. [[Special:Contributions/162.158.155.146|162.158.155.146]] 16:54, 5 September 2018 (UTC) | I feel like Euclid beat Randall to the punch here, a couple millennia. [[Special:Contributions/162.158.155.146|162.158.155.146]] 16:54, 5 September 2018 (UTC) | ||
Line 47: | Line 43: | ||
Does the Kepler Conjecture actually belong on that list at the end? Most of the others are "derp" level intuitively obvious and/or essentially tautological on a very basic level, but the Kepler Conjecture couldn't actually be exhaustively proven until machine computation, nor is it intuitively definitive--if you've ever stacked round things into a box you've noticed that it feels like you're wasting a lot of space at the edges. So...? [[User:AtrumMessor|AtrumMessor]] ([[User talk:AtrumMessor|talk]]) 21:37, 6 September 2018 (UTC) | Does the Kepler Conjecture actually belong on that list at the end? Most of the others are "derp" level intuitively obvious and/or essentially tautological on a very basic level, but the Kepler Conjecture couldn't actually be exhaustively proven until machine computation, nor is it intuitively definitive--if you've ever stacked round things into a box you've noticed that it feels like you're wasting a lot of space at the edges. So...? [[User:AtrumMessor|AtrumMessor]] ([[User talk:AtrumMessor|talk]]) 21:37, 6 September 2018 (UTC) | ||
:I would also argue against most of the other examples. Neither the isoperimetric inequality nor the hairy ball theorem are obviously true and their proof is quite a bit more involved than the one of Rolle's theorem. The Jordan curve theorem sounds obvious but then the proof definitely isn't. The parallel postulate isn't even a theorem. The only real good example in the list is the pigeonhole principle.[[Special:Contributions/162.158.91.155|162.158.91.155]] 12:35, 7 September 2018 (UTC) | :I would also argue against most of the other examples. Neither the isoperimetric inequality nor the hairy ball theorem are obviously true and their proof is quite a bit more involved than the one of Rolle's theorem. The Jordan curve theorem sounds obvious but then the proof definitely isn't. The parallel postulate isn't even a theorem. The only real good example in the list is the pigeonhole principle.[[Special:Contributions/162.158.91.155|162.158.91.155]] 12:35, 7 September 2018 (UTC) | ||
− | |||
− | |||
− | |||
I also suggest that Fundamental Theorem of Calculus be removed from this list. Firstly, the beginner student, just introduced to derivatives and antiderivatives, will not easily see that antiderivatives are the same as finding areas under curves. Instead, it is only obvious upon hindsight, after instruction. More importantly, a restriction of the FTC to better-behaved spaces shows a far greater insanity: the restricted FTC is a consequence of generalised Stokes's theorem '''applied twice'''. This operation is so highly unintuitive, that one simply cannot claim that this is in any way, shape, or form, trivial. I think that trying to pretend that anything in beginning calculus is obvious to students is just going to alienate them rather than soothe their worries. [[Special:Contributions/162.158.165.124|162.158.165.124]] 04:40, 7 September 2018 (UTC) | I also suggest that Fundamental Theorem of Calculus be removed from this list. Firstly, the beginner student, just introduced to derivatives and antiderivatives, will not easily see that antiderivatives are the same as finding areas under curves. Instead, it is only obvious upon hindsight, after instruction. More importantly, a restriction of the FTC to better-behaved spaces shows a far greater insanity: the restricted FTC is a consequence of generalised Stokes's theorem '''applied twice'''. This operation is so highly unintuitive, that one simply cannot claim that this is in any way, shape, or form, trivial. I think that trying to pretend that anything in beginning calculus is obvious to students is just going to alienate them rather than soothe their worries. [[Special:Contributions/162.158.165.124|162.158.165.124]] 04:40, 7 September 2018 (UTC) | ||
:Ehh what? No, FTC restricted to smooth functions is simply a special-case of Stokes' Theorem. This is explained [https://en.wikipedia.org/wiki/Stokes%27_theorem#Introduction here]. I don't even know what you could possibly mean by applying Stokes' theorem twice, in any context. [[User:Zmatt|Zmatt]] ([[User talk:Zmatt|talk]]) 13:23, 7 September 2018 (UTC) | :Ehh what? No, FTC restricted to smooth functions is simply a special-case of Stokes' Theorem. This is explained [https://en.wikipedia.org/wiki/Stokes%27_theorem#Introduction here]. I don't even know what you could possibly mean by applying Stokes' theorem twice, in any context. [[User:Zmatt|Zmatt]] ([[User talk:Zmatt|talk]]) 13:23, 7 September 2018 (UTC) | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
"Munroe's theorem" should definitely refer to the circle thing in the alt text {{unsigned ip|162.158.62.57}} | "Munroe's theorem" should definitely refer to the circle thing in the alt text {{unsigned ip|162.158.62.57}} | ||
Since I'm half a mathematician, I did the math. I looked up Rolle's theorem and it uses the theorem of Weierstraß. I looked up the theorem of Weierstraß (better known as extreme value theorem) and it uses the theorem of Bolzano-Weierstraß. I looked up...why am I suddenly reminded of https://xkcd.com/609 ? :-) [[Special:Contributions/141.101.104.71|141.101.104.71]] 08:36, 7 September 2018 (UTC) | Since I'm half a mathematician, I did the math. I looked up Rolle's theorem and it uses the theorem of Weierstraß. I looked up the theorem of Weierstraß (better known as extreme value theorem) and it uses the theorem of Bolzano-Weierstraß. I looked up...why am I suddenly reminded of https://xkcd.com/609 ? :-) [[Special:Contributions/141.101.104.71|141.101.104.71]] 08:36, 7 September 2018 (UTC) | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |