Tuesday, March 7, 2017

Competing at the Limit

I participate from time to time at a site called Math StackExchange, where users ask and answer questions about mathematics.  Most often, the questions relate to a student's coursework, but there are some deeper questions as well.  It's one of a family of similar StackExchange sites devoted to a wide variety of topics, only some of which are academically inclined.

One question that comes up every now and then is the definition of a limit.  It looks like this:
limxaf(x)=Lε>0,δ>0,x,0<|xa|<δ|f(x)L|<ε

And it reads like this:
The limit of f(x) as x approaches a equals L, if and only if for every positive ε, there exists a positive δ such that whenever x is within δ of a (except possibly exactly at a), f(x) is within ε of L.
Understandably, to many math students starting introductory analysis, this looks like so much gobbledygook.  Textbooks typically try to aid understanding by drawing a picture of a function f(x) in the vicinity of some value x = a, showing that as x gets closer to a, f(x) in turn gets closer to its limiting value L (which might not in fact be f(a) itself, if that value even exists).

But what if the sticking point for students isn't always that notion of better and better approximations (central as that is to the definition of a limit)?  What if the sticking point is the interplay between the "for every" (symbolized by the upside-down A: ∀) and the "there exists" (symbolized by the upside-down E: ∃)?  The intent of this definition, first conceived of by the French mathematician Augustin-Louis Cauchy (1789–1857) and formalized by the Bohemian mathematician/philosopher Bernard Bolzano (1781–1848), is to ensure that we can always get as close as we want to the limiting value (without necessarily hitting it), simply by being as close as we need to be to the argument x = a.

We can represent this as a sort of (almost irredeemably nerdy) game between two players, the Verifier and the Falsifier.  The Verifier is trying to prove the limit is right by showing that everything near x = a maps to an f(x) that's close to L, while the Falsifier tries to disprove the limit by challenging the Verifier to get even closer to L.  For instance, if the function f(x) = 2x+3, the Verifier might be trying to demonstrate that the limit of f(x), as x approaches 5, is 13:
Falsifier.  I don't think it's true; I think the limit is not 13.
Verifier.  Well, if that's so, then you must think there's some neighborhood of 13 that I can't force f(x) to lie in.
Falsifier.  Right.  OK, I challenge you to get within 0.1 of 13.
Verifier.  Sure.  If x is within 0.05 of 5, then f(x) will be within 0.1 of 13: f(4.95) = 2×4.95+3 = 12.9, which is within 0.1 of 13, and f(5.05) = 2×5.05+3 = 13.1, which is also within 0.1 of 13.  [There is more to it than that, such as that f(x) is monotonically increasing, but we'll leave these details out for now.]
Falsifier.  All right, but can you get within 0.01 of 13?
Verifier.  Yes.  All I have to do is force x to be within 0.005 of 5: f(4.995) = 12.99 and f(5.005) = 13.01.  In fact, I can answer any neighborhood of 13 you challenge me with, simply by halving it to obtain my vicinity of x = 5.  If you want me to be within ε of 13, then all I have to do is be within δ = ε/2 of 5.  Then f(5–ε/2) = 2×(5ε/2)+3 = 13ε, and f(5+ε/2) = 2×(5+ε/2)+3 = 13+ε.  It's foolproof.
Falsifier.  Hmm, I guess you're right.  I'll have to concede that the limit is 13.
The exchange would have gone quite differently if Verifier had claimed that the limit was 12.  Then, for instance, when Falsifier challenged Verifier to get within, say, 0.1 of 12, Verifier would have been unable to choose a vicinity of x = 5 such that f(x) is between 11.9 and 12.1 over that entire vicinity, because any value of x very close to 5—close as we like—always has f(x) very close to 13, and that clearly doesn't fall between 11.9 and 12.1.  But if Verifier can always figure out the right vicinity to force the function to fall in Falsifier's neighborhood, then they can prove the limit to be correct.

This approach to proofs has much broader applicability; in game semantics, and in a kind of logic called independence-friendly logic, many demonstrations rely on this kind of interplay between a Falsifying universal quantifier (the "for every" ∀) and an existential quantifier (the "there exists" ∃).



Now for a digression to something that will seem totally unrelated at first.

In the late 11th century, into the 12th, there lived a Breton named Pierre le Pallet who was a precocious philosopher.  He was initially trained by William of Champeaux, but quickly grew capable of duelling wits with his teacher, and ended by starting a school of his own, against the advice of William.  By all accounts, he was a self-proud man, convinced simultaneously that he was brighter than anyone else and that no one else was giving him proper credit for this.  In his defense, he was generally regarded as one of the leading philosophers of his time, his specialty being logic, a tool that he wielded in an almost competitive spirit in defense of positions that were then considered heretical.  It was during his late adolescence that he took on the name that we know him by today, Peter Abelard.

As Abelard, his fame grew considerably, and people from all around sought his counsel.  One of these was a canon in Notre Dame named Fulbert, who wanted Abelard as a tutor for his niece.  She was then in her early twenties (we think—there is significant uncertainty about her birthdate), and had demonstrated herself to be remarkably capable in classical letters.  She had mastered Latin, and Greek, and Hebrew, and had applied these to a study of Christianity, to which she was devoutly dedicated.

Her name was Heloise d'Argenteuil, and she and her relationship with Abelard were in time to become famous.  Both of them found the other attractive, and in or around 1115, they started an affair just out of the watchful eye of her uncle.  Ostensibly, Abelard was tutoring her, but this would be interrupted periodically by a bout of lovemaking.  When they were separated, they would exchange personal messages on wax slate (parchment being too expensive even for billet doux that would have to be discarded or hidden).  A message would be incised on a layer of wax mounted to a wooden back; this message could then be read and the wax melted and smoothed over to be used again and again.

The two lovers could not necessarily deliver the messages personally without incurring Fulbert's suspicion, and so would have to rely on the discretion of messengers.  But as the messages were typically written in Latin or Greek, which the messengers couldn't read, teacher and pupil could exchange their letters under the apparent guise of lessons.  Abelard and Heloise apparently exchanged over a hundred letters this way, letters we have access to only because Heloise seems to have transcribed them onto a scroll (now lost) which was found centuries later by a French monk named Johannes de Vepria.

The affair progressed as far as Heloise bearing a son by Abelard, whom she called Astrolabe, after the astronomical instrument, and about whom we know almost nothing at all.  Around this time, Fulbert caught wind of it, and managed to force them to marry, although Abelard extracted a promise from Fulbert not to publicize the marriage, so as to protect Abelard's reputation.

Fulbert, however, had had his own reputation damaged by Abelard over other matters, and so he began spreading rumors of the marriage.  Abelard had Heloise installed at an abbey for her own protection, a gesture that Fulbert misunderstood as Abelard trying to wash his hands of her.  So Fulbert hired some henchmen, and one night, they went to Abelard's sleeping quarters, and castrated him.



Abelard went into seclusion, and it is unclear that he ever saw Heloise again after this time.  However, about a decade or two later, they exchanged a sequence of seven or so longer letters, instigated when Heloise somehow got her hands on a letter that Abelard had written to a monk about his life story.  That letter included a retelling of her own story, and the two lovers were reintroduced to one another in this way.

Except that by this time, Abelard had decided to impose a sort of pious asceticism on himself that extended to any romantic feelings he might have had for his one-time wife.  Heloise, in turn, wrote him back, entreating him to concede those feelings, feelings she was sure he still retained.  In the last pair of letters, Heloise appears to have relented, and buried herself in her religious life, and Abelard seems to have praised and encouraged this.  But these letters are permeated through and through with an almost overwrought subtext.

So who convinced whom?  As if in honor of these two, whose story has become synonymous with medieval romance, the roles of the Falsifier and the Verifier are often personified by the love-denying Abelard, whose initial is a convenient mnemonic for the universal quantifier ∀, and by the love-asserting Heloise, whose name is sometimes spelled Eloise, whereby her initial is a convenient mnemonic for the existential quantifier ∃—symbols ineluctably entwined in the cherished logic of Abelard's youth.

Sunday, January 22, 2017

Racing to the End

The last of four Chinese novels on my reading list, 錢鐘書 Qián Zhōngshū's 圍城 Fortress Besieged, is its author's sole piece of long fiction, he having turned his hand to literary history and criticism after the cultural turmoil of China in the 1950s and beyond.  It is also at once the funniest and most tragic of the ones I read, too.

The novel's title shares its second character with another one of the novels I read—邊城 Border Town.  This generally does just mean "town," and the other character, 圍 wéi, generally means "to surround."  So why are the two titles translated so differently?  Because Qian's title is drawn from a Chinese rendering of a French proverb:
Le mariage est une forteresse assiégée, ceux qui sont dehors veulent y entrer, ceux qui sont dedans veulent en sortir.
Roughly translated, that reads, "Marriage is a fortress besieged, which those on the outside want to enter, and those on the inside want to leave."  And that should give you an idea of what the novel is about—but only a little.  Marriage is only one of the themes touched upon in Fortress Besieged, and though it is in the end the dominant one, the first three-quarters of the novel are bursting with other motifs contending for the spotlight.

方鴻漸 Fāng Hóngjiàn is a Chinese-born itinerant international student, spending time at a fair number of schools, but never dedicating himself at any of them.  The start of the novel, in pre-war 1937, finds him at last on his way back to China after his money has run out.  He can hardly return home empty-handed, but with his money mostly spent, he is somewhat at a loss for what to do, until by chance he finds an ad for a correspondence school willing to furnish the necessary credentials—if not the actual education—for a nominal fee.  As it happens, the school is no longer a going concern (even as a for-pay degree mill), the original advertiser having given up after failing to lure any suckers, but an American Irishman living in the same apartment sees an opportunity to make a fast buck.  After a comical exchange in which Fang gets the better of the Irishman in a battle of wits over whose intentions are more insincere, Fang gets his papers and boards a ship for Shanghai.

It is one of the few triumphs for Fang, who spends most of the novel on one end (usually the butt end) of Qian's jokes, whether it's to do with Fang's hunt for a stable university position (on the strength, or lack thereof, of his faked credentials), his talking up of various women on the voyage home or afterward, competitions with other Chinese travellers over whose colloquial English is stronger, or his escape to China's interior from the wartime turmoil in Shanghai.  Ultimately, his tenuous university position as lecturer is not renewed (partly on account of those credentials, partly because of Fang's naiveté), and after rushing into a faute-de-mieux sort of marriage with another lecturer, is forced to return to his hometown with his new bride.  The last chapter is a dazzling depiction of the marriage's dramatic denouement.

Qian's prose is a raucous, rollicking ride with Nabokovian twists and turns, tossing out quick throwaway gags in an offhand measure, as if to show (as Nabokov was wont to do as well) how much cleverer he is than his characters.  And yet it doesn't come off as excessive showboating; indeed, it sustains the novel through to its final conclusion, where he suddenly turns solemn, anguished, and revealing.

The sole translation, executed by Nathan Mao and Jeanne Kelly in 1979—well, that depends on how you like your translations.  This one is copiously researched and endnoted, much like Anthony Yu's translation of Journey to the West, but unlike Yu, Mao and Kelly must contend with a master modern stylist as well, and more often than not, they're simply not up to the task.  There's rarely anything actually wrong with the translation, but Qian's supple prose is alternately rendered sensitively one moment, then woodenly the next.  In my opinion, the uneven tenor of the translation doesn't allow the brilliance of the original to shine through entirely unobscured.  (It's also the only one of the four whose translation is not available in digital format, though that didn't really affect my consideration of it.)

Still, the translation, and its annotations, permit one a rather detailed understanding of the cultural background to Qian's novel, and that's a not inconsiderable benefit, especially for those readers who, like me, didn't grow up in China.  Some people find the incessant endnoting irritating, but not me.  And the translation is essentially always at least competent, giving us a tantalizing hint of the author Qian might have been, if the cultural environment in China had allowed it.