1856: Existence Proof

2017-06-29T02:47:44Z

Swamp ig: /* Explanation */ axiom of choice.

{{comic
| number = 1856
| date = June 28, 2017
| title = Existence Proof
| image = existence_proof.png
| titletext = Real analysis is way realer than I expected.
}}

==Explanation==
{{incomplete|Needs more work.}}

This seems to be a continuation of [[982: Set Theory]], where numbers were "executed" to prove a point. This time it goes even further, with [[Miss Lenhart]] (and students) 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.

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. In addition, the number which must be destroyed could be a reference to the One Ring.

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! The use of the neologism "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". In order to find the function to destroy it would require the {{w|Axiom Of Choice}}, which is also spoofed in [[804: Pumpkin Carving]].

==Transcript==

:[Miss Lenhart stands in front of a whiteboard and points at calculations written on it.]
:Miss Lenhart: There exists some number x such that f(x)=G(f(0))=1.

:[Miss Lenhart moves her arm in a frameless panel.]
:Miss Lenhart: Oh yes.
:Miss Lenhart: Somewhere out there, it exists.

:[Zoom-in on Miss Lenhart raising a fist.]
:Miss Lenhart: And we must find it... and ''destroy'' it.

:[Miss Lenhart raises a sword.]
:Miss Lenhart: Grab your swords, students! We ride!
:Student #1 (off-screen): I think I'm in the wrong math class?
:Student #2 (off-screen): I'm finally in the right one.
{{comic discussion}}

[[Category:Comics featuring Miss Lenhart]]
[[Category:Math]]

explain xkcd - User contributions [en]

1856: Existence Proof