<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="wordpress/2.2.3" -->
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	>

<channel>
	<title>Phil's Proof</title>
	<link>http://philsproof.com</link>
	<description>Phil's Proof is an online blog that offers men the very best advice on dating, love, relationships, and health. Phil's Proof is also offers women a humourous example of clueless men sharing inane advice amongst themselves. Go figure.</description>
	<pubDate>Sun, 27 Jul 2008 22:53:48 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.2.3</generator>
	<language>en</language>
			<item>
		<title>Did a Philosopher Kill WALL-E?</title>
		<link>http://philsproof.com/2008/07/26/did-a-philosopher-kill-wall-e/</link>
		<comments>http://philsproof.com/2008/07/26/did-a-philosopher-kill-wall-e/#comments</comments>
		<pubDate>Sun, 27 Jul 2008 01:30:13 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Technology]]></category>

		<category><![CDATA[Math]]></category>

		<category><![CDATA[Entertainment]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/07/26/did-a-philosopher-kill-wall-e/</guid>
		<description><![CDATA[

July 27, 2008 This article is being prepared for publication in Cambridge University&#8217;s Plus! Maths magazine. Feel free to comment.



Story of my Life

Recently, I went to the cinema to watch Disney Pixar&#8217;s newest movie, WALL-E. A bleak, post-apocalyptic tour-de-force, the movie depicts the gentle romance between two robots of the future: WALL-E, the not-so-bright and [...]]]></description>
			<content:encoded><![CDATA[<div class="textbox">
<div style="text-align:center">
<p><b>July 27, 2008</b><br /> <i>This article is being prepared for publication in Cambridge University&#8217;s <u>Plus! Maths</u> magazine. Feel free to comment.</i></p>
</div>
</div>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Story of my Life</b></p>
<div style="float: right; margin: 0 20px 5px 10px"><img src="http://philsproof.com/img/2008/07/walle.jpg" alt="WALLE"/></div>
<p>Recently, I went to the cinema to watch Disney Pixar&#8217;s newest movie, <u>WALL-E</u>. A bleak, post-apocalyptic <i>tour-de-force</i>, the movie depicts the gentle romance between two robots of the future: WALL-E, the not-so-bright and not-so-attractive &#8216;guy&#8217; with the big heart and sweet personality, and EVE, the sleek, sexy, totally out-of-his-league babe.</p>
<p>The story goes like this: A hundred years into the future, Earth &#8212; over-polluted and overtaken by garbage &#8212; can no longer sustain life. So we flee to outer space, leaving the planet’s cleanup in the mechanical pincers of an army of stout, capable robots.</p>
<p>Seven hundred, entirely uneventful years pass and now, pillars of compacted trash line the city skies like towering skyscrapers. One day, WALL-E &#8212; now the sole surviving creature of his kind &#8212; meets EVE, a visitor from outer space with a mysterious mission.</p>
<p>However, Pixar designed these robots so that they&#8217;re &#8212; well, they&#8217;re <i>human</i>. We see them as human. We see them communicate, we see them think, act, understand, love. And we accept this. By the end of the movie, we&#8217;ve accepted WALL-E and EVE as equals and we may even shed a tear here and there for our newfound friends.</p>
<p>But what exactly <i>is</i> WALL-E? Is he pure fantasy and fiction?</p>
<p>Or is he &#8212; is <i>Artificial Intelligence</i> &#8212; simply the way of the future?</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Alan Turing&#8217;s Vision</b></p>
<div class="curlyquote">
<div>
<p>I believe that in about fifty years&#8217; time it will be possible to programme computers […] so well, that an average interrogator will not have more than 70 per cent chance of making the right identification [between human and machine] after five minutes of questioning.</p>
<p><cite>Alan Turing in 1950</cite>
</div>
</div>
<p>This prophecy, published in 1950 by English mathematician Alan Turing was a bold statement indeed. Remember, in that day and age, computers weren&#8217;t sleek, glossy, or available in a variety of neat colours; <i>no</i>, they where clunky, they weighed nearly 30 tons, and they took gaggles of people to operate.</p>
<p>Turing, however, saw past all that. He envisioned a day when digital computers programmed with rules and facts would possess the intelligence of man.</p>
<div style="float: right; margin: 0 20px 5px 10px"><img src="http://philsproof.com/img/2008/07/2001.jpg" alt="2001"/></div>
<p>This boldness and guiding confidence was <i>exactly</i> what researchers needed and thus was borne the field of artificial intelligence (AI). In the 1950s and 1960s, the field would see enormous growth and popularity. It became <i>the</i> hot topic of students, researchers, writers, and even the movies.</p>
<p>In the 1960s, for example, when Stanley Kubrick directed his <u>2001: A Space Odyssey</u>, starring HAL, the omniscient and omnipotent robot, he had taken care to directly consult MIT Professor and AI expert Marvin Minsky, who assured him that <i>yes</i>, by the end of the 20th century, robots like HAL would not only live among us, but they would exceed us in many capacities.</p>
<p>It no longer became a question of <i>if</i> machines would become intelligent, but <i>when</i>.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>A Philosophical Fork in the Toaster</b></p>
<div class="curlyquote">
<div>
<p>At a time when researchers were proposing grand plans for general problem solvers and automatic translation machines, Dreyfus predicted that they would fail because their conception of mental functioning was naive, and he suggested that they would do well to 	acquaint themselves with modern philosophical approaches to human being.</p>
<p><cite>&#8216;What Computers Still Can&#8217;t Do&#8217;, 1993</cite>
</div>
</div>
<div style="float: right; margin: 0 20px 5px 10px"><img src="http://philsproof.com/img/2008/07/dreyfus.jpg" alt="Dreyfus"/></div>
<p>However in 1973, Berkeley philosophy professor, Hubert Dreyfus published his book, &#8220;What Computers Can’t Do&#8221;, in which he proposed the exact <i>opposite</i> of what was on everyone&#8217;s mind: Machines, he reasoned &#8212; as they were progressing now &#8212; would never, <i>ever</i>, reach the same intellectual capacities as a human.</p>
<p>There is a passage in Dreyfus’ book in which he recounts the results of a meeting among the top minds in computer science; here, his (early) report of A.I. was deemed to be &#8220;sinister&#8221;, &#8220;dishonest&#8221;, &#8220;hilariously funny&#8221;, and an &#8220;incredible misrepresentation of history&#8221;.</p>
<p>But of course, researchers in the A.I. community <i>would</i> be incensed. They would be, in fact, deeply, unapologetically <i>pissed off</i>.</p>
<p>After all, they’d just spent the last two decades of their lives telling the world what computers <i>could</i> and <i>would</i> do&#8230;only to have their fundamental beliefs and dreams attacked by &#8212; of all people &#8212; a <i>philosophy</i> scholar?</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Hubert Dreyfus Criticises</b></p>
<p>The core of Dreyfus’ critique was about rules. See, a conventional machine is programmed to accept an input and apply a set of rules to produce an output. The idea is that <i>any</i> intellectual activity, whether it be adding numbers, playing chess, translating languages, or disposing of garbage, could be mimicked using a set of rules.</p>
<p>Dreyfus, however, argued that rules &#8212; by themselves &#8212; did not contain the necessary information for their application. Suppose we were to design a robot to process the following phrase:</p>
<div style="border:1px solid black;padding:5px;font-variant:small-caps;text-align:center">
<p>Mary saw a puppy in the window. She wanted <i>it</i>.</p>
</div>
<p>What does <i>&#8220;it&#8221;</i> refer to, the puppy or the window? </p>
<p>But of course, even a child could tell you that <i>it</i> refers to the puppy. But how does a computer know? Does the computer know that puppies are furry, cute, and love to be hugged and touched by children? Can the computer <i>understand</i> that Mary probably doesn’t want a silly windowpane?</p>
<p>What if instead the phrase was:</p>
<div style="border:1px solid black;padding:5px;font-variant:small-caps;text-align:center">
<p>Mary saw a puppy in the window. She pressed her nose up against <i>it</i>.</p>
</div>
<p>Now, <i>it</i> refers to the window. But does the computer know that children enjoy pressing their noses against windows? Does the computer know that the puppy is out of Mary’s reach, separated by a layer of glass?</p>
<p>Not only does understanding the nature of the word &#8220;it&#8221; in these sentences require such obvious facts about dogs and windows, but it also requires a certain human element. It requires us to empathize with how Mary may <i>feel</i>. It requires us to understand the physical nature of Mary’s body and how she interacts with her surroundings.</p>
<p>Previously, many A.I. researchers believed that programming an understanding of language could be done syntactically – that is, by appealing only to the rules of grammar and dictionary definitions. But Dreyfus (and linguists such as Noam Chomsky) pointed out that the issue was much, <i>much</i> more complex. So much of what we do and say depends on <i>context</i>.</p>
<p>And they were right. A.I. researchers would begin having difficulty producing machines with the common-sense understanding of a mere four-year old. There were simply too many rules &#8212; too many rules and each rule leading to more and <i>more</i> rules so that even the most basic statements and stories could simply not be understood without appealing to millions of common-sense facts.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>So…Is WALL-E Dead?</b></p>
<p>But what does this all mean for poor WALL-E? Did Hubert Dreyfus destroy the dream of ever producing a WALL-E? Is true Artificial Intelligence unlikely to ever happen?</p>
<p>No, no, and no!</p>
<p>Dreyfus never intended his original critique to be a crushing blow to Artificial Intelligence. The dream continues to live on, but today, researchers are older and wizen by his words. The field is no longer as naïve and wide-eyed as it was half-a-century ago.</p>
<p><img src="http://philsproof.com/img/2008/07/neuron.jpg" alt="Neuron"/></p>
<p>For example, one possible avenue for modern AI research is provided by our own brains: Instead of programming a computer to abide by the traditional step-by-step rules approach, we model it like the neurons in the human brain where the results of the program depend on the ‘strengths’ of each particular neuron. </p>
<p>This radically different method of computing not only combines the work of psychologists and cognitive scientists in understanding how the human mind works, but also biologists and neuroscientists who study the physical brain, and finally, mathematicians and computer scientists, who work to develop the models for artificial neural networks.</p>
<p>If Artificial Intelligence is to succeed – if WALL-E is to ever exist – we know now that it is going to take the work of all of us &#8212; of mathematicians, computer scientists, cognitive scientists, philosophers, and psychologists. The dream of imbuing a machine with an intellect – if it is ever to happen – will be the crowning achievement of not any <i>one</i> discipline, but of humankind as a whole.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/07/26/did-a-philosopher-kill-wall-e/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Brad gets Jolie and I get&#8230;maths?</title>
		<link>http://philsproof.com/2008/07/18/brad-gets-jolie-and-i-getmaths/</link>
		<comments>http://philsproof.com/2008/07/18/brad-gets-jolie-and-i-getmaths/#comments</comments>
		<pubDate>Sat, 19 Jul 2008 02:01:28 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Math]]></category>

		<category><![CDATA[Best Of]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/07/18/brad-gets-jolie-and-i-getmath/</guid>
		<description><![CDATA[In which the author explains how facial recognition works in order to unravel a seventh grade mystery of mistaken identity.]]></description>
			<content:encoded><![CDATA[<div class="textbox">
<div style="text-align:center">
<p>In which the author explains how facial recognition works in order to unravel a seventh grade mystery of mistaken identity.</p>
<p><b>July 19, 2008</b><br /> <i>This is a heavily edited version of an article I posted some time back. It&#8217;s being prepared for publication in Oxford&#8217;s <u>Bang! Science</u> magazine. Feel free to comment.</i></p>
</div>
</div>
<div class="horline"><!-- --></div>
<p><b>Seventh Grade Blues</b></p>
<blockquote>
<h1>the one</h1>
<p>When I was in the seventh grade, one of the girls told me I looked like Keannu Reeves.</p>
<p>Was this some awfully cruel, sadistic joke little girls liked to play on unsuspecting boys?</p>
</blockquote>
<p>When I was in the seventh grade, one of the girls told me I looked like Keannu Reeves. No, <i>seriously.</i></p>
<p>I was hanging upside-down on the jungle gym, minding my own business, and she just walked over and blurted it out. Then she giggled like a moron and ran away. Girls can be <i>so</i> mean.</p>
<p>This became the highlight of my school year (my academic career, even), but you see, I was torn. On one hand, how could <i>anyone</i> confuse Keannu (black shades, gothic trench coat, infinite awesomeness) with me (pubescent, angst-ridden, gawky)? Was this all some awfully cruel, sadistic joke little girls liked to play on unsuspecting boys?</p>
<p>But on the other hand, maybe &#8212; <i>maybe</i> she was on to something. Maybe somewhere &#8212; <i>somehow</i>, behind all that bad acne and ruffled hair, I really did look like Neo. After all, who was I to disagree?</p>
<p>Today, however, I no longer have to wonder because, according to the latest advances in facial recognition, she was right.</p>
<p><b>Who in the Land is Fairest of All?</b></p>
<p><a href="http://myheritage.com" target="_blank">MyHeritage</a> is an internet-based company that offers you the chance to see which celebrity you most resemble. Remember how in Snow White, the queen has a magical mirror which provides her with uninhibited flattery? This is the same, but like, tons better.</p>
<p>After a free signup, you upload a large-ish jpeg of your mug, then let the software crank away. Here were my results: Brad Pitt (71%), Keannu Reeves (63%), Luke Perry (63%), Matt Daemon (63%), and Jordana Brewster (60%).</p>
<p><img src="http://philsproof.com/img/2008/07/myface.jpg" alt="Results"/></p>
<p>Brad Pitt? <i>Really?</i> Matt Daemon? <i>Really?</i> Who <i>wouldathunk</i>? But y’know, as I gaze into the mirror…well…yes, I see it now. Definitely. We’re practically brothers!</p>
<p>How does it all work? Is this actual science or just deceptive flattery? To understand how facial recognition works, we&#8217;re going to have to delve into the mathematics behind the algorithm.</p>
<p><b>Recognizing Faces</b></p>
<p>Suppose we were given someone’s picture. How might we go about identifying that person from a large database of faces? </p>
<p>One way we can go about it is by identifying the characteristics of the subject – perhaps the person has small lips, or a pointed chin, or distinct eyes. From here, we then study the database, going from picture to picture, each time isolating the features of the faces and checking for a match.</p>
<p>But while this might work, it&#8217;s also a lot of work; algorithms would need to be defined to analyse each desired feature and a large number of faces to mix and match and could potentially take eons to compute. </p>
<p>A more efficient way to proceed would be to examine these faces as a statistical <i>whole</i> rather than as the sum of its parts. This is similar to the difference between identifying a city by its landmarks and identifying the same city by the density of its roads, the clusters and heights of its buildings, its downtown areas and rural areas, and so on. </p>
<p><b>A Picture is Worth a Thousand Digits</b></p>
<p><i>Snap!</i> But what are pictures, <i>really?</i></p>
<div style="float: right; margin: 0 20px 5px 10px"><img src="http://philsproof.com/img/2008/07/grid.jpg" alt="Grid"/></div>
<p>As stored in a computer, a picture is nothing more than a great big grid of dots (or pixels). If the picture is greyscale, each pixel is associated with a number from 0 to 255 representing its brightness, from pitch black (0) to pure white (255).</p>
<p>Now in the abstract theory of <i>Linear Algebra</i>, these grids of pixels are called &#8216;vectors&#8217;. You’ve probably encountered vectors before in Physics class and in fact, these ‘face vectors’ are quite similar. </p>
<p>Like vectors representing force or motion, these new ‘face vectors’ have a `magnitude&#8217; (an overall brightness), as well as a &#8216;direction&#8217; &#8212; the only difference is that they inhabit some higher-dimensional <i>Face Space</i>, rather than the two or three-dimensional physical world we live in.</p>
<div style="margin: 10px 0px 10px 40px"><img src="http://philsproof.com/img/2008/07/coords.jpg" alt="Coords"/></div>
<p>Thus, faces found in the database are nothing more than vectors that, like other mathematical quantities, can be added, subtracted, multiplied, and generally manipulated as they roam about in the Face Space.</p>
<p><b>What’s Your Eigenface?</b></p>
<p>However, Face Spaces are complicated affairs &#8212; they&#8217;re high dimensional boxes stuffed with a large number of faces, each face containing thousands of pixels.</p>
<p>It would thus be foolish to try and compare each face pixel by pixel; instead we look to construct a small group of pictures representing the general facial patterns of the database. This small but crucial group is called the <i>Eigenface Basis.</i> </p>
<p>Think of how, when we analyse the motion of a ball flying through the air, we break the motion into its horizontal and vertical components. These horizontal and vertical components provide a fundamental basis for which all motion can be broken down into. </p>
<p>Similarly, once the eigenface basis is found using Linear Algebra, each face in the database can then be expressed using certain percentages of each eigenface. For example, we may say that a picture is composed of 10% of the first eigenface, 25% of the second, 4% of the third, and so on.</p>
<p><img src="http://philsproof.com/img/2008/07/eigenfaceadd.jpg" alt="Eigenfaces"/></p>
<p>The beauty of this treatment is that even in a large database, each unique face can be expressed very simply using its eigenface decomposition. We no longer have to express each face using thousands of pixels; now, like a simple recipe in which the eigenfaces are the key ingredients, the entire database can be reconstructed as it was before.</p>
<p><b>
<p>A Problem of Distance</p>
<p></b></p>
<p>Now imagine each face in the database, represented in terms of its eigenface percentages, akin to coordinates lying in some higher-dimensional plane. Our test subject (which may or may not lie in the database) is then projected onto this plane by expressing it in terms of the eigenface components.</p>
<div style="margin: 10px 0px 10px 40px"><img src="http://philsproof.com/img/2008/07/matching.jpg" alt="Matching"/></div>
<p>But now, the problem of recognising the subject becomes as simple as finding the shortest distance (or closest match) between our subject and each face in the database, a problem which is aided enormously by the fact each face is represented by only a handful of eigenface components.</p>
<p><b>
<p>The Future and You</p>
<p></b></p>
<p>But really, just how accurate are these eigenface algorithms?</p>
<p>In optimal conditions (with good lighting, a representative database, front-facing pictures, etc.), a simple eigenface routine might produce accurate readings of up to 90%.</p>
<p>Unfortunately, real life is never that simple, and in reality, one must contend with other ‘noisy’ factors. Factors like variance in pose (person facing at an angle), obstructions (sunglasses or other people), resolution and lighting, and so on. Despite this, however, the science of facial recognition has steadily improved to the point where today, it is becoming a standard for many military, security, and commercial applications.</p>
<p><i>Yeah, yeah.</i> But now that you know how facial recognition works, go and try it on yourself.</p>
<p>What celebrity do <i>you</i> look like?</i></p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/07/18/brad-gets-jolie-and-i-getmaths/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Ninth</title>
		<link>http://philsproof.com/2008/07/07/ninth/</link>
		<comments>http://philsproof.com/2008/07/07/ninth/#comments</comments>
		<pubDate>Mon, 07 Jul 2008 23:35:31 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Travel]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/07/07/ninth/</guid>
		<description><![CDATA[Today was my ninth (and final) trip over the Atlantic Ocean in one year&#8217;s time.
This is not something to be proud of.
I&#8217;m tired. And I&#8217;m pretty sure I have the faint outline of &#8220;Air Canada&#8221; imprinted on the back of my ass from sitting on their seat cushions.


1. June 14th, 2007: En Route to Kenya
2. [...]]]></description>
			<content:encoded><![CDATA[<p>Today was my ninth (and final) trip over the Atlantic Ocean in one year&#8217;s time.</p>
<p>This is not something to be proud of.</p>
<p>I&#8217;m tired. And I&#8217;m pretty sure I have the faint outline of &#8220;Air Canada&#8221; imprinted on the back of my ass from sitting on their seat cushions.</p>
<div class="horline"><!-- --></div>
<p>
<b>1.</b> June 14th, 2007: En Route to Kenya</br><br />
<b>2.</b> July 15th, 2007: To Ottawa</br><br />
<b>3.</b> July 21st, 2007: To England (Conference)</br><br />
<b>4.</b> July 29th, 2007: To Ottawa</br><br />
<b>5.</b> September 20th, 2007: To England</br><br />
<b>6.</b> December 24th, 2007: To Ottawa (Christmas)</br><br />
<b>7.</b> December 31st, 2007: To England</br><br />
<b>8.</b> June 29th, 2008: To Ottawa (Summer)</br><br />
<b>9.</b> July 7th, 2008: To England</p>
<div class="horline"><!-- --></div>
<p>That was, by the way, a joke. You don&#8217;t get monogrammed seat cushions unless you fly first class.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/07/07/ninth/feed/</wfw:commentRss>
		</item>
		<item>
		<title>UK vs. US: How to rant</title>
		<link>http://philsproof.com/2008/06/25/uk-vs-us-how-to-rant/</link>
		<comments>http://philsproof.com/2008/06/25/uk-vs-us-how-to-rant/#comments</comments>
		<pubDate>Wed, 25 Jun 2008 14:20:26 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Travel]]></category>

		<category><![CDATA[Etiquette]]></category>

		<category><![CDATA[Social Life]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/06/25/uk-vs-us-how-to-rant/</guid>
		<description><![CDATA[Living in university residence and on the college mailing list, you tend to be privy to quite a few interesting e-mails. E-mails written out of anger, however, tend to be divided into two categories: laundry rage (when someone steals your slot) and kitchen/food rage (when someone leaves mess or steals your food or kitchenware).
These e-mails [...]]]></description>
			<content:encoded><![CDATA[<p>Living in university residence and on the college mailing list, you tend to be privy to quite a few interesting e-mails. E-mails written out of anger, however, tend to be divided into two categories: laundry rage (when someone steals your slot) and kitchen/food rage (when someone leaves mess or steals your food or kitchenware).</p>
<p>These e-mails also provide an interesting idea of cultural differences. Here&#8217;s two. The rambling, passive aggressive one is written by a British doctoral student regarding stolen kitchenware. The short, concise one is written by an American Marshall scholar from Los Angeles.</p>
<p>Enjoy.</p>
<div class="horline"><!-- --></div>
<p><b>From:</b> The British Scholar <br />
<b>To:</b> Everybody <br />
<b>Date:</b> Sometime in June <br />
<b>Subject:</b>	Beware of Vanishing Objects</p>
<p>My 8 inch Wusthof-Trident Chef&#8217;s Knife, which I&#8217;ve owned since my restaurant days, seems to have disappeared from my carry-all in the North Wing Ground floor kitchen during the last week.  Aside from the obvious sentimental value, its loss would be bearable had not my 10 inch Chef&#8217;s knife disappeared from the Martin Ground floor kitchen 3 days ago.  Now we seem to be left with flimsy serrated knives which, if utilised to cut anything substantial, like say a butternut squash, will most likely snap and take out someone&#8217;s eye (and, of course, chopping anything is now out of the  question).</p>
<p>I should also note that my toaster disappeared from our kitchen 2 weeks ago, and my industrial food processor sometime in Michaelmas&#8211;not to mention the loss of roughly 10 roasting pans in the last 2 years.</p>
<p>(1) If any of you have said items could you please return them</p>
<p>and,</p>
<p>(2) Is anyone else experiencing the same type of kitchen related separation anxiety?</p>
<p><a href="http://en.wikipedia.org/wiki/Balliol_College,_Oxford" target="_blank">Balliol MCR</a>&#8230;&#8230;effortlessly superior, or merely dirtbags?</p>
<p>It&#8217;s up to you.</p>
<p>- [The Brit]</p>
<div class="horline"><!-- --></div>
<p><b>From:</b> The American Scholar <br />
<b>To:</b> Everybody <br />
<b>Date:</b> Sometime in June <br />
<b>Subject:</b>	Ice cream theft</p>
<p>To whoever helped themselves to my entire carton of ice cream in the Dellal ground floor kitchen &#8212; I hope you enjoyed it immensely.  Because when I find you, I am going to remove your face.</p>
<p>- [The American]</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/06/25/uk-vs-us-how-to-rant/feed/</wfw:commentRss>
		</item>
		<item>
		<title>What I do, part III: Exponential asymptotics</title>
		<link>http://philsproof.com/2008/06/16/what-i-do-part-iii-exponential-asymptotics/</link>
		<comments>http://philsproof.com/2008/06/16/what-i-do-part-iii-exponential-asymptotics/#comments</comments>
		<pubDate>Mon, 16 Jun 2008 19:47:38 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Math]]></category>

		<category><![CDATA[Best Of]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/06/16/what-i-do-part-iii-exponential-asymptotics/</guid>
		<description><![CDATA[In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).]]></description>
			<content:encoded><![CDATA[<div class="textbox">
<div style="text-align:center">
<p><b>What I Do<br />Part III: From Heaven to Hell <br /> with Exponential Asymptotics</b></p>
<p>In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).</p>
<p><b>Contents:</b></br><br />
<b>I.</b> <a href="http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/" target="_blank">Maths and Gods</a></br><br />
<b>II.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/" target="_blank">Dancing with the Devil</a> </br><br />
<b>III.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-iii-exponential-asymptotics/" target="_blank">From Heaven to Hell with Exponential Asymptotics</a></p>
</div>
</div>
<p style="text-align:center"><b>A Review</b></p>
<blockquote>
<h1>exponential asymptotics</h1>
<p>Exponential Asymptotics then, is the bridge between God&#8217;s picture-perfect, but wholly unrealizable representations, and the Devil&#8217;s ambiguous, but entirely necessary evils.</p>
</blockquote>
<p>Last time, we left off talking about asymptotic approximations. Nature &#8212; we explained &#8212; is often too complicated to describe exactly, and so we turn to these approximate methods for help. Unfortunately, such approximations are <i>divergent</i> and mathematically badly-behaved, even though they provide excellent results.</p>
<p>Now, we will see that there are indeed consequences to using these devilish and divergent approximations.</p>
<div style="clear:both"><!-- --></div>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Dancing with the Devil</b></p>
<p>Maybe the best thing we can do is look at a concrete example.</p>
<p>For this, we&#8217;re going to imagine the flow of water with speed <b>U</b> over a step which is relatively well submerged. To solve this problem, we propose the following asymptotic expansion for the surface of the water:</p>
<div style="margin: 25px 0 25px 50px"><img src="http://philsproof.com/img/2008/06/waterasympt.jpg" alt="Asympt"/></div>
<p>In this case, the perturbation parameter, &epsilon; corresponds to a measure of the inertial and gravitational forces. The <i>idealized</i> state, or first approximation corresponds to the case that &epsilon; = 0, or the case for which the force of gravity is infinite.</p>
<p>What that means is that our first order asymptotic approximation tells us the free surface should look like this:</p>
<div style="margin: 25px 0 25px 50px"><img src="http://philsproof.com/img/2008/06/grav1.jpg" alt="Grav1"/></div>
<p>That&#8217;s right. Completely flat.</p>
<p>Sure, this does make some sense: Imagine the step as being infinitely deep. Then in this <i>ideal case</i>, free surface wouldn&#8217;t feel the bump at all. Hence it would lie completely flat.</p>
<p>Unfortunately, this isn&#8217;t quite what happens.</p>
<p>If we use a computer and calculate the solution, it gives us something like this:</p>
<div style="margin: 25px 0 25px 50px"><img src="http://philsproof.com/img/2008/06/grav2.jpg" alt="Grav2"/></div>
<p>Somewhere on that free surface, something is happening.</p>
<p>The asymptotic approximation we calculated does a wonderful job initially, but then out of nowhere, a light flickers on and <i>Pop!</i>.</p>
<p>Waves appear where there were none.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Into the Mist</b></p>
<p>Maybe the first person who documented the first <i>&#8220;WTF?!&#8221;</i> moment upon encountering this strange phenomenon was none other than <a href="http://en.wikipedia.org/wiki/George_Gabriel_Stokes" target="_blank">George Gabriel Stokes</a>, one of the greats of British applied maths. He described the phenomenon as a new term, entering into view from behind a mist:</p>
<div class="curlyquote">
<div>
<p>As [the solution] passes through the critical value, the inferior term enters as it were into a mist, is hidden for a little from view, and comes out with its coefficient changed.</p>
<p><cite><br />
Gabriel Stokes<br />
</cite></div>
</div>
<p>How do we clear the mist?</p>
<p>The argument goes like this: First, we have an approximation that works on the far left. Now, somewhere, along the surface, a switch is turned on, and an exponential (or a sinusoidal, if you will) is turned on.</p>
<p>Thus, there <i>must</i> be something that&#8217;s going on the complexified free surface.</p>
<p>Whoa there, Missy! What the heck does that mean?</p>
<p>By complexified free surface, we&#8217;re referring to extending the water surface (a <i>real</i> number) to the complex (or `imaginary&#8217;) numbers. In other words, if <i>x</i> measures the distance along the water surface (say, 1 meter, 2 meters, etc.), then we allow <i>x</i> to be an imaginary number (say, 1 + i or 2 - 2i)</p>
<p>Physically (and philosophically), it&#8217;s pretty nonsensical. We picture it like this:</p>
<div style="margin: 25px 0 25px 30px"><img src="http://philsproof.com/img/2008/06/grav3.jpg" alt="Grav3"/></div>
<p>So we&#8217;ve <i>extended</i> the surface by adding an extra dimension.</p>
<p>This, while baffling to outsiders, is a well known trick by mathematicians. Maybe there&#8217;s an easier way to explain it.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>The Imaginary Route to School</b></p>
<p>Let&#8217;s suppose that Billy walks from his house (x = -10) to school (x = 10) every day.</p>
<div style="margin: 25px 0 25px 10px"><img src="http://philsproof.com/img/2008/06/billy1.jpg" alt="Billy"/></div>
<p>Monday, however, he wakes up and hears on the radio that due to faulty engineering and a freak division-by-zero accident, the bridge (x = 0) on the way to school has collapsed. What can Billy (determined and diligent student that he is) do?</p>
<p>The answer is that Billy needs to find another way to school. He needs to <i>complexify</i> his usual route, enter into another dimension, and find a new path.</p>
<div style="margin: 25px 0 25px 10px"><img src="http://philsproof.com/img/2008/06/billy2.jpg" alt="Billy"/></div>
<p>Billy&#8217;s adventure is the essence behind the mathematician&#8217;s method: Often, we will have some sort of singularity between two points. To deal with it, we seek a new path. It turns out that useful paths can be taken in the &#8216;imaginary&#8217; plane. So while this is definitely unphysical and unintuitive, take a lesson from Billy.</p>
<p>If he can warp his mind to change his usual route, so can you.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Singularities and Stokes Lines</b></p>
<p>Let&#8217;s return to our complexified water surface.</p>
<p>Well, it turns out that on this extended surface, there are singularities: points where our asymptotic approximation (remember that?) goes terribly awry. <i>This</i> is the reason why the asymptotic expansions diverge &#8212; because of these singularities.</p>
<p>With a lot of work and advanced maths, it can be proven that there exists lines (called <i>Stokes Lines</i>) emanating from these singularities, across which a small exponential term is switched on.</p>
<p>Like into the mist, remember?</p>
<div style="margin: 25px 0 25px 20px"><img src="http://philsproof.com/img/2008/06/grav4.jpg" alt="Grav4"/></div>
<p>And so following the above picture, you can see that the asymptotic approximation (the flat surface) works well at the start. But then it hits the edge of the Stokes Line, and at that point a teensy exponential is turned on.</p>
<p>So actually, we should have,</p>
<div style="margin: 25px 0 25px 20px"><img src="http://philsproof.com/img/2008/06/hiddenexp.jpg" alt="HiddenExp"/></div>
<p>Exponential Asymptotics is the name we give to the branch of mathematics which studies these small exponentials which seem to fly under the radar of ordinary methods. It&#8217;s these hidden exponentials which emerge from the divergent tails of asymptotic expansions.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>From Heaven to Hell</b></p>
<p>It&#8217;s time to wrap up.</p>
<p>In each previous part, I ended by asking a crucial question. They were:</p>
<p><b>Part I:</b> Sometimes, as mere mortals with a capacity for only understanding the finite, we&#8217;re forced to cut corners and make approximations. Most of the time, it won&#8217;t matter. When will it matter?</p>
<p><b>Part II:</b> In order to describe nature&#8217;s oceans and lakes, mathematicians have had to use divergent (badly-behaved) series approximations. Although these give superb results, we are nonetheless representing perfect phenomenons using a far-from perfect representations. &#8220;Inventions of the devil&#8221;, said Niels Abel. But this is a practical necessity. How else are we to describe God&#8217;s infinity with our finite minds? The real question is, what&#8217;s being lost in translation?</p>
<p>In this part, we showed that while divergence is bad, there&#8217;s no need to disregard it. By using certain mathematical tools, we can unravel the divergence, and reveal what details were lost using the approximations.</p>
<p><b>Exponential Asymptotics</b> then, is the bridge between God&#8217;s picture-perfect, but wholly unrealizable representations, and the Devil&#8217;s ambiguous, but entirely necessary evils.</p>
<p>This bridge is where I stand and this bridge is what I study.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/06/16/what-i-do-part-iii-exponential-asymptotics/feed/</wfw:commentRss>
		</item>
		<item>
		<title>What I do, part II: Dancing with the devil</title>
		<link>http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/</link>
		<comments>http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/#comments</comments>
		<pubDate>Tue, 10 Jun 2008 17:07:45 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Math]]></category>

		<category><![CDATA[Best Of]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/</guid>
		<description><![CDATA[In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).]]></description>
			<content:encoded><![CDATA[<div class="textbox">
<div style="text-align:center">
<p><b>What I Do<br />Part II: Dancing with the Devil</b></p>
<p>In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).</p>
<p><b>Contents:</b></br><br />
<b>I.</b> <a href="http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/" target="_blank">Maths and Gods</a></br><br />
<b>II.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/" target="_blank">Dancing with the Devil</a> </br><br />
<b>III.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-iii-exponential-asymptotics/" target="_blank">From Heaven to Hell with Exponential Asymptotics</a></p>
</div>
</div>
<p style="text-align:center"><b>A Review</b></p>
<blockquote>
<h1>abel&#8217;s hell</h1>
<p>&#8220;Divergent series are the invention of the devil and it is shameful to base on them any demonstration whatsoever.&#8221;</p>
<p><cite>niels abel</cite>
</p></blockquote>
<p>Last time, we left off talking about Pi.</p>
<p>We talked about how one can imagine Mother Nature using Pi to all its infinite glory, but for mere mortals like you and I, we have to truncate the number &#8212; to its tenth decimal place, hundredth decimal place, or even millionth decimal place.</p>
<p>But however we do it, we still miss infinitely many digits (infinity minus a finite number is still infinity, <i>don&#8217;t-cha-know</i>).</p>
<p>This is simply an example of our inability to describe the Universe to its fullest.</p>
<p>For the most part, that&#8217;s perfectly fine. But in what circumstance does our inability to capture the true nature of a phenomenon become a problem?</p>
<div style="clear:both"><!-- --></div>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>A Hopeless Challenge</b></p>
<p>Let&#8217;s talk oceans.</p>
<div style="float: right; margin: 0 20px 5px 15px"><img src="http://philsproof.com/img/2008/06/titanic.jpg" alt="Titanic"/></div>
<p>There are few things more majestic than a ship in water. Captain Ahab knew it. Jack and Rose knew it (well, at least until the end). So should you.</p>
<p>Just imagine it. The sparkling blue waters. The expanse of never-ending ocean. The beautiful wedge-shaped pattern that flows behind every ship, like a streaming cape.</p>
<p>And near the ship: turbulent white-water splashes, jets, and ripples, forming in a million different places with a million different patterns, often too quick and too elaborate for the eye to capture.</p>
<p>The mathematical equations which govern the flow of water in an ocean were known as early back as the 18th century. But for the next century and a bit, scientists were absolutely confounded by the equations.</p>
<div style="margin: 20px 0 20px 100px"><img src="http://philsproof.com/img/2008/06/euler.jpg" alt="Euler"/></div>
<p>&#8220;What in the <i>world</i>,&#8221; they asked together, &#8220;Can we do with <i>that</i>?&#8221;</p>
<p>The equations, as they stand, are much too complex for a direct analysis. Even today, there is a <a href="http://www.claymath.org/millennium/Navier-Stokes_Equations/" target="_blanks">million dollar prize</a> for anyone who can answer even the most basic questions about these equations.</p>
<p>So with no possibility of exact solutions in sight, the mathematicians and physicists turned to developing methods for <i>approximating</i> solutions.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Asymptotic Approximations</b></p>
<p>One method, in particular, traces its roots back to the time of Henri Poincare (1854-1912) who developed it in order to solve a rather terrifying problem in celestial mechanics.</p>
<p>The idea is to break up our solution into more manageable chunks. The first chunk describes the system &#8212; the ocean, in this case &#8212; in some idealized state. To this, we add the second chunk, which includes some kind of <i>perturbation</i> to this initial state. To this, we add a third and even smaller perturbation. And on to infinity.</p>
<p>For example, suppose we were to express the height of the water waves in this fashion,</p>
<div style="margin: 20px 0 20px 0"><img src="http://philsproof.com/img/2008/06/asympt.jpg" alt="Asymptotic"/></div>
<p>Here, the greek epsilon, &epsilon; represents a small perturbation. It can represent, for example, the <a href="http://en.wikipedia.org/wiki/Froude_number" target="_blank">Froude number</a>, or the surface tension, or some other small effect.</p>
<p>These sums or series are called asymptotic approximations because they get better and better in the asymptotic limit that &epsilon; tends to zero. That&#8217;s the idealized state.</p>
<p>The amazing thing with these approximations is that they tend to be very good. So good, in fact, that calculating only one or two chunks provides an excellent approximation to reality in most cases.</p>
<p>This was great. People were happy. We&#8217;d at least established some kind of systematic way of approaching these intractable formulae and, with a moderate amount of sweat and tears, they seemed to give excellent results.</p>
<p>The Physicists were happy. </p>
<p>So were the Applied Mathematicians.</p>
<p>The Pure Maths chaps, on the other hand, were incensed.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>The Puries and their Partypooper Tendencies</b></p>
<div style="float: right; margin: 10px 20px 5px 15px"><img src="http://philsproof.com/img/2008/06/divergence_230.jpg" alt="Divergence"/></div>
<p>The problem, the Puries were quick to point out, is that these asymptotic approximations are usually <i>divergent</i>.
<p>What that means is that the approximations get better and better as we include more and more terms&#8230;but only up to a point. After that point, all hell breaks loose, and the whole thing blows up (to infinity).</p>
<p>Thus in effect, we have taken a system of water waves, perfectly well behaved and all very pretty, and approximated it using an infinite series of terms which, when added up, gives us completely nonsense.</p>
<div class="curlyquote">
<div>
<p>Divergent series are the invention of the devil and it is shameful to base on them any demonstration whatsoever.</p>
<p><cite><br />
<a href="http://en.wikipedia.org/wiki/Niels_Henrik_Abel" target="_blank">Abel</a><br />
</cite></div>
</div>
<p>The Pure Mathematicians, in all their need for rules and regulations, just weren&#8217;t comfortable toying with a concept that was so ill-defined.</p>
<p>But everybody else was all, <i>&#8220;Fuggetaboutit.</i> Take a look at all these purty graphs, yo.&#8221;</p>
<p><img src="http://philsproof.com/img/2008/06/kelvin.jpg" alt="Kelvin" /></p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>Should We Worry?</b></p>
<p>By now you&#8217;ve hopefully grappled with issue.</p>
<p>Nature in all its magnificence is woefully complicated.</p>
<p>In many cases, it&#8217;s so horrendously complicated that its mathematical description needs to be approximated. One such method of approximation involves using a divergent series.</p>
<p>Why do we use them? We use them because they work so nicely.</p>
<div class="curlyquote">
<div>
<p>Despite the denunciations of the mathematician Abel, if the devil did invent divergent series, it was because his creator counterpart chose to build our physical universe so that they are among the more useful ways to describe its finite properties.</p>
<p><cite><br />
Sir Michael Berry and Christopher Howls<br />
</cite></div>
</div>
<p>So the question becomes, in using these divergent approximations, are we ignoring anything useful? In particular, what is the nature of this divergence? Why does our approximation work so well initially, but behave so badly later on?</p>
<p>What&#8217;s the price we pay for dancing with the devil?</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/feed/</wfw:commentRss>
		</item>
		<item>
		<title>What I Do, Part I: Maths and Gods</title>
		<link>http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/</link>
		<comments>http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/#comments</comments>
		<pubDate>Sat, 07 Jun 2008 15:24:46 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Math]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/</guid>
		<description><![CDATA[

What I DoPart I: Maths and Gods
In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).
Contents:
I. Maths and Gods
II. Dancing with the Devil 
III. From Heaven to Hell with Exponential Asymptotics


On Mother Nature

pi

&#8220;God, after [...]]]></description>
			<content:encoded><![CDATA[<div class="textbox">
<div style="text-align:center">
<p><b>What I Do<br />Part I: Maths and Gods</b></p>
<p>In which the author, in a very general, yet absurdly roundabout way, tries to explain what his current research is all about. No advanced knowledge of mathematics required (or even recommended).</p>
<p><b>Contents:</b></br><br />
<b>I.</b> <a href="http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/" target="_blank">Maths and Gods</a></br><br />
<b>II.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-ii-dancing-with-the-devil/" target="_blank">Dancing with the Devil</a> </br><br />
<b>III.</b> <a href="http://philsproof.com/2008/06/10/what-i-do-part-iii-exponential-asymptotics/" target="_blank">From Heaven to Hell with Exponential Asymptotics</a></p>
</div>
</div>
<p style="text-align:center"><b>On Mother Nature</b></p>
<blockquote>
<h1>pi</h1>
<div style="float: left; margin: 5px 0 5px 25px"><img src="http://philsproof.com/img/2008/06/pi.jpg" alt="Pi"/></div>
<p>&#8220;God, after all, can effortlessly spit out the infinitely long decimals of Pi. On a whim. While he&#8217;s sippin&#8217; a brew and munchin&#8217; some cheetos.</p>
<p>Because that&#8217;s how the Almighty rolls.&#8221;</p>
</blockquote>
<p>Imagine a circle.</p>
<p>That&#8217;s right. Take that wonderful goody-two-shoes shape of two dimensional Euclidean geometry. It&#8217;s neat, it&#8217;s tidy, not as obtuse as a triangle (or god forbid, a square), compact, space efficient, and yes, undeniably sexy.</p>
<p>If Kylie Minogue was a Euclidean shape, she&#8217;d be a circle.</p>
<p>Now as we all know, the circle (and its three-dimensional brother, the sphere) is nature&#8217;s favourite shape. It occurs in everything, from the shape of soap bubbles in the bath to the wave expansion of sound disturbance at a concert. Everything from teensy atoms to humongous stars and planets are connected with the circle.</p>
<p>You know, in the Medieval Ages, they believed that the compass, with its magical ability to produce the most perfect of shapes &#8212; must have been one of God&#8217;s divine instruments. </p>
<p>Then again, would God really need a compass if he was God?</p>
<p>Never mind.</p>
<p>The point is, the circle is beautiful. It&#8217;s divine. It&#8217;s perfect.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>On Mathematicians</b></p>
<div style="float: right; margin: 0 20px 5px 15px"><img src="http://philsproof.com/img/2008/06/pidigits.jpg" alt="Digits"/></div>
<p>Now we turn to the mathematicians.</p>
<p>It was known as early as the Egyptians that the ratio of a circle&#8217;s circumference to its diameter is constant. After that, more and more accurate approximations to this mysterious number proliferated through the years &#8212; 6 decimal places by Archimedes&#8217; time and up to 100 decimal places by Newton&#8217;s time.</p.</p>
<p>In 1706, William Jones &#8212; probably due to a lack of stationary and ink &#8212; began using the symbol <i>Pi</i> to represent the tedious number. Then in 1761, the German mathematician, Johannes Lambert proved Pi is <i>irrational</i>, and in 1882, Ferdinand von Lindemann (also German) proved Pi is <i>transcendental</i>.</p>
<p>Let&#8217;s talk about what these two facts imply.</p>
<p>Being irrational, Pi can never be written down as a terminating number, nor does it ever repeat. If you possessed an infinite amount of boredom, time, space, and pencil lead, and wrote out Pi all the way to infinity &#8212; you&#8217;d never see a pattern.</p>
<p>Being transcendental, Pi can never be constructed with a straight edge ruler and a compass &#8212; meaning, given theoretically perfect tools, you would never be able to measure out Pi or in particular, you would never be able to construct a square with the same area as a circle.</p>
<p>You put these two mathematical facts together and there is only one thing to conclude:</p>
<p>Pi is an awful, atrociously foul number.</p>
<div class="horline"><!-- --></div>
<p style="text-align:center"><b>On the Fundamental Question</b></p>
<div style="float: right; margin: 0 20px 5px 15px"><img src="http://philsproof.com/img/2008/06/pigod.jpg" alt="God's Compass"/></div>
<p>And so we come to a fundamental, philosophical divide.</p>
<p>Nature has the ability to make perfect circles every time. God, after all, can effortlessly spit out the infinitely long decimals of Pi. On a whim. Just like that.</p>
<p>Because that&#8217;s how He rolls.</p>
<p>To the Almighty, Pi is indeed wonderful, beautiful, and simple.</p>
<p>But for us mere mortals with comparatively little brain space, we usually have to <i>truncate</i> Pi. So when we use calculators or a computers, programmed with only a finite number of decimal places, we&#8217;re not using Pi as nature intended it, but the imperfect, imprecise version we&#8217;ve constructed for our own evil schemes.</p>
<p>For the most part, this is okay.</p.</p>
<p>Nobody (except for the clinically unhinged) loses sleep over the fact that we&#8217;re only using 16 decimal places. The resulting error between mathematical prediction and true phenomenon is so inconsequential, nobody cares.</p>
<p>But you see, all this buildup &#8212; it was just a metaphor.</p>
<p>An attempt to explain to you the difference between man, mathematics, and nature.</p>
<p>An attempt to explain that yes, nature is indeed wonderful and perfect, but sometimes, we aren&#8217;t always able to capture this magnificence completely. Especially when we impose our own mathematical rules to describe it.</p>
<p>So here&#8217;s a question: At what point does the difference between mathematical representation, pragmatic implementation, and true reality have severe consequences.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/06/07/what-i-do-part-i-maths-and-gods/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Things I don&#8217;t care to see #138&#8230;</title>
		<link>http://philsproof.com/2008/06/02/things-i-dont-care-to-see-138/</link>
		<comments>http://philsproof.com/2008/06/02/things-i-dont-care-to-see-138/#comments</comments>
		<pubDate>Tue, 03 Jun 2008 01:14:04 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Math]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/06/02/things-i-dont-care-to-see-138/</guid>
		<description><![CDATA[When it comes to maths, I don&#8217;t really consider myself a noob.
Of course, there&#8217;s a lot I don&#8217;t know. In fact, it&#8217;s a common belief that the last mathematician to know &#8216;everything&#8217; (that is, to at least be familiar with everything) was David Hilbert &#8212; and that only really applies to the early 20th century.
Today, [...]]]></description>
			<content:encoded><![CDATA[<p>When it comes to maths, I don&#8217;t really consider myself a <i>noob</i>.</p>
<p>Of course, there&#8217;s a lot I don&#8217;t know. In fact, it&#8217;s a common belief that the last mathematician to know <i>&#8216;everything&#8217;</i> (that is, to at least be familiar with everything) was <a href="http://en.wikipedia.org/wiki/David_Hilbert" target="_blank">David Hilbert</a> &#8212; and that only really applies to the early 20th century.</p>
<p>Today, there is simply no way for you to be an expert in every field or even, in a substantial number of fields. There&#8217;s simply too much to know. You&#8217;d be spending the whole span of your life, playing catch-up with what&#8217;s <i>been</i> done and what&#8217;s <i>being</i> done.</p>
<p>But yeah. I&#8217;m not a noob, y&#8217;know?</p>
<p>For example, I think it&#8217;s safe to say I know my way around integration. Single, double, or triple integration &#8212; no problem. Laplace integrals, Fourier integrals, Elliptic integrals &#8212; piece of cake. Even more deviant and exotic creatures like Error functions, Fresnel integrals, Airy integrals, and so on and so forth I&#8217;ve encountered.</p>
<p>Today, however, I met a new beast. At first glance, I treated with disdain.</p>
<p>After longer, more protracted glance, I&#8217;m happy to report I&#8217;m still&#8230;uh&#8230;pretty repulsed by the whole thing.</p>
<div class="horline"><!-- --></div>
<p>The formula in question was derived by the Australian mathematician, <a href="http://en.wikipedia.org/wiki/John_Henry_Michell" target="_blank">John Henry Mitchell</a> in 1898. The formula, which can be used to calculate the wave resistance for ships of different forms, was intended to revolutionize the Naval Engineering community.</p>
<p>It didn&#8217;t.</p>
<p>The popular theory is that the engineers took one look at the formula, went <i>&#8220;Eeewww&#8221;</i>, and promptly burnt the article.</p>
<p>People then go on to theorize that Mitchell&#8217;s short career (10 years?) in research mathematics was due to his disgust at the reception of this work.</p>
<div class="horline"><!-- --></div>
<p>But looking at the formula, can you really blame the community?</p>
<p><img src="http://philsproof.com/img/2008/06/quint.jpg" alt="Quintic" /></p>
<p>Yuck.</p>
<p><b>Things I Don&#8217;t Care to See #138:</b> A quintuplet integration.</p>
<p><i>P.S.</i> If you&#8217;re feeling particularly bad about the poor Aussie, don&#8217;t be. His work in the 1898 paper is now seen as one of the most important and revolutionary contributions to hydrodynamic ship resistance.</p>
<p>If only I can be so lucky.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/06/02/things-i-dont-care-to-see-138/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Not much, homeslice</title>
		<link>http://philsproof.com/2008/05/29/not-much-homeslice/</link>
		<comments>http://philsproof.com/2008/05/29/not-much-homeslice/#comments</comments>
		<pubDate>Thu, 29 May 2008 22:21:13 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[School]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/05/29/not-much-homeslice/</guid>
		<description><![CDATA[I think it speaks volumes about my character when I walk into the office of the senior Research Director at one of the premiere mathematics departments in the world and go,


Hey Jon.
What&#8217;s crack-a-lackin&#8217;?


Moreover, the fact that by now, he&#8217;s used to my shenanigans and actually understands what I mean, says as much about him as [...]]]></description>
			<content:encoded><![CDATA[<p>I think it speaks volumes about my character when I walk into the office of the senior Research Director at one of the premiere mathematics departments in the world and go,</p>
<div class="curlyquote">
<div>
<p>Hey Jon.</p>
<p>What&#8217;s <i>crack-a-lackin&#8217;</i>?</p>
</div>
</div>
<p>Moreover, the fact that by now, he&#8217;s used to my shenanigans and actually understands what I mean, says as much about <i>him</i> as it does about me.</p>
<div class="horline"><!-- --></div>
<p>It&#8217;s always puzzled me why some graduates are so afraid of saying the wrong things around their supervisors. My advice: Go ahead and say what you want. If the person can&#8217;t take it, you never wanted to work with them in the first place.</p>
<p>Get out before it&#8217;s too late.</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/05/29/not-much-homeslice/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Fuck</title>
		<link>http://philsproof.com/2008/05/25/fuck/</link>
		<comments>http://philsproof.com/2008/05/25/fuck/#comments</comments>
		<pubDate>Mon, 26 May 2008 01:40:09 +0000</pubDate>
		<dc:creator>Phil</dc:creator>
		
		<category><![CDATA[Ramblings]]></category>

		<guid isPermaLink="false">http://philsproof.com/2008/05/25/fuck/</guid>
		<description><![CDATA[No time to write, tonight.
I know, I know. Don&#8217;t look at me like that.
I&#8217;ll see if I can fit ya in, real soon, m&#8217;kay?
]]></description>
			<content:encoded><![CDATA[<p>No time to write, tonight.</p>
<p>I know, I know. Don&#8217;t look at me like that.</p>
<p>I&#8217;ll see if I can fit ya in, real soon, m&#8217;kay?</p>
]]></content:encoded>
			<wfw:commentRss>http://philsproof.com/2008/05/25/fuck/feed/</wfw:commentRss>
		</item>
	</channel>
</rss>
