Editing 1856: Existence Proof
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 8: | Line 8: | ||
==Explanation== | ==Explanation== | ||
+ | {{incomplete|Needs more work, especially an explanation of the G() function.}} | ||
+ | |||
In mathematics, an existence proof is a proof that only shows that an object with a specific property exists, but does not tell what this object is. For instance, if f is a continuous function such that f(0) = 0 and f(100) = 2, it is easy to prove that there exists an x between 0 and 100 such that f(x) = 1 (as in the comic). However, this proof gives no way to find such an x. | In mathematics, an existence proof is a proof that only shows that an object with a specific property exists, but does not tell what this object is. For instance, if f is a continuous function such that f(0) = 0 and f(100) = 2, it is easy to prove that there exists an x between 0 and 100 such that f(x) = 1 (as in the comic). However, this proof gives no way to find such an x. | ||
In many situations, a proof of existence is enough to satisfy a mathematician, but in others, it is desirable to actually identify the object whose existence has been proven. | In many situations, a proof of existence is enough to satisfy a mathematician, but in others, it is desirable to actually identify the object whose existence has been proven. | ||
β | The full statement itself seems like a solution to some kind of {{w|function composition}} problem. Seems like what the class has proven is that if you apply certain function G(x) to a starting point of function f(0), then what it will do is just give you a value of f(x) at some other value of x, existence of which is stated to be proven | + | The full statement itself seems like a solution to some kind of {{w|function composition}} problem. Seems like what the class has proven is that if you apply certain function G(x) to a starting point of function f(0), then what it will do is just give you a value of f(x) at some other value of x, existence of which is stated to be proven. |
In the comic, [[Miss Lenhart]] (and students) take this one step further, by taking up arms to destroy the function value, which they have proven to exist. In the last panel, some students off screen begin to wonder if they are in the right class, as normal math classes do not take up swords to fight abstract concepts.{{Citation needed}} Another student remarks that they are finally in the right math class, implying that this is the kind of thing they wanted from their math curriculum all along. | In the comic, [[Miss Lenhart]] (and students) take this one step further, by taking up arms to destroy the function value, which they have proven to exist. In the last panel, some students off screen begin to wonder if they are in the right class, as normal math classes do not take up swords to fight abstract concepts.{{Citation needed}} Another student remarks that they are finally in the right math class, implying that this is the kind of thing they wanted from their math curriculum all along. | ||
Line 18: | Line 20: | ||
The phrase "''We ride''" is commonly used in rallying battle cries, particularly in fantasy or medieval dramas where characters are preparing to enter combat on horseback. Variations of the phrase are used several times in ''{{w|The Lord of the Rings}}'', for example. | The phrase "''We ride''" is commonly used in rallying battle cries, particularly in fantasy or medieval dramas where characters are preparing to enter combat on horseback. Variations of the phrase are used several times in ''{{w|The Lord of the Rings}}'', for example. | ||
β | The title text refers to {{w|Real Analysis}}, a branch of mathematics dealing with {{w|real number}}s and real-valued functions (as opposed to studies dealing with | + | The title text refers to {{w|Real Analysis}}, a branch of mathematics dealing with {{w|real number}}s and real-valued functions (as opposed to studies dealing with {{w|imaginary number}}s in the complex plane). As the speaker implies, Real Analysis is supposed to remain confined to the theoretical realm of mathematics; certainly nobody signing up for such a class would ever expect to be embroiled in a crusade against intangible constructs! Taken out of its mathematical context, "analysis" literally means "breaking down", referring to the teacher's intention to cut things up with a sword. The use of the uncommon word "realer" conveys that the situation has suddenly developed unusually high stakes, in a manner similar to the phrase "shit just got real". This nuance would be lost if the word "realer" were replaced with the technically correct phrasing of "more real". |
This may be a continuation of [[982: Set Theory]], where numbers were "executed" to prove a point. | This may be a continuation of [[982: Set Theory]], where numbers were "executed" to prove a point. | ||
Line 41: | Line 43: | ||
[[Category:Comics featuring Miss Lenhart]] | [[Category:Comics featuring Miss Lenhart]] | ||
β | [[Category: | + | [[Category:Math]] |