emileokada

7 ms·

1.
by emileokada 8y ago
If I recall correctly, they are now also only allowed to be placed where road accidents have happened before.
2.
by emileokada 8y ago
I thought this mathoverflow post might be of interest to those who mentioned automated theorem proving in discussions on the recent post on the ABC conjecture ( https://news.ycombinator.com/item?id=18034714 ).
3.
Which mathematical definitions should be formalised in Lean?(mathoverflow.net)
15 points by emileokada 8y ago|1 comments
4.
by emileokada 8y ago
I believe the article explicitly steers away from this because nearly all the discourse on this proof has been precisely about this (c.f. remark Scholze that 'The whole discussion surrounding the proof had gotten “too sociological,”&#x
5.
by emileokada 8y ago
A lot of proofs at masters level and beyond omit a lot of details because they can easily be checked, but would be tedious to write out explicitly. This means that a 1 page proof would probably actually correspond to 2-3 pages (or more!) if
6.
by emileokada 8y ago
Not convinced this is as junk as you claim it to be. From the abstract: > While our model was solely trained with natural images, our method successfully generalized the reconstruction to artificial shapes, indicating that our model inde
7.
by emileokada 8y ago
It's quite staggering how many people have posted on this thread without reading the article. Nearly all the objections people have raised are directly addressed in the post. For those who still object to the argument, would you object
8.
by emileokada 8y ago
This is not true if you say division by 0 is undefined or +inf either. It really is totally fine.
9.
by emileokada 8y ago
> However, it is definitely possible to define some operation such that 1 `op` 0 := 0, just not the inverse operation of multiplication. If you read the post this is actually exactly what the OP is saying.
10.
by emileokada 9y ago
I'm not sure what you're getting at. Classically we expect that given the same initial conditions, the outcome of a fluids experiment should always be the same. If an equation meant to describe fluid flows doesn't have this p
11.
by emileokada 9y ago
No. They've shown non-uniqueness of solutions of a strictly weaker problem. They have yet to say anything about the actual Navier-Stokes problem.
12.
Manchester City’s plan for global domination(theguardian.com)
2 points by emileokada 9y ago|0 comments