it's available to scihub

vorite quote "You can often view glimpses of ingeniousness... not as inexplicable miracles, but as the residue of experience." Did he pen that one or borrow it from someone else?

Although I can't say it hasn't been said before, that's a common theme in his videos.

The same thing is a huge problem in OpenStreetMaps for me .

OpenStreetMap is just a data project. It sounds like you are using a third party application (often by a commercial provider) which uses OSM data?

Or you might be using the osm.org website which itself uses 3rd party search applications.

The search on the project website is designed to find data and is not designed to be a competitor for google maps.

I disagree with this. Often what is gained from a proof is not the fact that a proof is known, but more insights about the original problem. So, a small technical error may "invalidate" a proof but it does not make it meaningless. Just like a bug in software does not make it worthless.

>Most of the other non-polynomial functions have an equivalent Taylor polynomial

_analytic_ functions have a Taylor _series_, but it would be incorrect to say that "most" functions have a taylor series, and a taylor series is not a polynomial.

Matrix attempts to be a solution to this

would recommend William Basinski - The Distintegration loops in this regard

or maybe the Tape-beatles http://www.ubu.com/sound/tape_beatles.html

For further reading, LSD: My problem child by Albert Hofmann is also interesting