Nilay's posts

Post has attachment

Public

**Quick update**

It seems I've been quiet for a while. I've been keeping busy with various side projects, so I thought I'd just post a quick update on what's up. My friend Matei and I did a reading course on differential geometry and gauge theory with Prof. Peter Woit this...

Post has shared content

Public

**The network of mathematics**

Starting in the 1950s, Alexander Grothendieck revolutionized math by introducing many new concepts: schemes, stacks, motives, topoi and more. He wrote over 6000 pages! And then, after many quarrels with the mathematical establishment of France, he disappeared into the Pyrenees, where he now lives in seclusion.

The

**Stacks Project**is an open-source reference book with many authors which aims to explain a lot of the math Grothendieck and his collaborators created. It's currently 4000 pages long! You can download it as a single huge PDF file... but much better, you can read it on the web, and

*see how each result relies on previous ones!*

4 days ago, +Pieter Belmans made this a lot more fun. You can now see beautiful

*pictures*of this enormous network of mathematics! For example, the picture below is everything leading up to "result 01WC" which says that “a locally projective morphism is proper”.

I don't even know what this means... but never mind. What's cool is that you can go to a page with this picture:

http://stacks.math.columbia.edu/tag/01WC/graph/force

and however your mouse over any dot and see the different results leading up to this one!

Someday, if civilization doesn't collapse, all math will be linked up this way. There will be tools to help you explore it, starting with the easy stuff - and links to videos where people explain the ideas! There may even be online cafes where you can hang out and talk to other travelers who are visiting the same branch of math:

**"Well, I came here because I was learning about Coxeter groups and someone told me I had to learn about root systems of Lie algebras. I plan to spend a few days here and then go back - do you want come along?"**

But even right now, people are already using these networks to study

*statistical properties of the structure of mathematics!*For example, +Cathy O'Neil, aka "mathbabe", has gone through all 10,445 items in the Stacks Project. For each item, she looked at the graph like the one here. The nodes are the all the items on which the given item depends. The edges are the links between those items. Then she plotted the number of edges as a function of the number of nodes. You can see it here:

http://mathbabe.org/2013/07/31/analyzing-the-complexity-of-the-stacks-project-graphs/

What does it mean? Cathy has some ideas...

... but I think we're starting to see a new kind of metamathematics, where people use statistical methods to study the structure of mathematics itself. This is mathematics

*as actually done by people*, so it involves issues of taste and style. These are subjective things. But I suspect there are some features of math that are fairly independent of who is doing it. Maybe some theorems are 'important' in a fairly objective sense - important crossroads that most travelers tend to stop at. And someday we may understand why.

For more on the Stacks Project's new network visualization tools, read this blog article by Cathy O'Neil:

http://mathbabe.org/2013/07/30/the-stacks-project-gets-ever-awesomer-with-new-viz/

#networks

Post has attachment

Trey Ratcliff has some behind-the-scenes footage:

http://www.stuckincustoms.com/2013/06/14/google-internet-balloons/

http://www.stuckincustoms.com/2013/06/14/google-internet-balloons/

Post has attachment

Public

Speaking of the twin primes problem, Terence Tao has formally proposed understanding and improving on Zhang's proof as a polymath project: http://polymathprojects.org/2013/06/04/polymath-proposal-bounded-gaps-between-primes/

And in terms of revision history, Scott Morrison has started an associated GitHub project: https://github.com/semorrison/polymath8

It'll be exciting to see where this goes!

And in terms of revision history, Scott Morrison has started an associated GitHub project: https://github.com/semorrison/polymath8

It'll be exciting to see where this goes!

Post has attachment

My two cents on collaborative online research: http://wherenothinggathers.blogspot.com/2013/06/collaborative-online-research.html

Public

“Should you just be an algebraist or a geometer?” is like saying “Would you rather be deaf or blind?” ~ M. Atiyah

Post has attachment

Public

Anybody got jumper cables? Bringing back the blog...

Post has attachment

Public

Post has shared content

Public

Lollerplex

This is one of the most colorful bug reports I've ever read.

"Steps to reproduce:

Step 1. Use Mongo as WEB SCALE DOCUMENT STORE OF CHOICE LOL"

"Steps to reproduce:

Step 1. Use Mongo as WEB SCALE DOCUMENT STORE OF CHOICE LOL"

Post has shared content

Public

I wanna be an architect.

Luxus Ferienhaus in Südafrika beeindruckt mit umwerfendem Ozeanblick

http://wp.me/p2rzjm-j2C

http://wp.me/p2rzjm-j2C

Wait while more posts are being loaded