It's not mathematics that you need to contribute to (2010)
mathoverflow.net
mathoverflow.net
> William Paul Thurston (October 30, 1946 – August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds.
> I try to write what seems real. By now, I have no cause to fear how I will be judged, which makes it much easier for me.
> This seems like an ideal counterpoint to Hardy's Lament. I'm calling it Thurston's Paean :). Seems poignant now that he has passed. -- Suresh Venkat (Aug 22, 2012)
I agree. I have now dedicated a page to Thurston's answer at https://susam.net/maze/thurstons-paean.html hoping that it'll make the term Thurston's Paean slightly more popular.
Let's hope the BART and ChatGPT folks crawl it soon enough haha
Actually, he was 64
http://web.archive.org/web/20230718104503/https://news.ycomb... shows "(2010)" and 2010 - 1946 = 64.
- "Is there, for example any real reason that even such famous results as... the Poincaré conjecture, really matter?"
He is writing from the perspective of someone who played a key role in solving the Poincaré conjecture. Remarkable context!
(Though the word "Poincaré" doesn't technically appear in his Wikipedia biography; it's disguised as "geometrization conjecture").
The most frustrating part of academia, and one of the main reasons I left, was the sense that everyone had completely lost their service mindset. The result is a set of sclerotic institutions -- protected from competition by rules and norms motivated by an ostensibly noble purpose -- wrecking havoc on society.
In research, in particular, it's now rare to find researchers who really give a damn about anyone except themselves. Their PhD students are tools for increasing faculty influence. The motivation section of their grants are polite lies and everyone knows it. The whole thing is a big inside joke that people laugh about in elevator bays, backed by billions of taxpayer dollars. The selfishness and complete disinterest in stewardship of public funds is nauseating.
But things are worst in undergraduate education. You occasionally meet someone worried about the educational mission, but no one was ever interested in the overall well-being of students. Financial well-being, in particular, is a verboten topic. The question of whether a particular degree program might be doing irreversible and crippling financial damage to nearly every student is considered rude. The question of whether requiring a certain course might be a waste of a customer's money is derided ("they aren't customers!", despite paying mid 5 figures per year for shockingly little face-to-face time.)
Academia has completely lost its historically service-oriented pursuit. The faculty are motivated by a combination of laziness, entitlement, and ego. The administration is motivated by the same incentives as any other industry. But huge quantities of tax dollars are locked up in this broken and corrupt industry.
My immediate family spent/spends much more time in academia than I, including the person I live with who has built their career in academia.
My own experience of academia was actually quite positive -- I enjoyed my PhD years, was well-supported, received many tenure-track offers from elite institutions immediately out of my PhD, and I left on better than good terms with coworkers and former colleagues.
My assessment isn't a result of personal bitterness or a failure to "win the game", if that's what you're getting at. Quite the opposite, in fact -- doing extremely well in the early career game afforded me the personal confidence to leave the track to which I had previously committed.
(FWIW, the fact that I'll retire many decades earlier than I would've otherwise was not immaterial to my decision making)
I know people in academia and they and their experiences don't fit this description. We get out in the real world and discover each individual has many motivations, both good and bad. It's messy and complicated. IMHO the insight is to realize that I am not the heroic protagonist, but instead I'm just as flawed, and then to try to bring out the best in myself and in them.
> wrecking havoc on society
Not even AIs or the online propapganda machines are doing that - though I kinda wish they would!
> This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.
But it sure looks to be bimodal. Marker of the really bad, and the so-good-it's-closed
On occasion, when I get invitations to participate in moderator elections, I look to see if I recognize any of the candidates. Once or twice, I have looked through the candidates' resumes, and one thing that struck me was that some of them did a lot more down-voting than up-voting. Make of that what you will.
https://blog.codinghorror.com/new-programming-jargon/
They explain why they deleted the most appreciated question ever in Stack Overflow, and how they magnanimously let you look at a few scraps of the answers (but not to all, these are DELETED!), and why we can't, after all, have nice things.
> Does this effect have a name?
If I wasn't against ad-hominems, and to avoid giving undue credit, I'd propose to call this effect "Jeff Atwooding". As in, the cool answer by Thurston on contributing to mathematics has been jeff atwooded recently.
The question on the original post seems more grey-area. It isn’t really a math question that can be answered in a math-y way, but it is the sort of thing that some folks might benefit from seeing anyway…
That's a good question. It should have a name.
We've seen it around for a long time on stackoverflow and all stackexchange-sites. I bet there's a very long German word for this kind of behavior?
It's a combination of extreme persnicketiness mixed with smug arrogance and some amount of glee in punching-down.
StackOverflow advertises itself as a place for precise questions and answers, and explicitly not for open ended questions and answers. It tells people who sign up not to post open ended questions and answers, and encourages participants to flag same, and moderators to close same. To then be bitter and rude because that happened exactly as the prophesies told you it would, is unreasonable.
That's a good analogy!
These moderators act as angry old men booing people out of their lawn. People who were having innocent and wholesome fun, and overall improving the neighborhood.
It's the same kind of guys who call the police on kids selling lemonade.
You can't go to a vegetarian cook-out and start cooking burgers because "I want burgers" and then mock the hosts for being unhappy at you. Well you can, but you're the jerk in that situation. You can't go to Wikipedia and start posting questions and answers and saying "I wish it was StackOverflow you angry OLD MAN horrible moderators".
> "People who were having innocent and wholesome fun, and overall improving the neighborhood."
Misusing someone else's site, in a way the creators and existing users don't want it used, in a way you agreed not to use it when you signed up, is not "improving the neighborhood".
No one cares about "the creators", and MOST ESPECIALLY NOT what Jeff Atwood thinks about their questions, answers and comments on stackexchange sites. Atwood is gone anyway, he cashed-out and moved on.
The existing users are many and varied (I am one) but for whatever reason the gamification attracts a high level of zeal from certain personalities that tend towards petty authoritarianism and persnickety behaviors. As useful as these sites are (at least up to now), this is a serious problem.
You can tell because you don't want to go to Quora or Reddit for your open ended questions; allowing unfettered open ended questions generally makes sites become overrun with low quality memes which drives the more hardcore users away. You recognise somehting about high quality at StackOverflow which is why you want to go there, but then you want to bring the low quality stuff with you. And when that's ruined StackOverflow you'll chase the next site which has narrowly scoped content and demand to ruin that too. Stop.
> "No one cares about "the creators", and MOST ESPECIALLY NOT what Jeff Atwood thinks about their questions, answers and comments on stackexchange sites. Atwood is gone anyway, he cashed-out and moved on."
OK, not the creators, the /owners/. Y'know, "my house, my rules", that kind of owner.
These days I'm skipping Stack Overflow entirely and jumping straight to the docs, unless it's a common question that I can never remember properly (like some esoteric git-fu command).
The answers on SO are outdated or crappy. When you can't ask questions about an evolving framework without it getting marked as duplicate, then the answers quickly lose all value. And the people that were answering because they wanted to give back (not because they want to farm karma) are leaving.
But, in the case of this post, it's pretty easy to see why Math Overflow would consider it in their best interest to make an exception! (And perhaps have a slightly different banner.)
It's easy to forget the amount of moderation that a good internet message board needs. (Just take a look at Dang's hard work on Hacker News.) Unfortunately, there are many people who just don't have the maturity, or discipline, to ask good, topical, questions.
Banners like that are a good compromise, IMO, between the need to focus on a particular topic, and allow flexibility for discussions that straddle the line between on and off topic. I think putting up a banner, but still letting the discussion continue, is a good compromise.
> Thematically this is similar to a (much longer) essay Dr. Thurston wrote several years ago, which I highly recommend:
I had the honor of meeting him several times here in Berkeley; he encouraged me to make Klein bottles and other topological shapes.
One of the great things about software is that you don't need a living community that holds every bit of every code base in their head. You can rely on abstraction boundaries, and then jump down rabbit holes only if and when necessary.
I really wonder how the work of Mathematics will change once computer-encoded proofs become mainstream. I have to imagine that will happen within the next generation or two -- as soon as the automation becomes more helpful than the hindrance of formality.
You can watch the next generation, or participate, right now.
> This is not affected by having a better way to express facts and their proofs.
But it is if those expressions are possible to interact with and use through not only conceptual abstraction but also procedural abstraction.
With good proof automation? Maybe you can interact and play with ideas through many layers of automation-enabled abstraction. Maybe you have a tactic or ATP procedure that uses a lemma in clever ways without you even knowing it exists, and only after building on that edifice for years do you bother to dig in and understand what the proof automation is even using. Mind you: not what the lemma means or how it's proven or the underlying historical development of ideas, but that it even exists. Maybe you never dig in and realize it exists.
Maybe you use these new theorems and proofs -- discovered only through extremely essential and clever use of a critical lemma you don't even know that you are using -- to do something useful in the world.
That can't happen today; not really. It would take very powerful proof automation for this world to exist.
Code and books are very different things.
In Computer Science we have Adelson-Velsky and Landis's self-balanced binary trees, and many other results, as well as other results in math and the sciences.
In engineering and otherwise the USSR launched the first satellite, person in space, sent the first probes to the moon and other planets, and pushed the US into space.
The civil rights moment in the US was often accused of being communist because - a lot of it was communist, and supported by the USSR, at least in the days of Paul Robeson and the Scottsboro Boys and Martin Luther King at the Highland Folk school (billboards through the South had a picture of King there "King at communist training school"). Actually if you watch the Nightline of Mandela coming to the US, half the speakers accused him of being a USSR-aligned communist. The USSR contributed to the anti-colonial struggles around the world - from China to Cuba to Vietnam, and contributed to it in other countries like India.
Plus it did most of the fighting in WWII for the US and UK to defeat Germany (of course nowadays the US and UK flipped it to Germany against Russia).
The USSR also helped push a blue collar working class proletariat into a kind of middle class. This began being rolled back even when the USSR still existed but was weak, and is still being rolled back.
That's quite a spin on history. The USSR (already an imperialist power) and germany secretly divvied up eastern europe between themselves before Germany started the war, and it was only Germany's betrayal of that deal which led to the USSR actually joining the fight against Germany, with the US and UK finding it a convenient way to wear down a shared foe to provide them with some of their industrial capacity. You make it sound like this was some kind of puppet mastery by the US and UK (which to be clear, are not saints either, but decidedly on the right side in WWII) as opposed to two imperialist powers seeking to conquer others by force fighting amongst themselves.
Insofar as the UK and imperialist powers seeking to conquer others by force - Scotland, Ireland, India, Hong Kong and the Opium Wars, Australia, Iraq, Africa from Egypt down to South Africa, I can go on...
Rather than going through the list of USSR scientists & mathematicians who made titanic contributions, I'm just going to throw one unexpected name out there: Max Levchin.
He is arguably the brains, and the irreducible core, of the movement that led ultimately to PayPal, the PayPal mafia, and every other startup & cultural influence that resulted from that. He has described having a strong math & science background as being important to him, and it was obviously at the very core of PayPal - like I said, the one irreducible piece of that was Levchin's math-based contributions. Arguably without Levchin there is no Elon Musk, no Peter Thiel, no Reid Hoffman, not as names that we recognize, the list goes on...
And if that doesn't count as influence in the larger society, I don't know what does.
Then people go into a library and start opening books.
The arcane symbols of Math would be indistinguishable from books of magic. Without the understanding, fresh minds would be hard pressed to distinguish math formula from magic runes.
The understanding of the math comes from some community of people passing it along from generation to generation more than from the symbols.
It’s a great read for young people interested in mathematics and influenced me while in undergrad deciding to persue a PhD in math. Thurston, the author, was one of the best mathematicians of his time.
this is a problematic way to frame the issue which I agree is very difficult.
by framing it like this, I think, it sets up this task to be impossible. I'm also considering a subtle distinction between 'teaching' and 'education'
he's using a teaching framework. to put the idea in the head of the student. but education is more about guiding the student to find the answer on their own; if teaching is difficult, education may seem freaking impossible.
with a 'teaching framework' simple ideas are more difficult (and complex ones turn impossible)
but with the 'education framework' (which in my direct experience is not available publicly) simple ideas may be trickier, but the hope is that sophisticated ideas will become easier to communicate.... dunno
in my opinion the 1st/biggest contribution to math (and any science, discipline, art, and work) is to study/pratice it, is the best contribution to a living body of knowledge and wisdom, new ideas and discovery are side effect, welcomed, but not mandatory.. but is the discipline involved that change the single and later the world. The sea is made of drops..
the true goal is the/any-single way in praticing, not the end/highest point (if exist).
But mathematicians know, while laypeople might not, that at its core, mathematics remains a social endeavor just like the rest of the sciences. That's the piece which is a really valuable reminder imo.
Ends, of course, need a terminus. While a practical or productive act terminates in something other than itself, you must now ask what the end itself is for. Is it for itself, or something else further still? When we follow practical and productive ends, they must ultimately terminate at something that is not for the sake of anything else, but is valuable in itself. Indeed, when I said the truth has practical consequences, it was an understatement; the entire regime of practical and productive activity presupposes an ultimate end for the sake of which it exists, that justifies it, that it is in service of.
I will omit discussion of the ultimate here intentionally, because my purpose here is to frame the problem first and predispose the mind toward the answer; giving the answer straight away, or an answer, is more likely to trigger reflexive prejudices here, I think. Once framed this way, people are liberated to ask "whom or what do I ultimately serve? why do I live? why do I act?". The vista of ends and order is thrown open for examination. This clarity enables one to leave Plato's "cave" and makes it difficult to obfuscate and settle for cheap answers as it can corner the conscience into pestering us to reject dishonest rationalizations. Of course, people will often try to do so, but doing so is more likely to gnaw at the soul, something that can prompt people to keep searching instead of holing up in an intellectual ghetto and persist in mediocrity.
Now you can approach the original question.
Must we?
> When I clean my house, I don't do this for its own sake, I do this for the sake of having a clean house to live in.
Why not both? A clean house isn’t necessary for survival. Why do you enjoy a clean house? For its own sake perhaps? Many would argue that we do these things for the sake of them as much as we do these things out of necessity.
Reframed slightly, we do many things for the sake of doing them, and we seem to enjoy bringing this mindset to the necessities of life.
Mihaly Csikszentmihalyi explores this extensively in Flow, and it’s a recurrent theme in many contemplative traditions.
> When I cook dinner, I don't cook it for its own sake, I cook it to feed myself and others.
Again, why not both? If the only value gained from cooking is sustenance, why do we enjoy dessert? Why do we enjoy it more when other people are with us?
I’m not saying we don’t do things for reasons or that it’s uninteresting to assign labels to those reasons and explore them, but such intellectual/philosophical framings are ultimately just reductions of unfolding experience into a low resolution explanation of reality relative to our immersion in it.
Should we explore these ideas? Yes.
Must they be the foundation from which we explore other ideas? I don’t think so. Sometimes, sure.