[This guest post is authored by Ingrid Daubechies, who is the current president of the International Mathematical Union, and (as she describes below) is heavily involved in planning for a next-generation digital mathematical library that can go beyond the current network of preprint servers (such as the arXiv), journal web pages, article databases (such as MathSciNet), individual author web pages, and general web search engines to create a more integrated and useful mathematical resource. I have lightly edited the post for this blog, mostly by adding additional hyperlinks. – T.]
This guest blog entry concerns the many roles a World Digital Mathematical Library (WDML) could play for the mathematical community worldwide. We seek input to help sketch how a WDML could be so much more than just a huge collection of digitally available mathematical documents. If this is of interest to you, please read on!
The “we” seeking input are the Committee on Electronic Information and Communication (CEIC) of the International Mathematical Union (IMU), and a special committee of the US National Research Council (NRC), charged by the Sloan Foundation to look into this matter. In the US, mathematicians may know the Sloan Foundation best for the prestigious early-career fellowships it awards annually, but the foundation plays a prominent role in other disciplines as well. For instance, the Sloan Digital Sky Survey (SDSS) has had a profound impact on astronomy, serving researchers in many more ways than even its ambitious original setup foresaw. The report being commissioned by the Sloan Foundation from the NRC study group could possibly be the basis for an equally ambitious program funded by the Sloan Foundation for a WDML with the potential to change the practice of mathematical research as profoundly as the SDSS did in astronomy. But to get there, we must formulate a vision that, like the original SDSS proposal, imagines at least some of those impacts. The members of the NRC committee are extremely knowledgeable, and have been picked judiciously so as to span collectively a wide range of expertise and connections. As president of the IMU, I was asked to co-chair this committee, together with Clifford Lynch, of the Coalition for Networked Information; Peter Olver, chair of the IMU’s CEIC, is also a member of the committee. But each of us is at least a quarter century older than the originators of MathOverflow or the ArXiv when they started. We need you, internet-savvy, imaginative, social-networking, young mathematicians to help us formulate the vision that may inspire the creation of a truly revolutionary WDML!
Some history first. Several years ago, an international initiative was started to create a World Digital Mathematical Library. The website for this library, hosted by the IMU, is now mostly a “ghost” website — nothing has been posted there for the last seven years. [It does provide useful links, however, to many sites that continue to be updated, such as the European Mathematical Information Service, which in turn links to many interesting journals, books and other websites featuring electronically available mathematical publications. So it is still worth exploring …] Many of the efforts towards building (parts of) the WDML as originally envisaged have had to grapple with business interests, copyright agreements, search obstructions, metadata secrecy, … and many an enterprising, idealistic effort has been slowly ground down by this. We are still dealing with these frustrations — as witnessed by, e.g., the CostofKnowledge initiative. They are real, important issues, and will need to be addressed.
The charge of the NRC committee, however, is to NOT focus on issues of copyright or open-access or who bears the cost of publishing, but instead on what could/can be done with documents that are (or once they are) freely electronically accessible, apart from simply finding and downloading them. Earlier this year, I posted a question about one possible use on MathOverflow and then on MathForge, about the possibility to “enrich” a paper by annotations from readers, which other readers could wish to consult (or not). These posts elicited some very useful comments. But this was but one way in which a WDML could be more than just an opportunity to find and download papers. Surely there are many more, that you, bloggers and blog-readers, can imagine, suggest, sketch. This is an opportunity: can we — no, YOU! — formulate an ambitious setup that would capture the imagination of sufficiently many of us, that would be workable and that would really make a difference?
48 comments
Comments feed for this article
8 May, 2013 at 4:32 pm
Anonymous
Sounds like a great idea, but hasn’t something like this been tried and been pretty successful? It’s called the internet.
8 May, 2013 at 5:09 pm
Terence Tao
The internet has certainly been transformative, but there are still many tasks which should in principle be easy to do using the internet, but aren’t. A simple example is automatic bibliography management. When I write a paper, many of the references are to papers that at the time only exist in preprint form (e.g. on the arXiv). Ideally there should be a way to assign a standard identifier to such papers that can be used in citations in such a way that when the publication status of that paper changes, one’s bibliography can be automatically (or semi-automatically) updated to reflect this. As far as I am aware, such updating can only be done manually at present. This would not be such a great inconvenience were it not for the fact that it makes citation searches somewhat less useful than they could be (one might only be able to locate papers that cite the published version of an article, rather than a preprint of that article, for instance).
In a similar vein, a digital library could offer the ability to “subscribe” to a given paper or manuscript (using some standard identifier) and be notified whenever there are errata or other updates to that paper, citations, related work, and so forth. Some publishers offer some version of this service already but it is very spotty (in large part because there is no standard format for citations and other metadata that are uniform across all publishers). More ambitiously, one could imagine in the future a more semantic subscription service (“Notify me of all new research papers on universality for random matrices!”); one can do something like this with current internet tools but there is certainly potential for improvement here, and having a standard repository for all mathematical research papers (or at least the metadata for such papers) that can coordinate information from many sources (e.g. journals, MathSciNet, institutional libraries, the arXiv, etc.) could be very helpful in this regard.
8 May, 2013 at 5:25 pm
Jason Rute
I’ve seen something like this for author identification (http://orcid.org) (although I think Elsevier is behind it).
Also Google scholar offers a fairly good notification service similar to what you mention.
But I agree, much more could be done.
8 May, 2013 at 11:20 pm
meditationatae
There could be a role for the publisher in updating the status of a document. For one thing, the publisher has authority over what is actually published. One can imagine an online digital library with accounts for authors and publishers (or editors). They would be “subjects” as in “capable of doing actions”. The “objects” would then be the papers. I suppose publication status would be metadata for a paper or document. Errata would be perhaps a second kind of “object”: Research Article, Letter to the Editor, Book Review, Erratae, Expository Article, Book, … For a unique identifier, it could be based on permanent, unchanging data about the paper: author(s), title (maybe), and UTC time and date of creation of Version 1, perhaps.
8 May, 2013 at 4:34 pm
Jason Rute
So of the outside links are wrong, such as the Mathoverflow one. They link back to your site. [Fixed now, hopefully – T.]
8 May, 2013 at 4:35 pm
Jason Rute
Nevermind. They seem fixed now (or it was a problem on my end).
8 May, 2013 at 6:09 pm
Jason Rute
(I assume this post is an invitation to share our ideas in the comment section of your blog…)
The main idea I have is that we should continue to push the bounds of metadata. Here are some ideas (crazy and not).
(1) Comments and reviews. Comments on papers can be really helpful, especially if there are checks and balances like in mathoverflow to prevent bullying or spam. People can ask questions about a proof that doesn’t make sense or how paper x is related to paper y.
(2) Correction of metadata: Users may notice that “the system” confused paper x with paper y when they are different (or vice versa). Old data may be spelled wrong, or other typos. It would be good if users could correct those mistakes (again with a system to prevent spam).
(3) Erratums: I see no reason why a published paper should have a bad mistake in it and that shouldn’t be made known in a clear place. Ideally, the paper should be changed (even if it is a note at the front or the end saying there is a critical error in Theorem 4, it is corrected in paper y). Other options are erratum databases. Also it shouldn’t take the author or editor to point out a mistake. This is where comments and reviews are helpful.
(4) Annotations: Why write *about* theorem 4 when you can write *on* theorem 4.
(5) Auto translations of a paper: Something like Google translate, but a bit better with math terminology and that doesn’t mess up formulas.
(6) Online reading groups for a paper: People interested in paper X can form an online discussion group about it. (Similar to the discussion of the P – NP paper two summers ago on the polymath wiki.)
(7) Paper homepage: A homepage for each paper that contains links to all the relevant versions and metadata, even if is on another site or behind a paywall. (Similar to what the journals do for articles and what Amazon, Google, and Worldcat do for books.)
(8) Allow people to make lists of papers on a subject: Similar to Amazon book lists.
(9) Better connection with LaTeX. Making Biliographies is too hard.
(10) Integration with reference managers: Zotero, Papers, Mendeley, etc.
(11) And more…
Also, anything behind paywall is much less useful. MathSciNet has an RSS service, but it is of little use because of it is behind a firewall so it can’t be used by Google Reader or similar web RSS readers. (Note, Elsevier is criticized for making their data available to Google, but then hiding it behind a paywall. I on the other hand like this. At least I know it is there, even if I don’t have access to it.)
9 May, 2013 at 9:18 am
ccarminat
“(10) Integration with reference managers: Zotero, Papers, Mendeley, etc.”
[Slightly off topic] I am a newby of Zotero, and I just noticed that arxiv pdf files seem not to contain metadata (which are used by the software for a first level of indexing).
Probably the first (rough) step to obtain better integration with reference managers would be to reject pdf files lacking metadata ;)
9 May, 2013 at 1:12 pm
Jason Rute
I’m not sure what metadata you are referring to, but Zotero lets you extract metadata from the arxiv webpage. There is even a standard for this called COINS (or something like that). (I guess you have to be using a browser plugin for this to work. Firefox is best.)
Back on topic. It would be good for the metadata to be machine readable (like an api, or at least the open source COINS standard mentioned above).
10 May, 2013 at 12:31 am
ccarminat
“I’m not sure what metadata you are referring to, but Zotero lets you extract metadata from the arxiv webpage.”
You are right! Indeed, metadata can be retrieved by the browser, but they are not normally contained in the .pdf file (whence I tried to extract them).
Thanks!
8 May, 2013 at 7:42 pm
David Roberts
Here’s some things that don’t affect me per se, but will probably become important in coming years for certain subfields.
Machine-readable formats, such as standards like xml, mathml. Even pdfs from publishers who claim to use PDF/A standard are often not, and the fonts used are often some strange custom/in-house glyphs (I learned this from Peter Murray-Rust, who works in data-mining). A number of new journals (they seem to all be in life sciences) are web-native. For example, see this article from PeerJ:
https://peerj.com/articles/71/
and compare it to the ‘article of the future’ offerings that Elsevier offered (pseudo frame-based layout is incredibly 90s), and the even worse mess they make of trying to present mathematics articles in html/xml.
Some lobbying of the major browser manufacturers to fully support MathML wouldn’t go astray, but I don’t know if this is in-scope.
Imagine the sorts of ‘moonshine moments’ we could have if instead of relying on memory or word-of-mouth we could plug in some formula, and find it in a paper from a venue we would have never considered. I’m thinking Borwein-style experimental mathematics here, augmented by being able to search the literature for complicated mathematical expressions.
8 May, 2013 at 9:07 pm
tomcircle
For any human revolutionary idea the pioneer creator would certainly encounter fierce resistance. This is not new in the history of Mathematics, starting from the crisis of Irrational number by scarifying the life of Hippasus, the madness suffered by Cantor
on Infinite numbers from attack by his own professor Kroneckor…
However, a smart creator of idea knows how to circumvent the obstacles . Look at Steve Jobs with his digital music iTune revolution. He managed to bypass copyright issues, created a new music economy with a win-win solution for both music companies and consumers.
Digital books by Google “Project Gutenberg” to digitize all human books have made little progress because of the copyright issues. Larry Page should learn the lesson from Steve Jobs.
Will the World Digital Math Library (WDML) face the same resistance as “Project Gutenberg”?
9 May, 2013 at 12:10 am
meditationatae
With respect to unique identifiers for papers, I suggested including author names and the title of the paper. I think we need to go beyond ASCII, as Math Reviews does already. A name can be imagined as a string of glyphs. Unfortunately, there are several character sets containing the glyph “Latin Upper Case L”, i.e. “L”. I see that p-adic in article titles has an italic Lower Case Latin P. Ideally, with recognized standards (Unicode, LaTex), it should be feasible and easy to write a title as a string of “glyph names” uniquely.
9 May, 2013 at 3:01 am
ccarminat
I think that enabling comments and reports on published articles would be a great idea. It should be possible to rate reports, so to build a rating of users.
Two more ideas:
(1) index the articles also with the institution of the author: in this way institutions could use the WDML as a preprint server;
(2) provide statistical data about downloads.
About both these points, I think these could be “premium features” (i.e. behind some paywall). The access to the articles should stay free, and the costs of the servers could be (partially) paid selling some piece of information (which are the most downloaded articles, the rating of downloads, which are the articles published by researchers of a particular institution and so on).
9 May, 2013 at 3:44 am
A digital mathematical library for the whole world | regularize
[…] post is “Planning for the World Digital Mathematical Library” and, in a nutshell, Ingrid Daubechies present the plans of the IMU to build a new online […]
9 May, 2013 at 5:07 am
MMORPGames at the knowledge frontier | chorasimilarity
[…] could be initially hosted for almost nothing, we could ask for sponsors. We could join efforts with established international organisms which intend to pursue somehow similar projects. The more difficult part will be the tuning of interactions, so that the game starts to have more […]
9 May, 2013 at 5:40 am
Thursday Highlights | Pseudo-Polymath
[…] About the WDML. […]
9 May, 2013 at 5:42 am
Stones Cry Out - If they keep silent… » Things Heard: e257v3
[…] About the WDML. […]
9 May, 2013 at 7:19 am
Kevin O'Bryant
A big failing of the current system is that the quality of a paper is to expected to be reliably judged by the authors before submitting. For younger faculty, or those approaching a borderline or politicized promotion decision, or those in deteriorating health, many non-math factors can encroach.
There’s really no need to link an article permanently to a journal except for that journal’s reputation. I’m sure you can imagine, for example, promoting a paper from sigma to pi after some years, although it wasn’t clear initially how good the paper was. The Graham/Chung/Wilson paper on quasirandom groups, for example, initially seemed rather pedestrian, but in hindsight it contains the germ that grew in Gowers’ sun, and flowered further in the last 15 years.
Another related suggestion: I would like to be able to “vouch” for papers. I put a lot of work into reading papers (often clearly more than the official referee), and I would love to be able to record somewhere that I did so and found typos x,y,z, but the results are correct.
Another related suggestion: A growing body of math has computer verified proofs. We should be able to link these machine proofs to the article where the theorem has a human-readable proof. The two things complement each other, and are typically years separated in their creation.
9 May, 2013 at 7:21 am
Kevin O'Bryant
Also, it would be gratifying to know that someone else would vouch for the correctness of my work :)
9 May, 2013 at 10:39 am
Anonymous
The biggest hole in current theoretical physics is that it is limited to mathematics that does not allow for the calculation of fundamental physical constants. The problem is highlighted by the page of the Kavli Institute for Theoretical Physics at UCSB titled “What is the role of theory in science?”. It says, “What is actually meant in terms of the role of theory in science—and the KITP mission–is the “idea proven,” with the degree of confidence quantified.” Since fundamental math is “unproven” in respect to its use in calculating fundamental constants, in practice the concept is ignored by KITP and other institutions for “Theoretical Physics”. What is needed is an “Institute for Hypothetical Physics” ;-).
9 May, 2013 at 7:19 pm
Hippo
A few ideas:
1. An article browser with tabs, where one can just click on the references inside the documents, and that paper would automatically open up in a new tab, without having to go through additional verification. This could be done for multiple platforms, including ereaders (kindle, ipad, etc).
2. An automatic bibliography tool, integrated into the latex environment, that would give a short name to the articles (combination of title and authors, like google scholar’s bibtex citation tool does), and these could be referred to a command like \citewdml{article name}. Then latex could just fetch the newest versions from the WDML database, when making the bbl file, at each bibtex compilation, and there would be no need for a bib file.
10 May, 2013 at 10:43 am
meditationatae
I think citations are technically bracketed abreveations used within the document that point to items in the bibliography, at the end of an article, chapter or book. For articles that were published, but never as arXiv pre-prints, say articles from 1995 or before that, the full bibliographic data might not be available on arXiv ; if they became available at the WDML (or at least a bibliographic database with their bibliographic data), that might be useful. I’d like to be able to have a hyper-link from an entry for article B in the bibliography of article A to the homepage of article B. Sometimes, I find I had better consult article B before continuing my reading of article A.
9 May, 2013 at 9:13 pm
Tim Daly
The collision of Mathematics and Computers has had the effect of making
many algorithms available both commercially (Mathematica, Maple) and
as open source (Axiom, Sage). There is a huge gap between the NIST
Handbook of Mathematical Functions and the actual implementation of
those functions.
I believe that we need to show actual implementation details as almost
all practical applications will be electronic. However this is a complex
problem because there are many specific details that need to be explained,
such as instability.
Knuth suggested that “literate programs” would make it possible to have
human-to-human communication of algorithms while showing actual
executable code.
I would advocate strongly for an effort to provide literate programs which
explain and include implementations of Mathematical Functions.
Tim Daly
daly@axiom-developer.org
10 May, 2013 at 3:16 am
Daniel
Hi Terence and others
I think there needs to be at least a “mathbook” similar to facebook, so that authors can immediately upload their work , and somehow feel reassured that their work will not get stolen and that they can prove easily that their own work is their own work etc This is the major missing piece that I see and should be available before submitting to a journal. eg A person should be able to put paper A on mathbook within 5 minutes of a proposed miraculous discovery say, even if its right or wrong, and feel assured that it is all legal and bound to them. The closest thing to mathbook seems to be arxiv, but you can get hesitant there as you need a report number from an institution when submitting etc.
10 May, 2013 at 5:00 am
World Digital Mathematical Library | Peter Cameron's Blog
[…] tired of my carping. So it is nice to report something positive for a change. This is inspired by a guest post on Terry Tao’s blog, by Ingrid Daubechies, president of the International Mathematical […]
10 May, 2013 at 8:55 am
Thomas Schwabhäuser
I had similar thoughts when I was reading Hofstadter’s book Gödel, Escher, Bach a really long time ago. I started to dream of an integrated workspace for mathematical research on my computer which was my motivation to study mathematics later because I knew I was really far away from the theory that is needed to realise something like this. After more than 20 years I know my dream was not realistic but even without additional background in computer science I would also know that the technical conditions have changed, probably even more than most people’s mathematical knowledge could have changed in the same time.
The best approximation to my dream that I could find is Sage, http://www.sagemath.org/
It made at once clear that my dream’s original version to base the integrated workspace on the foundations of logic would not be practical. But my dream definitely included the option to define theories and analyse implications between them. Sage has the potential to become a central place for mathematical research and offers the option to exchange WDML contents for free without any loss that might be due to conversion between different standards or bad quality of printouts.
However, there are natural questions of security as I do not think that many researchers are in favour of storing all their draft worksheets on a central server that is not administered by themselves. On the other hand this question is insignificant because it is easy to prepare your worksheet on a local Sage server and only upload the final results to a central database. In order to really use a public central Sage server as “official” WDML we would like to find many papers there that have been published in the past. I think it is allowed to write down in your diary what you read in a Journal and likewise there should be no problems if you do this in your private worksheets on a central Sage server. However, I am not the right person to ask whether this allows for a Sage server to become an official WDML.
10 May, 2013 at 9:21 am
Bill
Many times you read a paper and you see: “by (11), (17), (18) and (23), we have…”. It would be great if you could click on (11) etc. and it would show the text around those formulae in another small window, so you don’t have to go back and forth.
14 May, 2013 at 2:56 am
Benoît Régent-Kloeckner
This is possible, and done by Compositio for references. See the TeX.SE question for more information: http://tex.stackexchange.com/questions/15356/
11 May, 2013 at 11:14 am
Igor Carron
Terry, Ingrid
On a more mundane note, OSTP is seeking an Outstanding “Open Science” Champion of Change. One can nominate organization, people, etc all this before May 14th.
http://www.whitehouse.gov/blog/2013/05/07/seeking-outstanding-open-science-champions-change
13 May, 2013 at 4:15 am
Manoj
I haven’t read all the other discussions, so apologies if I am repeating something someone has already said. My own idea is that a math paper is never really “done.” Instead it should be a living entity. I imagine a math paper put up on a wiki by the original author. Then different authors suggest edits to the paper, or add comments and reviews. The original poster still keeps “ownership” of the paper, and gets to decide which of the new edits to integrate into the paper. They can choose whether to share ownership with some user who wants to do an extensive rewrite.
When a new reader comes to the wiki to read the paper, and runs across a difficult paragraph, they can look at alternative explanations and comments local to that paragraph even if those have not been integrated into the text by the original author. If they like a particular alternative explanation, they can vote it up, so it shows at the top of the list of explanations. Reputation points can also be used as on reddit or mathoverflow.
14 May, 2013 at 7:12 am
test | badbitbad
[…] https://terrytao.wordpress.com/2013/05/08/planning-for-the-world-digital-mathematical-library/ […]
14 May, 2013 at 7:04 pm
Anonymous
From a strictly technical point of view I would love to see 3 major extensions:
1. A web-sever engine that does direct to web rendering from LaTeX, supporting as much of TeX/LaTeX as possible. Perhaps this can be tackled with a point size to pixel translation engine. WordPress is nice but LaTeX on the web can be so much more.
2. An overlay extension to LaTeX to allow for reader annotations, that is tied into the server engine so that you could toggle selected annotations on and off. This could be just an additional package; maybe it could work by \including{} the original document (to be annotated) in an annotations document — hmmm would that make recursive annotations Turing complete?
3. TeX/LaTeX rendering plugins available in every web browser.
Along a more meta-topic: in keeping with Marshall MacLuhan’s theory of communication the value of any web service is not in the content it provides, for that is the role of the users, but rather is in establishing and maintaining context for the users and their content. This is done through the explicit construction of symbols and actions used to create, navigate, and digest the information. When developers create web-applications they are actually creating a new, and often rich, grammars and syntaxes composed of both symbols and behaviours, whose re-combinations are governed by strict algorithms maintained on the servers. The most valuable web applications strike a balance between the expressiveness of their language constructs, and the ability to filter unwanted, or noisy communication. That is the web applications establish and maintain a context that the users find appropriate for the content being conveyed.
17 May, 2013 at 12:37 am
Benoît Régent-Kloeckner
I am not sure I understand what you are talking about, but maybe writeLaTeX would interest you: https://www.writelatex.com/
14 May, 2013 at 7:17 pm
aaronsheldon
Sorry that last anonymous was from me.
I have on more extension:
4. A personal LaTeX scratch pad connected with each document, that would function as fluidly as writing on notepad in hand, while reading an article.
14 May, 2013 at 7:29 pm
aaronsheldon
Sorry again,
Back to the meta-topic: one more point I would like to make is to contrast a math web application with, say, youtube. With a service like youtube the context is explicitly about communicating with others, often in a very superficial manner, hence the simplicity of the structure of the comment threads. In comparison a math web application would be as much about enhancing the internal dialogue we undergo when we interpret, comprehend, and verify the content, as it is about expressing information within the mathematics community. Thus for a math web application to be truly successful it must do more than enhance the conversation between mathematicians, it must enhance the conversations individual mathematicians have with themselves.
I apologize for the spammy nature of the comments, I should really write these ideas down somewhere more appropriate \joke{a bathroom stall, maybe?}
14 May, 2013 at 8:18 pm
aaronsheldon
David Roberts: Thank you that is exactly right. Why can’t we search by equations? That would be amazing! To index a library by the formula in it. Something like regular expressions for mathematical formula, with a nice comprehension of variable substitution/abstraction
24 May, 2013 at 10:38 am
Petr Sojka (@PetrSojka)
In the European Digital Mathematics Library you actually _can_ search by formulae: try https://eudml.org/search
Fulltext are math OCRed, formulae normalized and stored in MathML and indexed. The technology behind (MIaS, Math Indexer and Searcher, https://mir.fi.muni.cz/mias/) has been tested on arXiv papers with 3 billions of formulae indexed.
15 May, 2013 at 2:03 am
Liquidity Trap, Number Theory News, and WDML | Pink Iguana
[…] Ingrid Daubechies, What’s new, Planning for the World Digital Math Library, here. […]
15 May, 2013 at 11:50 am
chorasimilarity
I propose a game.
19 May, 2013 at 12:14 am
Anonymous
There is an open-sourced (GPLv3) PDF to HTML converter, pdf2htmlEX, which can display PURE HTML academic paper elegantly in web-browser without any plug-in. This might be useful for online publishing, since html is the nature language on the internet, and we can do more on html, like social-reading/comments/sharing/ect. The demos can be found on
http://coolwanglu.github.io/pdf2htmlEX/
https://github.com/coolwanglu/pdf2htmlEX/blob/master/README.md
20 May, 2013 at 6:44 am
Michael Trott
The comments show that a future digital mathematics library will have many different facets.
A small group of people at Wolfram|Alpha has over the last year worked on some exploratory aspect of a digital math library.
The goal was to make the main results of a sample set of papers from the continued fraction literature easily searchable and return concise results.
For more details, see our recent blog:
http://blog.wolframalpha.com/2013/05/16/computational-knowledge-of-continued-fractions/
24 May, 2013 at 11:35 am
Thierry Bouche
What about EuDML as a teaser to showcase few innovative things (accessibility, math search, bibtex export, reference matching — in fact most of what people are thinking about here, etc.) while delivering an actual service?
13 June, 2013 at 12:29 pm
Dr. Strangelove
There is a very basic requirement about such a World Digital Mathematics Library which is may however the hardest to fulfill:
The servers must not be located in the U.S. (or fellow U.K., or China, or Russia etc.).
Even more general: The service must be run as independent from influence and supervision of the big brother organizations like NSA as possible.
Else, we would face soon the situation that the essence of mathematical heritage is at the free disposal of a bureaucracy that will cut off the world from the core of research if they consider it useful for the “sake of homeland security” (which may be already the case if some cryptographic results are published which they think may harm their surveillance infrastructure).
Given their genuine interest in math research, they may even force the WDML to design interfaces which install spy software to every mathematician, just to be sure about all ongoing research. (Ok, maybe they just spy foreign mathematicians this way, and of course everything is under democratic control since the house and the court gave them carte blanche. And maybe the American Mathematical Society is happy about this because this could lead to even more NSA grants.)
Dear fellows, many of the ideas above about social network features etc. sound very nice and comfortable, but please dont’t forget about the reality:
This is a world where mathematical knowledge means power. Not for the mathematician who is merely the armourer who can easily be killed by a sword forged by himself, but for the big players out there who are able and willing to use power without any qualms. This is not science fiction, we know that they did it, they do it now and they will continue on large scale.
So don’t even think about creating such unique information pools of core science if you have no idea how to protect this. To my knowledge, this is beyond today’s technical options. But we should at least try. The first requirement would be to have the servers and development located at several mirrored places outside U.S.-U.K./China/Russia. Let us do the development and maintenance without any organization which has ties to agencies like NSA. Let us use mandatory encryption.
Unfortunately, it may quickly turn out that we have to do this without Sloane funds.
1 July, 2013 at 1:02 pm
The Alpha: Day 1 with Wolfram | riemannian hunger
[…] Perhaps we’re not as far from recognizing Terence Tao’s (and also Ingrid Daubechies’) vision of universal mathematical access. […]
29 September, 2013 at 12:51 pm
Joe Corneli
Although I’m late to this discussion I thought I should mention a recent related proposal I’m working on at Wikimedia: https://meta.wikimedia.org/wiki/Grants:IdeaLab/PlanetMath_Books_Project
Summary:
The purpose of this project is to make it easy to produce mathematical textbooks from pre-existing, freely available material.
PlanetMath is a free/open mathematics community that uses the same license as Wikipedia. It is best known for its encyclopedia, and cutting edge in-browser interaction and rendering of mathematics content. In recent years, PlanetMath’s software system has been entirely rebuilt, with a new focus on free/open problem sets, course outlines, and textbooks. We plan to reuse existing material from PlanetMath, Wikipedia, and math.stackexchange.com, along with other free/open and public domain sources, to expand our collection of mathematical learning materials. PlanetMath’s special-purpose software make it an ideal place to assemble content — and publish “downstream”, e.g. to Wikibooks. This kind of content exchange has a precedent in the earlier PlanetMath Exchange, which brought hundreds of articles from PlanetMath to Wikipedia. If we can do something similar with books, it will be a big step forward for Open Educational Resources, and the Wikimedia movement.
An IEG grant would support the technical work that will make this possible.
27 August, 2019 at 3:19 am
Mathematics Open Community Reviews
[…] https://terrytao.wordpress.com/2013/05/08/planning-for-the-world-digital-mathematical-library/ […]
10 May, 2022 at 8:54 am
Sékioz de Niafre
I recently remembered this in relation to OpenAI “Solving (Some) Formal Math Olympiad Problems !!” (K-10 level), particularly Problem 4 about Schur’s inequality, and “Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra”, particularly this: “In many cases, the identity was not highlighted as a relation between eigenvectors and eigenvalues, but was instead introduced in passing as a tool to establish some other application; also, the form of the identity and the notation used varied widely from appearance to appearance, making it difficult to search for occurrences of the identity by standard search engines.”
¿Could AI help to accomplish the WDML’s goals and prevent historical overlooks like that?