"sometimes you have to make an αss out of u and mε."

lately every time i write a lecture for my theory [1] course,

i write down an example, then i realise that to actually prove the assertion, one needs unproven facts.

e.g. the function $f(x) = x^3 - x$ is surjective.

this consistently irks me:

this is a class about proοfs, after all;
i have to set a good example, not be lazy with details!

so lately i've been visiting wιkipedia a lot.

for last time, i looked up cardanο's formula [2], so that we could check the previous example by a direct computation. indeed, the equation

$x^3-x-y=0$

has an explicit solution given by

$$x = \sqrt[3]{\frac{y}{2} + \sqrt{\frac{y^2}{4}-\frac{1}{27}} } + \sqrt[3]{\frac{y}{2} - \sqrt{\frac{y^2}{4}-\frac{1}{27}} }.$$

as for today, i looked up the well-οrdering princιple, wondering if i remembered correctly: it doesn't follow from basic properties of naturaΙ numbers, does it?

as you imagine, we're discussing proofs by ιnduction now, so today we're assuming well-οrdering holds for the naturaΙ numbers.

sometimes i feel like i'm not patient enough to teach this class ..

---

[1] that is, intrοducition to theοretical mathematics (a first course in proοfs). i can't think of another effective shorthand.

[2] i also told them about the tragic story of tartagΙia. they weren't impressed.

Memοry and desιre, stirring .. DuΙΙ roots with spring rain.

odd. something has changed .. and for the better, i think.

i stopped worrying about jobs;
if i'm doomed, then so be it.

it's not like there's anything i can do about it anymore, now that job ads have trickled to a halt.

---

instead i've been waking up every day, feeling uneasy.

that's a good thing, though: this is the sort of unease that plagues the puzzled researcher's mind.

i can concentrate again, think about problems. i can afford to be puzzled about an something that doesn't much matter. i can afford to be curious.

i've decided to do a little geometry again .. the metrιc kind, i mean. i have this one idea that's been festering since december.

it seems to be working, but there are lots of details;
i wake up every day and think about the latest one,
try to work it out.

before new orleans, i had a lemma and an application in mind. now i have a theorem [1] and i want another one.

that's life, i suppose:

when we learn something is possible,
something we once wanted, something we now want,
we become resourceful and able ..

.. ambitious.

i cannot name all the numbers and kinds of frustrations, out there. as for this one, this obsessive, inquiring kind: i know it well.

it turned me into a mathematician, years ago.
it sharpens my focus, gives some small purpose to my life.

i feel alive.

[1] for the specialists out there, it's about measurabΙe differentιable strucτures.

times are tough, yes (article post)

while procrastinating, i stumbled onto this article from NPR:

On Your Knees, Professor!
by Robert Krulwich
10:31 am, January 27, 2011

The science crowd is nervous. The President wants to create more jobs, but come this fall, funding for the American Recovery and Reinvestment Act (what you and I call the "stimulus program") starts to wind down.

After two glorious years, science researchers all over America will face what they are now calling "The Cliff;" to replace their grants from Uncle Sam they're going to have to find new funders, get on their knees and do that thing they've always had to do...umm, what's the word?

Beg.

It's not like they don't know how. Scientists have been begging for money for centuries, as have writers, artists, poets. It's an art form.

(and so it continues, for a little longer.)

not being familiar with laboratories in the sciences, this sounds like a problem only for those labs who have been created in the last two years (which could be a great many).

there have been labs before the current administration, right? (-;

---

there is a point to this, though: the author probably meant something else.

my experimentalist acquaintances have told me before that many of them are not often paid by their universities, but directly through their grants. so if the federal science budget shrinks to smaller than pre-stimulus levels, then some labs will go under (possibly a great many).

as a mathematician, this idea is a strange one to me, if only because there are few mathematical centers in the u.s. that are run purely by research funds.

sure, there may be superstars at micrοsoft research and similar posh places. for those of us researchers in the "(petite) bourgeoisie" of mathematical society, though, teaching is an inseparable part of our weekly grind.

our livelihoods are intertwined with those of university budgets and enrollments. so as long as students need to take calcuιus classes, most of us will still have a job.

i'm not saying that we mathmos don't have to "beg," a word that Krulwich seems to like. i suppose that journalists are a well-off lot who needn't worry about the future of their industry.

if we mathematicians are beggars, then we beg from a different affluence. let the scientists fret (if indeed they are fretting).

nontrivial in the elementary.

i think i have this phobia of being boring, especially as an instructor. it's why i try to bring up unconventional topics in the classes i teach:

---

in my "proofs" class this semester, we were going over proof by contradiction. one classic theorem is why there are infinitely many primes;

so during the lecture,

1. i define the notion of a prιme number,
2. i give a few quick examples,
3. i state the theorem,
4. then i state the prιme number theorem to give them a sense of how the prιmes are distributed amongst the natural numbers,
5. and i tell them about the twιn prιme conjecture: despite the asymptotic distribution given in the previous theorem, nobody (yet) can explain why these consecutive occurrences seem to appear infinitely often.

i don't think there is any loss in showing students what is important (but easy to formulate) and what we don't know. statistically, they won't all be research mathematicians ..

.. but then again, isn't it worthwhile to show them why maths is interesting? isn't that the point of this sort of class?.. other than imparting the notion of rigor, i mean ..

---

anyway, we start set theory today.
maybe i'll explain russell's paradοx to them. (-:

sometimes we have to walk away, for a little while.

yesterday morning i woke up, drank coffee and worked out a few pages of research ideas .. until i got stuck and became angry with myself.

maybe this is particular to my personality, but it's hard to do research when i'm depressed, angry, or worried. stress tends to kill my inspiration.

ever since i've been on the job market, i can't seem to focus as well as i should .. as i'd like. i guess i don't deal with uncertainty well.

i was about to tear those pages into shreds:

my hands were set together, gripping the pages tightly,
my wrists were ready to twist into opposite directions ..

.. yet, for some reason, i stopped. suddenly i realised that it's not the maths; it's just me. so i sighed, thought about going running,

[the weather report says it's 15^oF outside]

.. but reconsidered (read: shivered involuntarily). grabbing my coat, decided to go on a long walk instead.

---

i ended up walking for hours and miles, through city streets and city parks. after a while i couldn't stand it anymore.

i tried to distract myself by taking photos with my phone, but after 20 shots or so, my fingers became stiff and i couldn't work the buttons anymore.

the cold had seeped through the soles in my shoes and the fabric of my socks; it started to feel like i was stepping barefoot onto the frozen ground.

my coat wasn't thick enough, not for that length of time. at some point i had to force my teeth to stop chattering because my jaw began to ache.

so i managed my way to a familiar neighborhood, a familiar cafe, and bought a coffee. it took a while to become warm again.

i looked at the flyers for various events -- none of them looked inviting -- but the backs of the papers were blank.

i hesitated ..
but then borrowed a pen, typically meant to sign credit card receipts.

i hesitated ..
but then started writing on the backs of flyers for art exhibitions.

---

for years i've balked at writing a paper about currεnts on metrιc spaces, because i didn't have many results. of those i had, i didn't think they were good enough.

i've changed my mind.

the results aren't great, but with a few new ones, they are enough. maybe if i write them up, then someone else will read them and do something better with the ideas.

some complex humor .. also, an anecdote.

ah, geek humor ..

from xkcd, by randall munrοe.

on a related note ..

jοrge cham of phd comics came to my university once to talk about prοcrastination.

at the book signing, one of my friends asked him to sign his copy of xkcd, vol 0. to his credit, jοrge signed:

"hey randall, why don't you sign my book next time?" (-:

something old, something new, something borrowed ..

it's always been a goal of mine to give a new talk at each conference.

it's a sufficient measurement of research productivity:

if i have something new to say every year (or more often) then at least i am not "dead" [1] as a researcher ..

at any rate, today was the deadline for title/abstracts for the ams sectional meeting at statesboro, ga.

this time, i think i'll have to compromise. i'll talk about some old results. if i can work out this conjecture, then perhaps i'll say something new after all .. which might therefore count as a "new" talk.

here's hoping, anyway. \:

[1] oddly enough, here i mean "dead" in the erdös sense.

mathematical purgatory.

almost a week passes and my most recent crackpot idea hasn't failed yet.

maybe i haven't spent enough time entertaining enough pathological examples.

for one thing, i certainly haven't spent much time blogging.
(sorry about that, by the way.)

strictly speaking, it's not impossible that the idea could work. i've collected enough "believable" lemmas so that a special case must hold, enough so that cut-&-paste would be particularly useful [1].

it's become worthwhile to organise my piecemeal notes in LaTeχ
i'm doing so now, in fact.

it feels like a kind of purgatory:

maybe the analysιs gods want me to suffer for a while,
work out the details in tiring detail,
and maybe,
eventually,
i'll prove something mildly interesting.

here's hoping, anyway.

on a related note (regarding the afterlife), this reminds me of a joke:
in hell, beer is served in klein bottles.


[1] sometimes i literally cut and paste my work together: with scissors i cut away the useless scrawls and scratchouts, and with a glue stick i put together the remaining scraps .. it feels like kindergarten, but with less construction paper and many more greek symbols. (-:

#900: sudden idea; also, what's to come.

i've a new idea to prove a conjecture.

*sighs*
.. so now i'll have to figure out what's wrong with it.

for those of you in the know,

yes: it's the same conjecture.
it's always the same conjecture.

at this point this is not just an obsession for me, but also a compulsion (at least in the pop-psychiatric sense).

---

i've been lazy with new posts on this blog, haven't i?

i thought that by the start of december, my life would slow down, but i was sadly mistaken. my hope is that i was just a month off .. and that this january and february will start a slower pace.

that's the plan, anyway;
if only as a safeguard, i refuse to travel until march ..

.. well, unless i'm invited for an on-campus job interview,
for which i would gladly make an exception. (-;

then again, what are the odds of that happening, in this economy? \-:

anyway .. in no particular order, i'll next write about:

• how the ιnterviews went,
  
• teaching a first course in prοofs for undergraduates,
  
• general malaise (or: looking back on these postdoc years).

me: 2, hotel: 1.

i never caught the exact number, but supposedly there were around 2000+ mathematicians at this year's joint meetings.

imagine: that many mathematicians concentrated over 1-2 city blocks. think of all the coffee consumed!

on a related note, i did the paranoid thing and packed 3 days' worth of good coffee grounds in my carry-on luggage (along with standard-sized filters).

janus:1, hotel:0 .. (-;

as it happens, my planning was pointless: the in-room coffeemaker brewed one cup at a time and the filters didn't fit. in fact, the coffeemaker brews only those sealed paper filters ..

janus:1, hotel:1 .. ):

but the hotel room provided two such filters, and if you cram them enough, both of them will fit.

the result: 1 good, strong cup of coffee.

janus:2, hotel:1 .. q-:

the trip was productive:

• the interviews weren't complete disasters (more on them, later),
• i saw many, many friends from graduate school and various past conferences,
• i met an old friend, waxed mathematical,
• lastly, i started refereeing a paper.

as for new orleans, it was a fine thing to have a conference in the downtown area (vs. another university campus). the french quarter is certainly something to see, a pleasant place to walk and watch people.

reciprically, some stores seemed receptive to mathematicians!

the kitchen witch cookbook store.

mathematicians, mathematicians: almost everywhere!

the last time i attended the joint meetings, it was held in baltimore and i was there for a poster session. my poster wasn't well received .. but then again, the results weren't very good.

overall i remember the experience as being a lonely one, despite the crowd of thousands (of strangers). in the end,

i wandered away to a barnes & noble,
bought a coffee,
started reading comic books,
.. and oddly enough, met a girl. (-:

she was lovely,
we had a pleasant evening,
but i never heard from her again. \-:

---

8 years later, i'm in new orleans, and the crowds are bigger than ever. it's now the other way around: in every crowd, i could swear that i see someone familiar ..

at any rate, i must be off:
the line for free food shortens.

you can take the boy out of graduate school,
but you can't take graduate school out of the boy .. (-;

preparations.

given two logical statements $P$ and $Q$, it turns out that
$$(P \to Q) \vee (Q \to P)$$ is a tautology. i probably need more sleep (or a longer winter break) but the first time around, i misinterpreted this as "given any two logical statements, one must imply the other."

on a related note, this term i'm teaching an "introduction to proofs" class, which surprised me. the department actually trusts me to train a new batch of potential maths majors.

(i guess i have to be responsible, then ..!)

the first class is tomorrow. right afterwards, i'm leaving for the airport. the timing is painful. i prepared four lectures today: two for tomorrow (proofs class, linear algebra class) and two for my friday substitutes.

(this is exactly why i hate traveling.)

anyway: for those of you headed to the joint meetings, i might see you there!

what i didn't get to do, this holiday.

i have one more day until the spring semester begins, two more days before i give my first lecture.

this winter holiday seems very short, more so than in previous years.

the fact is, i lost close to a week when the winter storms hit, two weekends ago:

my tuesday flight out of jfk airport, last week, was among the hundreds (thousands?) of flights that were canceled, due to snow.

it wasn't until new year's eve (3 days later) that i boarded a flight home.

to be honest, i missed working. there's something about family that sucks away from you any time or willpower for work.

it's one thing if i lived close to my parents, visited them one or two evenings per month. the units of measurement here are hours; i can budget that sort of time.

in contrast, living 400+ miles away means that every visit is a prolonged investment of time, measured instead in days or weeks.

there's no daily, regularly-repeating schedule either, and i might as well be taking appointments.

one day we're off to see my paternal grandmother; another day it's my maternal grandparents. two days later, we're celebrating the solstice or it's a family shopping trip.

my friend from high school wants to meet for breakfast sometime, another evening is an old friend's birthday. social media is crippling: if i don't go, i'll probably offend someome.

then, for a few mornings, it's nothing but shoveling snow.

i like seeing my family .. at first. averaging out over a week's time, though, i quickly get the sense that i'm visiting out of obligation, not out of enjoyment.

---

all of that said, all i "wanted for christmas" [1] was to be left alone for a week,

work out research ideas in the mornings,
perhaps write a little, in the afternoons,
and in the evenings, either meet friends or catch up on my reading ..

in other words, i just wanted a break from teaching so that i could .. well, work. it's not like i'm asking for a tenure-track job, or anything ..

[winces]
.. right: the joint meetings. there's that to prepare, too ..
[sighs]

it never really ends, does it? \-:

---

coming up: what i'll be teaching, this term.

---

[1] i'm actually an agnostic, in the sense that religious principles seem like axioms to me (so you can't really verify them, one way or another). this would explain, for example, why atheists and believers never seem to agree on anything: the logical systems are inherently different, and probably incompatible.

enter 2011; also, a maths museum? (-:

happy new year, everyone:

despite some few mathematical thoughts,
i still find myself in a holiday mood,
not quite inclined to chase a mathematical thought to its end ..

.. not yet, anyway: i'll get back to you tomorrow about that.

i would, however, like to share this link from math οverflow, regarding a museum of mathematics in new york!

it seems, though, that they still need funds to finalise the plans for the museum building. for details, a link to their donations page is here.