14 ms·

Some stuff I found interesting about number theory research

348 points by luu 5y ago

adam_ellsworth 5y ago
What really jazzes me here is this: > "(People learn this stuff via the number theory gossip grapevine apparently?)" With the panoply of dev-oriented social platforms I find it curious that – to my knowledge – nobody who's studied Number Theory, Category Theory, Set Theory, etc. have established a kind of social network for sharing ideas formally. Between LaTeX for Markdown and the limitless Compsci-leaning Maths experts you'd think there would be a thriving online community out there! I only have an undergrad's (very limited) understanding of these topics but feel the ability to create a network for effective communication on these topics is 100% doable. (Isn't this the kindof thing the DAT and IPFS protocols were supposed to solve? P2P protocols/networks for bettering communication?)
- benrbray 5y ago
  I do wonder where all the mathematicians / academics hang out online. Now that I'm out of (compsci) grad school, I find myself without like-minded peers to study math with. Currently working my way through Riehl's category theory book, but it's a bit tough without anyone to talk to! I know there's MathOverflow, and some people in the FP community hang out on IRC. What's the academic equivalent of HN? GitHub? I'm guessing there must be quite a few hard-to-find Discords for specific research communities.
  - williamstein 5y ago
    One answer to "What's the academic equivalent of HN?" is "going to week-long conferences and workshops", which often involves a bunch of presentations of papers (with Q&A) and discussions long into the night. Before the pandemic, an academic (such as me) could easily spend the entire summer just going from one conference to another. With the pandemic, there's now a lot of live video chat, and seminar series where everybody gets together in Zoom, there's a talk, and discussion afterwards. Here's an example of such a series for number theory: https://sites.google.com/view/vantageseminar https://sites.google.com/view/vantageseminar And, here's a massive list of mathematics (and related) online seminars: https://researchseminars.org/ https://researchseminars.org/ In math there's also a lot more "think deeply and send an email" that happens, rather than things like Hacker News.
    - bakuninsbart 5y ago
      > In math there's also a lot more "think deeply and send an email" that happens, rather than things like Hacker News. That would have been my guess, too. I shared an office for a while with a math professor, and he spent around half of his time in the office writing emails to colleagues.
    - uyt 5y ago
      The Lean community uses zulip which seems to be a nice compromise between chat and forum/email threads https://leanprover.zulipchat.com/login/ https://leanprover.zulipchat.com/login/
  - renewiltord 5y ago
    An ex-girlfriend of mine is a mathematician. Mostly conferences and symposia. It’s a very meatspace activity. I haven’t kept in touch but the pandemic might have upended that. I’d speculate that it’s because it’s hard to understand much of mathematics without the back and forth of a lecture to help. But that could just be because I truly suffered through my Mathematics graduate degree and am glad a Masters is all I managed.
- throwaway81523 5y ago
  There is mathoverflow.net and its meta site as math researcher hangouts, plus ncatlab.org for category theory, and various sites, blogs, mailing lists etc. for other fields. You might also like Bill Thurston's famous article "On Proof and Progress in Mathematics", which says not so much that math is social, but that human mathematicians want personal understanding of mathematical truths. So black box computer-checked but human-incomprehensible proofs aren't of that much appeal. https://arxiv.org/abs/math/9404236 https://arxiv.org/abs/math/9404236
  - linspace 5y ago
    A little offtopic: It's telling how you can tell the article was written by a mathematician, apart from the obvious fact that it's about mathematics. I'm talking about the structure. For example: "How do mathematicians prove theorems? This question introduces an interesting topic, but to start with it would be to project two hidden assumptions: (1) that there is uniform, objective and firmly established theory and practice of mathematical proof, and (2) that progress made by mathematicians consists of proving theorems" It reminds me of a joke I was told by my math teacher when I was at school about how mathematics shapes your thought (I may do a poor translation): An air balloon traveller encounters very dense mist and gets lost and so is forced to descend to the ground, where he finds a guy taking a walk. The traveller asks the guy "Excuse me sir, could you tell me where am I?" The guy, after a very long pause answers "You are on a balloon". The traveller smiles and says "You are obviously a mathematician". "How do you know?" asks the guy to which the traveller replies. "Easy, there are three very good reasons. The first one is that you took a long time to answer, obviously considering just the facts and proceeding with strict logic. The second one is because the precision of your answer. And last but not least because your answer is useless"
    - jjgreen 5y ago
      A little further off-topic. I knew (well) a mathematician who most of the department thought a bit odd, and he was. If you asked him "how are you?", he would take longer than is usual to respond. I fairly quickly realised it was because he considered that nicety as an actual question and gave a considered response.
- z77dj3kl 5y ago
  The social networks are offline. Universities are great at open collaboration, it's just not a kind of online collaboration where anybody can walk in and partake. People spend a lot of time on a different type of communication: going to conferences, attending seminars, and meeting one-on-one. Why should it be online? Also keep in mind that a lot of mathematicians are also older, less tech-savvy. This might change in the next decade or two!
  - d0mine 5y ago
    > Why should it be online? Compare programming before and after Google or before and after StackOverflow. There is https://mathoverflow.net/ https://mathoverflow.net/
foxes 5y ago
https://threadreaderapp.com/thread/1419281153983500290.html https://threadreaderapp.com/thread/1419281153983500290.html
- eterevsky 5y ago
  I always wonder why would someone write a thousands-words article as a Twitter thread? Why not publish it on any other platform and link it?
  - arn 5y ago
    Prob a few reasons. This was written in a very conversational tone. If he wrote it in a blog, it would read weird or he’d spend a lot more time on it. I’ve started blog posts before and just kinda gave up when it didn’t seem like it came together well.
benrbray 5y ago
This is quite interesting, especially since one of the major objections to computer-aided proofs has that they are more difficult for humans to understand. Common wisdom has been that proof techniques matter more than the results, but if human-authored proofs are no longer being inspected, it seems like it's just a matter of time before computer-aided proofs take over. I wonder how long it will be before proof assistants (like Lean, Coq, etc.) become ergonomic enough that the average non-technical math researcher will feel social pressure to publish a computer-aided proof along with their result.
- plake 5y ago
  I think it will be quite some time yet. As a researcher, my objection to computer-aided proofs is not that they're hard to read -- you would of course write a human readable version to go with it -- but rather that they're extremely time-consuming to write. (And writing papers is hard enough already.) A typical research paper is written at a very high level; often steps in the argument will assume the reader is also a skilled mathematician, and invite them to fill in the lower-level details themselves. This reasoning is as much intuitive as it is formal; I suspect it will be a while before proof assistants are as intelligent as the typical reader of a mathematics paper. I think there's an outside perspective that if math isn't 100% logically verified, it's worthless, which doesn't really match up with my own experience. Most results rely more on the intuition of the authors than on the precise logic they write down; thus the surprising result that papers with logical gaps are, very often, still correct.
  - benrbray 5y ago
    That's basically what I meant by "ergonomics" -- do you think we're still quite far from researchers being able to develop their own "tactics" to automate the sort of reasoning that would normally be "left as an exercise" to the reader of a research publication?
    - plake 5y ago
      Yeah, "left as an exercise" can mean anything from "this is an undergraduate exercise" to "if you understand both the field and this paper, you could write a different, much longer paper, and we both know this, so let's assume I wrote that one." It's probably not impossible to build a proof language that makes that kind of thing doable, but I suspect that (a) it would be genuinely difficult to operate it skilfully, much as being a really good developer is difficult, and (b) it would take a huge collective effort on behalf of each research community to prove the foundational results everyone relies on. Whereas the system we have right now, despite sounding kind of weird to outsiders, mostly works okay? I'm just not sure a switch to formal proofs would be worth the time investment -- or that you could convince the many researchers less interested in tech than myself.
williamstein 5y ago
I did a Ph.D. in number theory, published a few dozen research papers, and have programmed a lot and this post sounds about right to me. I did CS as an undergrad, before doing a math Ph.D., and remember being very surprised that math papers weren't a lot more wrong than they actually are (since computer software is so often full of bugs, and all it takes is one single bug to completely invalidate an entire paper). When I was a grad student at Berkeley, I once asked Serge Lang (who I think wrote the most advanced math textbooks of anybody who ever lived) why mathematics research papers don't have a lot more incorrect results in them. He responded that it was because people secretly "proved" everything to themselves in multiple ways, but only wrote up one proof, and it was unlikely that multiple very different reasons for something being true would all be wrong. Of course, there are serious mistakes and gaps in the literature, though what one person considers a gap, somebody else who knows more might not consider a gap. For example, I remember once that Ernst Kani was complaining to me about a big gap in a paper by Ribet; I didn't believe it, so I read the relevant section and was able to fill in the gap in a few hours sufficiently to satisfy him. In any case, I've spent decades both programming and doing number theory, and despite some similarities, they are very different things. Another related way these threads come together is with Kevin Buzzard's big project to formalize mathematics using LEAN; he's another number theorist, and he told me that a few years ago he started really worrying about the correctness of a lot of number theory papers, and that strongly motivated his interest in LEAN.
- shuckles 5y ago
  During an undergraduate research program, I discovered a gap in a theory in PDEs which I’m assuming nobody else did because I was the only one who tried to follow each step (just getting that far was the entire purpose of the effort!). My advisor said it would be best to fix the gap before publishing about it because multiple students entering the job market depended on the result being true. That was an eye-opening social experience.
  - gameshot911 5y ago
    So were you able to fix it??
themodelplumber 5y ago
One of my takeaways: When I see "stitch together black boxes," to me that says that aspects of academic math are becoming similar to opportunistic software development. When such an effect happens in group psychology it is typically part of the "grounding" effect happening. There is a high supply of theory without the energy to go into analyzing so many individual black boxes anymore, and a correspondingly high demand arises for integrative applications which bring the high-minded ideas down to more fundamental, widely-scoped, or practical effect. Down to earth, so to speak. Some would think of this as an economic-benefit effect. The point is, it tends to bring all those stitched-together black boxes much closer to the end user space, where application is key, not so much theory. So I wonder if in the coming years we will see a dramatic closing of the gap between direct access to mathematics inputs and daily living. It may be that the typical non-math-minded individual will soon readily and happily bootstrap themselves into the language of mathematics via the closing in of a perception of direct competitive or economic value. To share an example, in 2003 I started to use a node-based editor to edit 3D textures for graphics projects. This node-based tool gave more control than standard sliders, color pickers, and checkboxes. But soon I discovered that in a lot of cases it was easier to enter a math formula in a node than to chain nodes together. Maybe a single checkbox designated whether the function was periodic, but other than that, enter math here, please. Your mathematical wish is our graphics-producing command. So I wonder if we'll soon get to the point where formulaic systems control with direct mathematic input will be more desirable and common in unified system interfaces that are found in office and household work. Let's say you want to write the perfect formula for a given air quality factor in your office... Or your competitive game which allows you to program AIs is made much more efficient if you can tweak formulae by hand... Or you need to design a new form of printed steak, but simple toggles and switches just won't do... (Then...when the time is right for the black-box theory end to pick up a lot of momentum again, imagine how large a pool of new mathematicians will be ready...)
- rocqua 5y ago
  I think the reason for this black-boxing in software and mathematics is quite different. In top-level mathematics its that you have no choice but to treat results as black-boxes because the complexity otherwise is just too high. Its the only way forward, and mathematicians would prefer not to take this approach. In software development, black-boxing is a way of accelerating development. It allows people to abstract away and disregard complexities. And it allows re-using big works. It comes at the cost of some integration losses and performance losses. But, since they are not at the complexity limit, software developers can dive into their black boxes if required for performance or other reasons.
renewiltord 5y ago
I wonder if they have the equivalent the engineers who bemoan the fact that some React developers make functioning websites without “knowing anything about how CPUs or memory models work”. Bourbaki was a thing so probably. And we know the joke about Bourbaki and Lang. Though the reference is diminished by the latter’s relationship with the former.
- laichzeit0 5y ago
  It’s higher than that. People build software calling .search() and .sort() after a 4 month nanodegree and don’t know how to implement either. I’d say they are even using http requests without knowing what a TCP socket connection is, maybe even what an http request header is. The barrier to entry in the dev world is extremely low. To relate it to maths: It would be equivalent to someone doing math research without knowing how to do proof by induction (in analogy to not knowing how to implement .sort())
  - Isinlor 5y ago
    Lack of gatekeeping and general accessibility of software development is the beauty of this profession.
    - laichzeit0 5y ago
      Sorry, let me rephrase. I didn't mean it in a negative way. The last time I needed to actually implement a sort method was when I was doing very low level embedded work and there wasn't one available on that platform (at least not one with the memory/compute trade offs I needed). I'm sympathising with mathematicians who have to build stuff on black-box stuff they don't full understand. Things are too complex to know it down to the CPU level, even so complex that modern devs don't even know how search and sort is implemented, but still get shit done.
  - lyaa 5y ago
    These devs don't need to. As long as they get work done, create `value', their skills are sufficient. Admittedly, there are times when people who know better are needed for specific tasks and that's why we are paid better. Proof by induction is more akin to for-loop than optimized sort algorithms. It's often taught in the first mathematics course that includes proofs which can be Calculus II or even Linear Algebra. I would be surprised if a Math student did not learn it by their first Analysis course.
etaioinshrdlu 5y ago
It would be nice if we had a mathematics-wide push for formal verification of proofs, not just done by the mathematicians who really like formal verification. Maybe there could be a journal of only formally-verfified results?
- Someone 5y ago
  https://sciendo.com/journal/FORMA https://sciendo.com/journal/FORMA gets close, I think (I don’t think it only publishes formally verified results. It likely also accepts more philosophical texts about formal verification). There’s also http://mizar.org/JFM/ http://mizar.org/JFM/ I don’t think such journals can be the full solution, though. Problem is that to entice mathematicians who don’t like formal verification to publish in it.
- z77dj3kl 5y ago
  What do you mean? Mathematics is all about formal verification, i.e. proofs.
  - SAI_Peregrinus 5y ago
    I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.
- jkhdigital 5y ago
  Homotopy type theory is just that: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins
  - deadbeef57 5y ago
    Homotopy type theory (HoTT) can mean several things: it's a new foundation of mathematics that was developed from the start with computer-formalization in mind. But you can also work on HoTT without ever touching a computer. Conversely, there are many ways to do computer-formalization of mathematics, without every doing anything with HoTT.
RajuVarghese 5y ago
In a book on mathematics by Alex Bellos he says that any contemporary cutting-edge research mathematics paper can be understood by no more than 100 mathematicians. The field is getting bigger and bigger and there are less and less mathematicians that have background knowledge sufficient to _understand_it much less critique it. The bar for the word 'understand' may be much higher in mathematics compared to other fields. Comments?
- onion2k 5y ago
  That sounds like something that'd be true for every field, not just math. The nature of anything that's cutting edge means very few people will have looked at it yet let alone actually understood it.
  - RajuVarghese 5y ago
    I agree that the number of people that can understand a cutting-edge paper will be low. But, in CS for example, the number will be much higher than 100. I would assume that it would be in the 1000's worldwide. Since, it isn't my field I could speculate that cutting-edge biology would be understood by a lot more than 100 persons.
- Agingcoder 5y ago
  Not really. There's 'understand', and 'believe you understand', and in other fields (say, software engineering...) you meet lots of people who think they understand, when they don't. I also think that in the SE case, because it's more 'relatable' ('look at my website') , people generally assume more easily that they understand when they don't. Also if you look at theoretical comp sci results (calculability theory, etc) , or even complex software engineering systems (actual working distributed systems, etc) , I very much doubt that many people (apart from the people who designed and wrote them, and who may even be wrong about them! ) can _actually_ claim to understand them fully. You will understand, to some extent, the 'theorem' (ie the system), but the implementation will remain a black box.
- Hermitian909 5y ago
  I think the main thing missing from this analysis is how much of the mathematical corpus ends up being "uninteresting" over time. Take Algebraic Geometry, a field primarily concerned with the question "what are the zeroes of multivariate polynomial equations" e.g. x^2-y+z^3. Papers that could be considered part of the field were published as early as the 16th century but very little is worth reading from before the work of Alexander Groethendieck in the mid 20th century which really formalized the field in the form it is today. The vast improvement in abstractions meant old proofs could be rewritten in a much terser, easier to understand manner with the new machinery. Similarly, now that we've solved the classification of finite simple groups[0] a lot of the deep expertise mathematicians had surrounding techniques to classify finite groups is no longer needed. A new researcher can learn a small, curated subset of these techniques and fully grasp the field. Since there's no more work to be done, there's no need to build deep intuitions. More generally a lot of papers in mathematics are attempts to build the machinery to solve some bigger problem and most of those end up not being useful when the field cracks said problem. At which point, all those papers effectively get "trimmed away" since the result they were meant to support does not depend on them, and so no one need read them. [0] https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
thaumasiotes 5y ago
> (I suggested that perhaps this is because the famous people are the only ones who are fast enough to actually do everything you're "supposed to do" and still be productive.) I might suggest that these are broadly the set of people who are able to understand the proofs, and that their higher ability also causes them to produce higher-quality work, so the fame and the understanding are separate effects of a root cause. (With understanding then feeding into fame.) I don't buy that spending time understanding the material you're working with takes time away from producing results. They are complementary efforts, not opposed ones.
dash2 5y ago
This reminds me of my favourite description of academic research, from To the Lighthouse: "For if thought is like the keyboard of a piano, divided into so many notes, or like the alphabet is ranged in twenty-six letters all in order, then his splendid mind had no sort of difficulty in running over those letters one by one, firmly and accurately, until it had reached, say, the letter Q. He reached Q. Very few people in the whole of England ever reach Q. Here, stopping for one moment by the stone urn which held the geraniums, he saw, but now far, far away, like children picking up shells, divinely innocent and occupied with little trifles at their feet and somehow entirely defenceless against a doom which he perceived, his wife and son, together, in the window. They needed his protection; he gave it them. But after Q? What comes next? After Q there are a number of letters the last of which is scarcely visible to mortal eyes, but glimmers red in the distance. Z is only reached once by one man in a generation. Still, if he could reach R it would be something. Here at least was Q. He dug his heels in at Q. Q he was sure of. Q he could demonstrate. If Q then is Q—R—. Here he knocked his pipe out, with two or three resonant taps on the handle of the urn, and proceeded. "Then R..." He braced himself. He clenched himself. Qualities that would have saved a ship's company exposed on a broiling sea with six biscuits and a flask of water—endurance and justice, foresight, devotion, skill, came to his help. R is then—what is R? A shutter, like the leathern eyelid of a lizard, flickered over the intensity of his gaze and obscured the letter R. In that flash of darkness he heard people saying—he was a failure—that R was beyond him. He would never reach R. On to R, once more. R— Qualities that in a desolate expedition across the icy solitudes of the Polar region would have made him the leader, the guide, the counsellor, whose temper, neither sanguine nor despondent, surveys with equanimity what is to be and faces it, came to his help again. R— The lizard's eye flickered once more. The veins on his forehead bulged. The geranium in the urn became startlingly visible and, displayed among its leaves, he could see, without wishing it, that old, that obvious distinction between the two classes of men; on the one hand the steady goers of superhuman strength who, plodding and persevering, repeat the whole alphabet in order, twenty-six letters in all, from start to finish; on the other the gifted, the inspired who, miraculously, lump all the letters together in one flash—the way of genius. He had not genius; he laid no claim to that: but he had, or might have had, the power to repeat every letter of the alphabet from A to Z accurately in order. Meanwhile, he stuck at Q. On, then, on to R."
jkhdigital 5y ago
Obligatory pointer to homotopy type theory: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins
petercooper 5y ago
You know those videos where an expert explains something complicated at five different levels from school kid up to fellow genius? (Example: https://www.youtube.com/watch?v=eRkgK4jfi6M https://www.youtube.com/watch?v=eRkgK4jfi6M) I feel like many areas of math would benefit from that, because I barely have a clue what exists, let alone why and where there are advancements in the field.
echopurity 5y ago
It's a huge failure of the (mis)education system that almost no one learns math.
- defterGoose 5y ago
  I've been thinking a lot recently about math curriculum and how i think students would be well served by an earlier injection of set theoretical topics. At once more abstract and yet possibly more concrete for many of the "never-math" brains one encounters in a typical school setting.
tragomaskhalos 5y ago
Maths is, I believe, unique as a discipline in that it displays a distinct set of discrete difficulty steps the further into it you go. The first step is encountered at school: many students find they may be OK with basic arithmetic but anything conceptual like algebra is beyond them. A second step is encountered at college/university: someone who is perfectly good at school-level mathematics can find themselves totally at sea within literally week 1 of a degree course. And someone who copes fine with this level may in turn find that the more rarefied and demanding level demanded by a very top university is beyond them (source: this was my own experience - fine at degree level at an 'ordinary' university having flamed out spectacularly in an Oxbridge interview, demonstrating absolutely that I'd have been totally out of my depth there). Then, there are those few who push through even that level with enough ability to become productive and innovative academics. When you start with a population for whom even arithmetic can be a challenge, it's not too surprising that only a miniscule priesthood emerge from the other side.
soheil 5y ago
> except that for programmers it's possible (and advantageous IMO) to deeply understand way more than they actually do, which seems less clearly true in number theory. But that's not true for programmers either. How often do we look at the compiler or interpreter and check each opcode to make sure the right transistor gets turned on at the right time? The fact that number theory papers are 50-100 pages long may be an indication they're missing some useful level of abstraction, but then again if they're already operating at the most abstract level limited by the human mind then maybe that's why the papers are so long.
- klyrs 5y ago
  I'd draw a distinction between interpreted and compiled languages. It's good to know what an interpreted language does under the hood, and I'd say "look as often as you hit an unexpected performance issue." With compilers, I don't care how the sausage is made... but you'd better believe I'm going over the generated assembly for hotspots.
rwallace 5y ago
> I suggested that perhaps this is because the famous people are the only ones who are fast enough to actually do everything you're "supposed to do" and still be productive. Conjecture: it is instead or also because famous people are the only ones who are given enough slack to be able to take the time to actually do everything you're supposed to do. Proposed test to distinguish between the conjectures: do famous mathematicians become famous by finding gaps, or find gaps after becoming famous?
- mmusson 5y ago
  Some of the famous people just have knack for asking the right questions and then answering them. I am reminded of a joke that goes something like, if you hit a roadblock in your math problem, the best way to solve it is to get Terry Tao interested in it.
nullc 5y ago
> Anyway, despite the fact that error-correction is really hard, publishing actually false results was quite rare because "people's intuition about what's true is mysteriously really good." I don't find that mysterious. One aspect of number theory is that results have arbitrarily deep implications and relations. If you are wrong about something you can often substitute it in somewhere else and produce a wrong answer or a contradiction. Doing something wrong which still looks right after being tested from a few different perspectives is extremely tricky. Like finding a pseudoprime for some probabilistic primaility test-- it's not likely to also be a pseudoprime for an unrelated test. So pretty much the only way to pass a collection of independent probabilistic tests is to actually be prime. (Note the 'pretty much'-- a bunch of approximate proofs isn't a necessarily proof, but it at least explains why false things are seldom believed even when their headline proofs aren't solid) I don't just mean through different reviewers -- when you publish a proof of something you've probably satisfied yourself that it was true through multiple avenues. The proof you published was just the one you thought was the most convincing. Unfortunately, making an error in it can be something that makes a proof more convincing (until the error is found), but fortunately having an incorrect proof of something doesn't make the underlying fact untrue.
jaksmit 5y ago
If anyone is interested in number theory and would like to help some incarcerated people that are working on a number theory paper: I'm a director of the Prison Math Project: http://prisonmathproject.org/ http://prisonmathproject.org/ We have a few advanced mathematicians in jail who don't have access to computers. They need help with formatting their work in LaTeX and stuff like that to make it ready for publication (credit offered). They have previously co-authored some papers from within jail eg "Linear Fractional Transformations And Nonlinear Leaping Convergents Of Some Continued Fractions" "Math And Art In Prison: A Collaborative Effort Across The Ocean" please reach out if any interest in helping them.
- Biganon 5y ago
  Very interesting project. BTW the Photos link leads to a 404 error and a Hello world.
  - jaksmit 5y ago
    thanks and thanks for the headsup!
jaksmit 5y ago
Here is a reply to this tweet thread, posted on behalf of an incarcerated person (christopherhavensmath.com): "I don't quite agree with much of what is said, but it does also have some truth to it. The fact is that many people publishing thesis papers are not publishing in major journals and so often have many errors. As well, one can publish a paper that is never refereed by experts in that field at all. Those are disreputable papers. It is our responsibility as mathematicians to pay attention of where the work that we build from comes from. When publishing work, there is a system which ranks the integrity of the academic journals, and my method involves beginning at the best quality journal that is relevant to your work.. the referees attack the paper and send you feedback, possibly rejecting your paper. Then you make adjustments according to their feedback and either resubmit to them, repeating the process, or you submit to the next best journal. After being rejected so many times, your article strengthens more and more until the best possible journal accepts your work. This method assures that the quality of your work reflects the quality of the publishing journal. My first paper went down the list three notches and landed on a high level journal. But the process of submission was brutal and lasted over two years. There are no gaps in our work (Myself and my 3 coauthors). Rather there are gaps in the understanding of the concepts that immediately surround our work. When we submit work, often we continue studying in that field and learn rather quickly that our submitted work could have been much better in the sense that you wish you would have included things that are obvious upon countless reviews of your own work. In this sense, good work can have gaps, but that does not necessarily mean that the submission contained errors. But of course there are many papers out there published through websites or some other means that have zero academic value. The best thing to do is make sure that any research paper you use or reference comes from a reputable journal. There is one thing to keep in mind... probably the most important part. We research for many reasons. Part of it for me is that research represents the pursuit of beauty. If you're doing math for the reason of adding another notch to your ladder towards academic elitism, then you're doing it for the wrong reason. We are the chasers of mathematical beauty. When we find such beauty the hard part is expressing it flawlessly in the form of human knowledge."

348 points by luu 5y ago

What really jazzes me here is this: > "(People learn this stuff via the number theory gossip grapevine apparently?)" With the panoply of dev-oriented social platforms I find it curious that – to my knowledge – nobody who's studied Number Theory, Category Theory, Set Theory, etc. have established a kind of social network for sharing ideas formally. Between LaTeX for Markdown and the limitless Compsci-leaning Maths experts you'd think there would be a thriving online community out there! I only have an undergrad's (very limited) understanding of these topics but feel the ability to create a network for effective communication on these topics is 100% doable. (Isn't this the kindof thing the DAT and IPFS protocols were supposed to solve? P2P protocols/networks for bettering communication?)

benrbray 5y ago
I do wonder where all the mathematicians / academics hang out online. Now that I'm out of (compsci) grad school, I find myself without like-minded peers to study math with. Currently working my way through Riehl's category theory book, but it's a bit tough without anyone to talk to! I know there's MathOverflow, and some people in the FP community hang out on IRC. What's the academic equivalent of HN? GitHub? I'm guessing there must be quite a few hard-to-find Discords for specific research communities.
- williamstein 5y ago
  One answer to "What's the academic equivalent of HN?" is "going to week-long conferences and workshops", which often involves a bunch of presentations of papers (with Q&A) and discussions long into the night. Before the pandemic, an academic (such as me) could easily spend the entire summer just going from one conference to another. With the pandemic, there's now a lot of live video chat, and seminar series where everybody gets together in Zoom, there's a talk, and discussion afterwards. Here's an example of such a series for number theory: https://sites.google.com/view/vantageseminar https://sites.google.com/view/vantageseminar And, here's a massive list of mathematics (and related) online seminars: https://researchseminars.org/ https://researchseminars.org/ In math there's also a lot more "think deeply and send an email" that happens, rather than things like Hacker News.
  - bakuninsbart 5y ago
    > In math there's also a lot more "think deeply and send an email" that happens, rather than things like Hacker News. That would have been my guess, too. I shared an office for a while with a math professor, and he spent around half of his time in the office writing emails to colleagues.
  - uyt 5y ago
    The Lean community uses zulip which seems to be a nice compromise between chat and forum/email threads https://leanprover.zulipchat.com/login/ https://leanprover.zulipchat.com/login/
- renewiltord 5y ago
  An ex-girlfriend of mine is a mathematician. Mostly conferences and symposia. It’s a very meatspace activity. I haven’t kept in touch but the pandemic might have upended that. I’d speculate that it’s because it’s hard to understand much of mathematics without the back and forth of a lecture to help. But that could just be because I truly suffered through my Mathematics graduate degree and am glad a Masters is all I managed.
throwaway81523 5y ago
There is mathoverflow.net and its meta site as math researcher hangouts, plus ncatlab.org for category theory, and various sites, blogs, mailing lists etc. for other fields. You might also like Bill Thurston's famous article "On Proof and Progress in Mathematics", which says not so much that math is social, but that human mathematicians want personal understanding of mathematical truths. So black box computer-checked but human-incomprehensible proofs aren't of that much appeal. https://arxiv.org/abs/math/9404236 https://arxiv.org/abs/math/9404236
- linspace 5y ago
  A little offtopic: It's telling how you can tell the article was written by a mathematician, apart from the obvious fact that it's about mathematics. I'm talking about the structure. For example: "How do mathematicians prove theorems? This question introduces an interesting topic, but to start with it would be to project two hidden assumptions: (1) that there is uniform, objective and firmly established theory and practice of mathematical proof, and (2) that progress made by mathematicians consists of proving theorems" It reminds me of a joke I was told by my math teacher when I was at school about how mathematics shapes your thought (I may do a poor translation): An air balloon traveller encounters very dense mist and gets lost and so is forced to descend to the ground, where he finds a guy taking a walk. The traveller asks the guy "Excuse me sir, could you tell me where am I?" The guy, after a very long pause answers "You are on a balloon". The traveller smiles and says "You are obviously a mathematician". "How do you know?" asks the guy to which the traveller replies. "Easy, there are three very good reasons. The first one is that you took a long time to answer, obviously considering just the facts and proceeding with strict logic. The second one is because the precision of your answer. And last but not least because your answer is useless"
  - jjgreen 5y ago
    A little further off-topic. I knew (well) a mathematician who most of the department thought a bit odd, and he was. If you asked him "how are you?", he would take longer than is usual to respond. I fairly quickly realised it was because he considered that nicety as an actual question and gave a considered response.
z77dj3kl 5y ago
The social networks are offline. Universities are great at open collaboration, it's just not a kind of online collaboration where anybody can walk in and partake. People spend a lot of time on a different type of communication: going to conferences, attending seminars, and meeting one-on-one. Why should it be online? Also keep in mind that a lot of mathematicians are also older, less tech-savvy. This might change in the next decade or two!
- d0mine 5y ago
  > Why should it be online? Compare programming before and after Google or before and after StackOverflow. There is https://mathoverflow.net/ https://mathoverflow.net/

foxes 5y ago

https://threadreaderapp.com/thread/1419281153983500290.html https://threadreaderapp.com/thread/1419281153983500290.html

eterevsky 5y ago
I always wonder why would someone write a thousands-words article as a Twitter thread? Why not publish it on any other platform and link it?
- arn 5y ago
  Prob a few reasons. This was written in a very conversational tone. If he wrote it in a blog, it would read weird or he’d spend a lot more time on it. I’ve started blog posts before and just kinda gave up when it didn’t seem like it came together well.

benrbray 5y ago

This is quite interesting, especially since one of the major objections to computer-aided proofs has that they are more difficult for humans to understand. Common wisdom has been that proof techniques matter more than the results, but if human-authored proofs are no longer being inspected, it seems like it's just a matter of time before computer-aided proofs take over. I wonder how long it will be before proof assistants (like Lean, Coq, etc.) become ergonomic enough that the average non-technical math researcher will feel social pressure to publish a computer-aided proof along with their result.

plake 5y ago
I think it will be quite some time yet. As a researcher, my objection to computer-aided proofs is not that they're hard to read -- you would of course write a human readable version to go with it -- but rather that they're extremely time-consuming to write. (And writing papers is hard enough already.) A typical research paper is written at a very high level; often steps in the argument will assume the reader is also a skilled mathematician, and invite them to fill in the lower-level details themselves. This reasoning is as much intuitive as it is formal; I suspect it will be a while before proof assistants are as intelligent as the typical reader of a mathematics paper. I think there's an outside perspective that if math isn't 100% logically verified, it's worthless, which doesn't really match up with my own experience. Most results rely more on the intuition of the authors than on the precise logic they write down; thus the surprising result that papers with logical gaps are, very often, still correct.
- benrbray 5y ago
  That's basically what I meant by "ergonomics" -- do you think we're still quite far from researchers being able to develop their own "tactics" to automate the sort of reasoning that would normally be "left as an exercise" to the reader of a research publication?
  - plake 5y ago
    Yeah, "left as an exercise" can mean anything from "this is an undergraduate exercise" to "if you understand both the field and this paper, you could write a different, much longer paper, and we both know this, so let's assume I wrote that one." It's probably not impossible to build a proof language that makes that kind of thing doable, but I suspect that (a) it would be genuinely difficult to operate it skilfully, much as being a really good developer is difficult, and (b) it would take a huge collective effort on behalf of each research community to prove the foundational results everyone relies on. Whereas the system we have right now, despite sounding kind of weird to outsiders, mostly works okay? I'm just not sure a switch to formal proofs would be worth the time investment -- or that you could convince the many researchers less interested in tech than myself.

williamstein 5y ago

I did a Ph.D. in number theory, published a few dozen research papers, and have programmed a lot and this post sounds about right to me. I did CS as an undergrad, before doing a math Ph.D., and remember being very surprised that math papers weren't a lot more wrong than they actually are (since computer software is so often full of bugs, and all it takes is one single bug to completely invalidate an entire paper). When I was a grad student at Berkeley, I once asked Serge Lang (who I think wrote the most advanced math textbooks of anybody who ever lived) why mathematics research papers don't have a lot more incorrect results in them. He responded that it was because people secretly "proved" everything to themselves in multiple ways, but only wrote up one proof, and it was unlikely that multiple very different reasons for something being true would all be wrong. Of course, there are serious mistakes and gaps in the literature, though what one person considers a gap, somebody else who knows more might not consider a gap. For example, I remember once that Ernst Kani was complaining to me about a big gap in a paper by Ribet; I didn't believe it, so I read the relevant section and was able to fill in the gap in a few hours sufficiently to satisfy him. In any case, I've spent decades both programming and doing number theory, and despite some similarities, they are very different things. Another related way these threads come together is with Kevin Buzzard's big project to formalize mathematics using LEAN; he's another number theorist, and he told me that a few years ago he started really worrying about the correctness of a lot of number theory papers, and that strongly motivated his interest in LEAN.

shuckles 5y ago
During an undergraduate research program, I discovered a gap in a theory in PDEs which I’m assuming nobody else did because I was the only one who tried to follow each step (just getting that far was the entire purpose of the effort!). My advisor said it would be best to fix the gap before publishing about it because multiple students entering the job market depended on the result being true. That was an eye-opening social experience.
- gameshot911 5y ago
  So were you able to fix it??

themodelplumber 5y ago

One of my takeaways: When I see "stitch together black boxes," to me that says that aspects of academic math are becoming similar to opportunistic software development. When such an effect happens in group psychology it is typically part of the "grounding" effect happening. There is a high supply of theory without the energy to go into analyzing so many individual black boxes anymore, and a correspondingly high demand arises for integrative applications which bring the high-minded ideas down to more fundamental, widely-scoped, or practical effect. Down to earth, so to speak. Some would think of this as an economic-benefit effect. The point is, it tends to bring all those stitched-together black boxes much closer to the end user space, where application is key, not so much theory. So I wonder if in the coming years we will see a dramatic closing of the gap between direct access to mathematics inputs and daily living. It may be that the typical non-math-minded individual will soon readily and happily bootstrap themselves into the language of mathematics via the closing in of a perception of direct competitive or economic value. To share an example, in 2003 I started to use a node-based editor to edit 3D textures for graphics projects. This node-based tool gave more control than standard sliders, color pickers, and checkboxes. But soon I discovered that in a lot of cases it was easier to enter a math formula in a node than to chain nodes together. Maybe a single checkbox designated whether the function was periodic, but other than that, enter math here, please. Your mathematical wish is our graphics-producing command. So I wonder if we'll soon get to the point where formulaic systems control with direct mathematic input will be more desirable and common in unified system interfaces that are found in office and household work. Let's say you want to write the perfect formula for a given air quality factor in your office... Or your competitive game which allows you to program AIs is made much more efficient if you can tweak formulae by hand... Or you need to design a new form of printed steak, but simple toggles and switches just won't do... (Then...when the time is right for the black-box theory end to pick up a lot of momentum again, imagine how large a pool of new mathematicians will be ready...)

rocqua 5y ago
I think the reason for this black-boxing in software and mathematics is quite different. In top-level mathematics its that you have no choice but to treat results as black-boxes because the complexity otherwise is just too high. Its the only way forward, and mathematicians would prefer not to take this approach. In software development, black-boxing is a way of accelerating development. It allows people to abstract away and disregard complexities. And it allows re-using big works. It comes at the cost of some integration losses and performance losses. But, since they are not at the complexity limit, software developers can dive into their black boxes if required for performance or other reasons.

renewiltord 5y ago

I wonder if they have the equivalent the engineers who bemoan the fact that some React developers make functioning websites without “knowing anything about how CPUs or memory models work”. Bourbaki was a thing so probably. And we know the joke about Bourbaki and Lang. Though the reference is diminished by the latter’s relationship with the former.

laichzeit0 5y ago
It’s higher than that. People build software calling .search() and .sort() after a 4 month nanodegree and don’t know how to implement either. I’d say they are even using http requests without knowing what a TCP socket connection is, maybe even what an http request header is. The barrier to entry in the dev world is extremely low. To relate it to maths: It would be equivalent to someone doing math research without knowing how to do proof by induction (in analogy to not knowing how to implement .sort())
- Isinlor 5y ago
  Lack of gatekeeping and general accessibility of software development is the beauty of this profession.
  - laichzeit0 5y ago
    Sorry, let me rephrase. I didn't mean it in a negative way. The last time I needed to actually implement a sort method was when I was doing very low level embedded work and there wasn't one available on that platform (at least not one with the memory/compute trade offs I needed). I'm sympathising with mathematicians who have to build stuff on black-box stuff they don't full understand. Things are too complex to know it down to the CPU level, even so complex that modern devs don't even know how search and sort is implemented, but still get shit done.
- lyaa 5y ago
  These devs don't need to. As long as they get work done, create `value', their skills are sufficient. Admittedly, there are times when people who know better are needed for specific tasks and that's why we are paid better. Proof by induction is more akin to for-loop than optimized sort algorithms. It's often taught in the first mathematics course that includes proofs which can be Calculus II or even Linear Algebra. I would be surprised if a Math student did not learn it by their first Analysis course.

etaioinshrdlu 5y ago

It would be nice if we had a mathematics-wide push for formal verification of proofs, not just done by the mathematicians who really like formal verification. Maybe there could be a journal of only formally-verfified results?

Someone 5y ago
https://sciendo.com/journal/FORMA https://sciendo.com/journal/FORMA gets close, I think (I don’t think it only publishes formally verified results. It likely also accepts more philosophical texts about formal verification). There’s also http://mizar.org/JFM/ http://mizar.org/JFM/ I don’t think such journals can be the full solution, though. Problem is that to entice mathematicians who don’t like formal verification to publish in it.
z77dj3kl 5y ago
What do you mean? Mathematics is all about formal verification, i.e. proofs.
- SAI_Peregrinus 5y ago
  I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.
jkhdigital 5y ago
Homotopy type theory is just that: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins
- deadbeef57 5y ago
  Homotopy type theory (HoTT) can mean several things: it's a new foundation of mathematics that was developed from the start with computer-formalization in mind. But you can also work on HoTT without ever touching a computer. Conversely, there are many ways to do computer-formalization of mathematics, without every doing anything with HoTT.

RajuVarghese 5y ago

In a book on mathematics by Alex Bellos he says that any contemporary cutting-edge research mathematics paper can be understood by no more than 100 mathematicians. The field is getting bigger and bigger and there are less and less mathematicians that have background knowledge sufficient to _understand_it much less critique it. The bar for the word 'understand' may be much higher in mathematics compared to other fields. Comments?

onion2k 5y ago
That sounds like something that'd be true for every field, not just math. The nature of anything that's cutting edge means very few people will have looked at it yet let alone actually understood it.
- RajuVarghese 5y ago
  I agree that the number of people that can understand a cutting-edge paper will be low. But, in CS for example, the number will be much higher than 100. I would assume that it would be in the 1000's worldwide. Since, it isn't my field I could speculate that cutting-edge biology would be understood by a lot more than 100 persons.
Agingcoder 5y ago
Not really. There's 'understand', and 'believe you understand', and in other fields (say, software engineering...) you meet lots of people who think they understand, when they don't. I also think that in the SE case, because it's more 'relatable' ('look at my website') , people generally assume more easily that they understand when they don't. Also if you look at theoretical comp sci results (calculability theory, etc) , or even complex software engineering systems (actual working distributed systems, etc) , I very much doubt that many people (apart from the people who designed and wrote them, and who may even be wrong about them! ) can _actually_ claim to understand them fully. You will understand, to some extent, the 'theorem' (ie the system), but the implementation will remain a black box.
Hermitian909 5y ago
I think the main thing missing from this analysis is how much of the mathematical corpus ends up being "uninteresting" over time. Take Algebraic Geometry, a field primarily concerned with the question "what are the zeroes of multivariate polynomial equations" e.g. x^2-y+z^3. Papers that could be considered part of the field were published as early as the 16th century but very little is worth reading from before the work of Alexander Groethendieck in the mid 20th century which really formalized the field in the form it is today. The vast improvement in abstractions meant old proofs could be rewritten in a much terser, easier to understand manner with the new machinery. Similarly, now that we've solved the classification of finite simple groups[0] a lot of the deep expertise mathematicians had surrounding techniques to classify finite groups is no longer needed. A new researcher can learn a small, curated subset of these techniques and fully grasp the field. Since there's no more work to be done, there's no need to build deep intuitions. More generally a lot of papers in mathematics are attempts to build the machinery to solve some bigger problem and most of those end up not being useful when the field cracks said problem. At which point, all those papers effectively get "trimmed away" since the result they were meant to support does not depend on them, and so no one need read them. [0] https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/Classification_of_finite_simpl...

thaumasiotes 5y ago

> (I suggested that perhaps this is because the famous people are the only ones who are fast enough to actually do everything you're "supposed to do" and still be productive.) I might suggest that these are broadly the set of people who are able to understand the proofs, and that their higher ability also causes them to produce higher-quality work, so the fame and the understanding are separate effects of a root cause. (With understanding then feeding into fame.) I don't buy that spending time understanding the material you're working with takes time away from producing results. They are complementary efforts, not opposed ones.

dash2 5y ago

This reminds me of my favourite description of academic research, from To the Lighthouse: "For if thought is like the keyboard of a piano, divided into so many notes, or like the alphabet is ranged in twenty-six letters all in order, then his splendid mind had no sort of difficulty in running over those letters one by one, firmly and accurately, until it had reached, say, the letter Q. He reached Q. Very few people in the whole of England ever reach Q. Here, stopping for one moment by the stone urn which held the geraniums, he saw, but now far, far away, like children picking up shells, divinely innocent and occupied with little trifles at their feet and somehow entirely defenceless against a doom which he perceived, his wife and son, together, in the window. They needed his protection; he gave it them. But after Q? What comes next? After Q there are a number of letters the last of which is scarcely visible to mortal eyes, but glimmers red in the distance. Z is only reached once by one man in a generation. Still, if he could reach R it would be something. Here at least was Q. He dug his heels in at Q. Q he was sure of. Q he could demonstrate. If Q then is Q—R—. Here he knocked his pipe out, with two or three resonant taps on the handle of the urn, and proceeded. "Then R..." He braced himself. He clenched himself. Qualities that would have saved a ship's company exposed on a broiling sea with six biscuits and a flask of water—endurance and justice, foresight, devotion, skill, came to his help. R is then—what is R? A shutter, like the leathern eyelid of a lizard, flickered over the intensity of his gaze and obscured the letter R. In that flash of darkness he heard people saying—he was a failure—that R was beyond him. He would never reach R. On to R, once more. R— Qualities that in a desolate expedition across the icy solitudes of the Polar region would have made him the leader, the guide, the counsellor, whose temper, neither sanguine nor despondent, surveys with equanimity what is to be and faces it, came to his help again. R— The lizard's eye flickered once more. The veins on his forehead bulged. The geranium in the urn became startlingly visible and, displayed among its leaves, he could see, without wishing it, that old, that obvious distinction between the two classes of men; on the one hand the steady goers of superhuman strength who, plodding and persevering, repeat the whole alphabet in order, twenty-six letters in all, from start to finish; on the other the gifted, the inspired who, miraculously, lump all the letters together in one flash—the way of genius. He had not genius; he laid no claim to that: but he had, or might have had, the power to repeat every letter of the alphabet from A to Z accurately in order. Meanwhile, he stuck at Q. On, then, on to R."

jkhdigital 5y ago

Obligatory pointer to homotopy type theory: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins

petercooper 5y ago

You know those videos where an expert explains something complicated at five different levels from school kid up to fellow genius? (Example: https://www.youtube.com/watch?v=eRkgK4jfi6M https://www.youtube.com/watch?v=eRkgK4jfi6M) I feel like many areas of math would benefit from that, because I barely have a clue what exists, let alone why and where there are advancements in the field.

echopurity 5y ago

It's a huge failure of the (mis)education system that almost no one learns math.

defterGoose 5y ago
I've been thinking a lot recently about math curriculum and how i think students would be well served by an earlier injection of set theoretical topics. At once more abstract and yet possibly more concrete for many of the "never-math" brains one encounters in a typical school setting.

tragomaskhalos 5y ago

Maths is, I believe, unique as a discipline in that it displays a distinct set of discrete difficulty steps the further into it you go. The first step is encountered at school: many students find they may be OK with basic arithmetic but anything conceptual like algebra is beyond them. A second step is encountered at college/university: someone who is perfectly good at school-level mathematics can find themselves totally at sea within literally week 1 of a degree course. And someone who copes fine with this level may in turn find that the more rarefied and demanding level demanded by a very top university is beyond them (source: this was my own experience - fine at degree level at an 'ordinary' university having flamed out spectacularly in an Oxbridge interview, demonstrating absolutely that I'd have been totally out of my depth there). Then, there are those few who push through even that level with enough ability to become productive and innovative academics. When you start with a population for whom even arithmetic can be a challenge, it's not too surprising that only a miniscule priesthood emerge from the other side.

soheil 5y ago

> except that for programmers it's possible (and advantageous IMO) to deeply understand way more than they actually do, which seems less clearly true in number theory. But that's not true for programmers either. How often do we look at the compiler or interpreter and check each opcode to make sure the right transistor gets turned on at the right time? The fact that number theory papers are 50-100 pages long may be an indication they're missing some useful level of abstraction, but then again if they're already operating at the most abstract level limited by the human mind then maybe that's why the papers are so long.

klyrs 5y ago
I'd draw a distinction between interpreted and compiled languages. It's good to know what an interpreted language does under the hood, and I'd say "look as often as you hit an unexpected performance issue." With compilers, I don't care how the sausage is made... but you'd better believe I'm going over the generated assembly for hotspots.

rwallace 5y ago

> I suggested that perhaps this is because the famous people are the only ones who are fast enough to actually do everything you're "supposed to do" and still be productive. Conjecture: it is instead or also because famous people are the only ones who are given enough slack to be able to take the time to actually do everything you're supposed to do. Proposed test to distinguish between the conjectures: do famous mathematicians become famous by finding gaps, or find gaps after becoming famous?

mmusson 5y ago
Some of the famous people just have knack for asking the right questions and then answering them. I am reminded of a joke that goes something like, if you hit a roadblock in your math problem, the best way to solve it is to get Terry Tao interested in it.

nullc 5y ago

> Anyway, despite the fact that error-correction is really hard, publishing actually false results was quite rare because "people's intuition about what's true is mysteriously really good." I don't find that mysterious. One aspect of number theory is that results have arbitrarily deep implications and relations. If you are wrong about something you can often substitute it in somewhere else and produce a wrong answer or a contradiction. Doing something wrong which still looks right after being tested from a few different perspectives is extremely tricky. Like finding a pseudoprime for some probabilistic primaility test-- it's not likely to also be a pseudoprime for an unrelated test. So pretty much the only way to pass a collection of independent probabilistic tests is to actually be prime. (Note the 'pretty much'-- a bunch of approximate proofs isn't a necessarily proof, but it at least explains why false things are seldom believed even when their headline proofs aren't solid) I don't just mean through different reviewers -- when you publish a proof of something you've probably satisfied yourself that it was true through multiple avenues. The proof you published was just the one you thought was the most convincing. Unfortunately, making an error in it can be something that makes a proof more convincing (until the error is found), but fortunately having an incorrect proof of something doesn't make the underlying fact untrue.

jaksmit 5y ago

If anyone is interested in number theory and would like to help some incarcerated people that are working on a number theory paper: I'm a director of the Prison Math Project: http://prisonmathproject.org/ http://prisonmathproject.org/ We have a few advanced mathematicians in jail who don't have access to computers. They need help with formatting their work in LaTeX and stuff like that to make it ready for publication (credit offered). They have previously co-authored some papers from within jail eg "Linear Fractional Transformations And Nonlinear Leaping Convergents Of Some Continued Fractions" "Math And Art In Prison: A Collaborative Effort Across The Ocean" please reach out if any interest in helping them.

Biganon 5y ago
Very interesting project. BTW the Photos link leads to a 404 error and a Hello world.
- jaksmit 5y ago
  thanks and thanks for the headsup!

jaksmit 5y ago

Here is a reply to this tweet thread, posted on behalf of an incarcerated person (christopherhavensmath.com): "I don't quite agree with much of what is said, but it does also have some truth to it. The fact is that many people publishing thesis papers are not publishing in major journals and so often have many errors. As well, one can publish a paper that is never refereed by experts in that field at all. Those are disreputable papers. It is our responsibility as mathematicians to pay attention of where the work that we build from comes from. When publishing work, there is a system which ranks the integrity of the academic journals, and my method involves beginning at the best quality journal that is relevant to your work.. the referees attack the paper and send you feedback, possibly rejecting your paper. Then you make adjustments according to their feedback and either resubmit to them, repeating the process, or you submit to the next best journal. After being rejected so many times, your article strengthens more and more until the best possible journal accepts your work. This method assures that the quality of your work reflects the quality of the publishing journal. My first paper went down the list three notches and landed on a high level journal. But the process of submission was brutal and lasted over two years. There are no gaps in our work (Myself and my 3 coauthors). Rather there are gaps in the understanding of the concepts that immediately surround our work. When we submit work, often we continue studying in that field and learn rather quickly that our submitted work could have been much better in the sense that you wish you would have included things that are obvious upon countless reviews of your own work. In this sense, good work can have gaps, but that does not necessarily mean that the submission contained errors. But of course there are many papers out there published through websites or some other means that have zero academic value. The best thing to do is make sure that any research paper you use or reference comes from a reputable journal. There is one thing to keep in mind... probably the most important part. We research for many reasons. Part of it for me is that research represents the pursuit of beauty. If you're doing math for the reason of adding another notch to your ladder towards academic elitism, then you're doing it for the wrong reason. We are the chasers of mathematical beauty. When we find such beauty the hard part is expressing it flawlessly in the form of human knowledge."