 |
Posts by [email protected] |
 |
Post #Alw2DDsvLPW5I1rMPo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I'm sure ice-nine will get us first. |
|
|
|
Post #AmL5j8nAyI5vZm53FQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @MartinEscardo is it an instance or...? |
|
|
|
Post #AmL8FYQpNabGGqD8pk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @MartinEscardo oh yeah. |
|
|
|
Post #AmMmSXtasGkthINLOK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I have a question with probaly no good answer: let's preten… |
|
|
|
Post #AmMmuct5uLpNHuX1pA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @andrejbauer ah nice, I was wondering whether that theorem (we … |
|
|
|
Post #AmMwNFwtAisI8727nc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez is there a way to formalize this intuition, e.g. proving Kolmog… |
|
|
|
Post #AmOygQhpzP2zDfBQiO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @johncarlosbaez uh oh, now I'm confused: time reversibility no… |
|
|
|
Post #AmOygQr3R8Q5gFUn56 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @johncarlosbaez oh wait a moments thought tells me that *is* true:… |
|
|
|
Post #AmP2mQUu4rt47uFSvQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @andrejbauer I need a diffeq refresher I think.I always liked t… |
|
|
|
Post #An2URcpBQRQ49t2b4q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @jer_gib @MartinEscardo or *shudder* semi-group |
|
|
|
Post #An2vUCWAO4I4CVbB2G by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @jer_gib @MartinEscardo semi interesting then! |
|
|
|
Post #An4TFcN7ZTW7dqXsno by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @jer_gib can you bequeath your vast fortune to whomever changes… |
|
|
|
Post #An4XaC1b7kcxpEXp8C by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez certainly easier to explain to the general public than the Hodg… |
|
|
|
Post #An6RDVv2mSORSPCY4G by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @BartoszMilewski @dpiponi like dinosaur bones! |
|
|
|
Post #AnYkUWKRqgqxCpmj5c by [email protected] |
|
0 likes, 1 repeats |
|
|
|
Ok, folks, let's get the real answers: why the heck is everyone not writing… |
|
|
|
Post #AnYkUWcsk9bA80PRp2 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@typeswitch One could imagine a sane syntax, e.g. a Java style```var x = new Un… |
|
|
|
Post #Ay0FJoGIyBFTxxfjV2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Does anyone know how to prove false if parameters in inductives are allowed to … |
|
|
|
Post #Ay7ya4VaBoNr1xfMRM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@vitaut rarely do I force a push and a merge at the same time |
|
|
|
Post #AyGvHEBNRj2y5nB3iq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Dumb topos theory question: is satisfying the completeness theorem for a given … |
|
|
|
Post #AyGvHJjanwO3JMDxFQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @maxsnew yes exactly this, though you'd probably need an NNO t… |
