 |
Post AR9Dxacd3CS6K4p3YG by [email protected] |
 |
More posts by [email protected] |
|
Post #AR8uQzq2mgSG7VY5C4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The mathematician Doron Zeilberger keeps a public list of his opinions. Here… |
|
|
|
Post #AR92AsRWuAjJuNCUTo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez It doesn't seem like the central point of the piece, but th… |
|
|
|
Post #AR9Ci4R6KpaeCaSzLM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez it is strange to claim that Four-Color is an open problem. Does… |
|
|
|
Post #AR9CzCJ0KW8RX0qWAK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ramunas @johncarlosbaez I too was perplexed. I am aware of such objections gen… |
|
|
|
Post #AR9CzCOfzQfjobV30S by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bertwells @ramunas - Doron Zeilberger is famous for his love of computer-aided… |
|
|
|
Post #AR9DHLesIN5JkcjMwa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mudri - The arxiv does a lot of work to either get rid of crackpot stuff or mo… |
|
|
|
Post #AR9Dxacd3CS6K4p3YG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez in his "opinion" right before this he says he doesn&#… |
|
|
|
Post #AR9DxahakkQEZT91Hs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@asmeurer - Zeilberger thinks computers are being wasted reproving things that … |
|
|
|
Post #AR9EZY1p8riXHbhu08 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez wow, this sounds rather damning -> “Write it in a crystal-… |
|
|
|
Post #AR9EZY78p5yFY6C9I0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@TonyVladusich - The paper is sloppily written, with confusing comments and typ… |
|
|
|
Post #AR9F9UXlZl6gtrms76 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez he'd rather waste human time than computer time? How much h… |
|
|
|
Post #AR9FGyZaKGGK3sCsMq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@asmeurer - I would't dare guess what Doron Zeilberger thinks about your fi… |
|
|
|
Post #AR9HsM7XwFDxiU2lqS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @bertwells @ramunas indeed, see also Opinion 51! https://sites.… |
|
|
|
Post #AR9IyWvelaK4vfzSfQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @asmeurer in Opinion 184, I think he misses that the ultimate g… |
|
|
|
Post #ARAEna9UEn7356wXx2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@noamzoam @johncarlosbaez Proof assistants are being used to verify long compli… |
|
|
|
Post #ARAEnabqXLnWV4DC9g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@noamzoam @johncarlosbaez Yet theorems may end up being of use in the future, b… |
|
|
|
Post #ARAEnb72fMke3oo6mO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@noamzoam @johncarlosbaez Some proof assistants originated from trying to verif… |
|
|
|
Post #ARAEnc4b5wOF2Wffbk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Ianagol @noamzoam @johncarlosbaez I'm genuinely somewhat worried about thi… |
|
|
|
Post #ARAEncAcjXD7LDUU08 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@hallasurvivor @Ianagol @noamzoam - I don't know if finite group theory is … |
|
|
|
Post #ARAFw7Xo4NvUusxDU0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Ianagol @noamzoam @johncarlosbaez The question is if there's anything wron… |
|
|
|
Post #ARAFw7dTjISnCTbkK8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jaklt "The question is if there's anything wrong with having a statem… |
|
|
|
Post #ARAFw7tQlzDvzx4UBk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Ianagol @noamzoam @johncarlosbaez I do not like the idea that a proof is forma… |
|
|
|
Post #ARAG48nFJGaL6h0436 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jaklt @Ianagol @noamzoam - I haven't heard anyone claim that if a proof of… |
|
|
|
Post #ARARBZE6Wro2bwJ4Ge by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Luke was reading over my shoulder and asked about the four-colo… |
|
|
|
Post #ARATnVyhFsfTRrK2nA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@CelesteBancos - nice! It does get tricky. I forget how far you may have to … |
|
|
|
Post #ARAapp7XklyX4oVZhY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Yes, when he got frustrated I explained that it's a tricky problem that lot… |
|
|
|
Post #ARAjEVDPhI4QDLX5iS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @Ianagol @noamzoam When I was an undergrad I briefly wanted to … |
|
|
|
Post #ARAjEVINOq2YSjr3S4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@hallasurvivor - clever career move. 🙃 |
|
|
|
Post #ARAjfb1SDMjM2krGJk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @Ianagol @noamzoam As for Burnside's theorem? Yes, but mayb… |
|
|
|
Post #ARAjfb63wEPuH30wV6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@hallasurvivor - actually I was trying to remember the Feit-Thompson's odd … |
|
|
|
Post #AREMlplQnXJ7BhCzmy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @CelesteBancos Apparently it's quadratic, surprisingly. htt… |
