2026-07-25T22:02:48Z https://njump.me ⏚ Antoine Chambert-Loir https://njump.me/npub1j7kvjvr8hkvwzvs889v2ycwpvh0n7qns5ha84xzh2r36zrakk4wsc6a4dl https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg https://njump.me/nevent1qqszrcvtll0grk9sp5kpr2lfesve9skc56rgcm4vp6j460p0he892vgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66467h59yz In reply to <a href='/nevent1qqsvsxjjs8t8v28k64vgmed0x3umtvf7wsvjg4hf9tdteg69l9nf5hsq0z6er'>nevent1q…z6er</a><br/>_________________________<br/><br/>Bonjour, je suis très tenté : est-ce que c&#39;est une balade difficile lorsqu&#39;on n&#39;a aucun entraînement ? 2026-05-10T13:15:35Z https://njump.me/nevent1qqswtd388ku2djes0v9nmt5pp9h3paxtvwjaqnyhdg9gldca2zr4hcszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646p50e3u In reply to <a href='/nevent1qqswdsvxkj0kypulcwefmps0k9gvkus3jrggzrsszfjs4sjc7f4pkjq23lggt'>nevent1q…lggt</a><br/>_________________________<br/><br/>I know that this is not the trend, but I have never been willing to propose PhD topics that would be at the level of the average thing somebody can do with the tools that are on the market, because this already requires a substantial time of the PhD project and in was already clear — at least in my field — that this would wouldn&#39;t be sufficient to get hired. So I manage to suggest questions that could be damn hard, but for which several approaches are likely to tell something at least mildly interesting, and let&#39;s see what comes out of it. 2026-05-09T11:26:27Z https://njump.me/nevent1qqsymm8vwhtyq3p6ahfx27n2tzjqe8j42ezmx8wcwfq0zc0ulju6glczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646lxzlv9 In reply to <a href='/nevent1qqs83zj6akwue5ez5adsvvs8j7xylw3awsu78smvtujssvzxttq7mncf08d6r'>nevent1q…8d6r</a><br/>_________________________<br/><br/>👏 L&#39;avertissement dit la chose suivante :<br/>Il y a 1 + n fichiers de configuration de polices, l&#39;un pour le système, et les autres pour les utilisateur·ices qui l&#39;ont réclamé via `updamap-user`. Si d&#39;aventure tu ajoutais une police pour tout le monde via `updmap-sys…`, il faudrait que tu fasses le même ajout pour toi-même via `updmap-user…` parce que ton fichier ne serait pas mis à jour par la commande `updmap-sys`. 2026-05-05T13:44:10Z https://njump.me/nevent1qqs2c3yh2h4yqy3y37r2rujfksmpzpkgwt8wcl2sye629h4khp9lx0czyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646k80gmt In reply to <a href='/nevent1qqst3ya9hx36wxpz4dkfwudlgl7zmpq8pszcajw8przv4t7kl25h68gl69sdl'>nevent1q…9sdl</a><br/>_________________________<br/><br/>On dirait qu&#39;il manque l&#39;étape `updmap`, la moins drôle.<br/>Donc, en ligne de commande, entrer :<br/>updmap-user --enable Map=emerald.map<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1hnleuuc55hs3c3wsv2cew79t5z9znaet3qdrzyx0cnaxxgq9qq3s7ak2tt" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Elzen</span> (<span class="italic">npub1hnl…k2tt</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12u6klax667ph7mvxphtaz95rvmarhym8pxvz9rx0ntszwf7vnggswxq3pu" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Mindiell</span> (<span class="italic">npub12u6…q3pu</span>)</a></span> 2026-05-05T12:54:53Z https://njump.me/nevent1qqs0xx30zdz3twtz8vud4mppeq57zhz0lwgldl945l5h2mgwqq5500czyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646r5v8r0 In reply to <a href='/nevent1qqsvsgtt3yftk6rcfh3pmjyff3ktsf32kwtqmua2z9ltrff4cndlu2g5lq6a9'>nevent1q…q6a9</a><br/>_________________________<br/><br/>(Je suis tombé dans TeX quand j&#39;étais petit. Ce README est assez pourri.)<br/><br/>Pour savoir où créer le répertoire texmf, tu peux entrer (en ligne de commande) :<br/>kpsewhich -var-value=TEXMFHOME<br/>et créer le répertoire en question s&#39;il n&#39;existe pas déjà. (Probablement $HOME/texmf) 2026-05-05T10:38:38Z https://njump.me/nevent1qqs28p0w6h93cwjvzuhfgt32y5z87j2c4zps09tjatvdndrquheynqgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k664673c9hg In reply to <a href='/nevent1qqs2u30gaf058309hm6kt7wwx4vh6e3z9sy5u5hkkfdg75e9uh5k9usfk0dsu'>nevent1q…0dsu</a><br/>_________________________<br/><br/>L&#39;installation est un peu casse-pieds.<br/>Sur <a href="https://ctan.org/pkg/emerald">https://ctan.org/pkg/emerald</a> tu peux télécharger un .zip, là, il faut le décompresser et — malheureusement — faire ce qui est indiqué dans le fichier README (qu&#39;il faut lire, c&#39;est pas comme dans Alice au pays des merveilles).<br/><br/>En particulier, les répertoires emerald/fonts et emerald/tex doivent être copiés dans le répertoire TeX soit standard, soit local ($HOME/texmf), et ensuite il faut lancer la commande `mktexlsr` pour en informer le compilateur TeX. (Je voudrais bien te donner la ligne de commande pour faire ça sans effort, mais je ne le puis,<br/>l&#39;idée c&#39;est que emerald/tex/latex/emerald/* est copié dans texmf/tex/latex/emerald, et c&#39;est encore plus pénible pour emerald/fonts.) Tu peux faire de même avec emerald/doc <br/>Il y a enfin le répertoire emerald/other qui contient les polices au format TrueType et je ne sais pas comment elles sont gérées sur Debian. 2026-05-05T10:20:12Z https://njump.me/nevent1qqsqmwps2gmpgf2ezc0kzddns48pjla305lquear9qdf6494elg9x5czyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66468wcj0z In reply to <a href='/nevent1qqswqzl8xdc7dpfnq84xs9xus3s9scvwd7uczr34jqd02c9hn228lscm5qar2'>nevent1q…qar2</a><br/>_________________________<br/><br/>I&#39;m no economist but my answer to those questions is twofold:<br/><br/>* What sense does it make to compare two quantities that are not meant to be compared? Why 100% as a reference? Why not 140% ? What if other productions of values are added to GDP?<br/><br/>* Do you have an idea of the private debt ratio to GDP? 2026-05-02T17:49:53Z https://njump.me/nevent1qqs9phgwgcvtt7nw9j4fqnzc4c920yk23vvund4v7gf8cytajls6jmqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646t8g5nm In reply to <a href='/nevent1qqsyctxl3u4xapz9lrpemqvj6kmu7q67nlzwmj5e6zw5xkd4dlm47qqfs3ea2'>nevent1q…3ea2</a><br/>_________________________<br/><br/>there&#39;s a slight (probably more philosophical than mathematical, at least now) difference between sets and groups, that the former were invented (as a formal theory) to furnish foundations for mathematics, at a time when it was inconceivable that not everything could be proved. “Wir wollen wissen, wir werden wissen!” In netherlands, mathematics is Wiskunde, the science of knowledge. 2026-04-26T16:45:16Z https://njump.me/nevent1qqspu6alphslnusc8hezdumyzl4ejr4yhvvrx88r7m5456c09vp0r7czyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646qrg0dh In reply to <a href='/nevent1qqsdvpuc47dvgfzkum5w8gnv5snsq25gwq7ph74xupjs36rz6k4070sjflqu7'>nevent1q…lqu7</a><br/>_________________________<br/><br/>la 14? 2026-04-20T15:53:14Z https://njump.me/nevent1qqs8hjx239v8hjywg8vmhzkh3yl7rylcaakjpyyzzru02k07m867cfqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646xd5hrl In reply to <a href='/nevent1qqsp5tl72qquuy5hntxam0ngcl8ph88r3920wdxh74x66df6m8jua5g8x57nr'>nevent1q…57nr</a><br/>_________________________<br/><br/>so what discourse would you recommend? 2026-03-01T17:27:54Z https://njump.me/nevent1qqsw62y03v4zsregx6dhp3pkz7m02dy0jqnw0v9tr9dlsxsmaezckxczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646ewqjdm In reply to <a href='/nevent1qqs2uutw3dv7lmm26h3sll84e3pagr7n2ddnufcl8ddjygetnx2ktrqgu8p3g'>nevent1q…8p3g</a><br/>_________________________<br/><br/>As said in the nlab page given above, continuous logic is a logic where “truth values” take values in the unit interval (or a bounded interval, or even R) . This doesn&#39;t mean at all that 1 would be absolutely true and 0 absolutely false, and all other values somewhere inbetween. In model theory, what truth values allow to do is building predicates, ie, loci where given properties hold. The classical quantifiers are replaced by supremum and infimum (or variants of). In classical logic, type spaces are totally discontinuous; continuous logic gives type spaces which have a richer topological structure and is pretty much adapted to a model theoretic approach to topological group actions, real-valued fields, and even some aspects of diophantine geometry. The main subtlety in the definitions comes from the (achieved) goal of having a compactness theorem. 2026-02-21T19:12:55Z https://njump.me/nevent1qqs23jpjvnxpw9z5vxntczfrfqpjvsgx364h8ugv8ur492h55hreq4czyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66462q2625 In reply to <a href='/nevent1qqs9882r6lje57cym07nsfcsfk5jne44uty2x8jwtykmur2hakw3wfsdjfvms'>nevent1q…fvms</a><br/>_________________________<br/><br/>I had liked it, but that was some 30 years ago. 2026-02-01T23:08:28Z https://njump.me/nevent1qqstud2q7lzunl6rlchh0e53777pxfds3tn2nrpj9xajffng7980lsgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66469ans99 In reply to <a href='/nevent1qqsgfx4ae4pzmcy2heck06zrnsuluw2ver6znfu99s7mgzfjv8rp8gs5gt5ms'>nevent1q…t5ms</a><br/>_________________________<br/><br/>I guess you have read David Lodge&#39;s book with that title! 2026-02-01T22:19:43Z https://njump.me/nevent1qqsf60fv9fs756ljg2ru9ppx9k2rvnlz5dteuyame87lsymtuswe3jgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646fq78uu #ICM2026 <br/>The Société mathématique de France won&#39;t attend the 2026 ICM.<br/><br/>Their message mentions visas, personal safety, martial law, as well as anti-science behaviour and academic freedom.<br/><br/><a href="https://smf.emath.fr/actualites-smf/icm-2026-motion-du-ca">https://smf.emath.fr/actualites-smf/icm-2026-motion-du-ca</a> 2026-01-26T10:37:24Z https://njump.me/nevent1qqsz0xh3wx4yza5s9l53gp8e4d4ezkff8rxjh0qdvgh3v436gwfnpuqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646mt0496 In reply to <a href='/nevent1qqsghcluydf3yzh24msgfuhk4qneg8ur708sd7hd4ghnq75j7gg83mg8dr85e'>nevent1q…r85e</a><br/>_________________________<br/><br/>What you wrote is better than what she said, and lacks the contempt: if you&#39;re versed in that math, you recognize the stuff, if you don&#39;t, maybe you get an idea, and if you don&#39;t, the maybe you leave happy with the impression that somebody tried to explain something to you. <br/> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1vqhtrp6yguhv99vr5gljuucga485rkxjr07rensxjg74rwyrc4lq0qd49x" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Frank Quednau</span> (<span class="italic">npub1vqh…d49x</span>)</a></span> 2025-10-25T15:13:57Z https://njump.me/nevent1qqs8vhv7mswdvzyjnzfce4hlh5v7mkj2mezcfgj7yucvffveh6ltl5qzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646nfu6j0 Philosophy and mathematics: one upcoming conference and one upcoming seminar:<br/><br/>Lead by <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1tuzwvgqsjny5ta0ddafz9gqn36w36p4gj2jqwvldrzlyzd6gj3tqhq3hxk" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Timothy Gowers</span> (<span class="italic">npub1tuz…3hxk</span>)</a></span> , Philosophie de la pratique mathématique, at Collège de France, will run every Monday, 14:00-15:00 from Oct 13 to Nov. 17.<br/><br/><a href="https://www.college-de-france.fr/fr/agenda/seminaire/la-philosophie-de-la-pratique-des-mathematiques-10">https://www.college-de-france.fr/fr/agenda/seminaire/la-philosophie-de-la-pratique-des-mathematiques-10</a><br/><br/>and Oct 15-17, the joint 2nd Conference of the European Society for the Philosophy of Mathematics &amp; Seventeenth French Philosophy of Mathematics Workshop will take place in Université Paris Cité and Université Panthéon Sorbonne.<br/><br/><a href="https://philmath.eu/2025conference/">https://philmath.eu/2025conference/</a><br/><br/>#mathematics #philosophy 2025-10-04T16:19:15Z https://njump.me/nevent1qqsr93hjya9h6w4f7pzvr67yvtrgp6je2r2hes0l2kg389e6prp47wqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646ymgddr In reply to <a href='/nevent1qqsyyrw97w833qdlyskrxg8j9yuqln4jpm6nk50mtc2z4a7wnvmqtrcfy0nct'>nevent1q…0nct</a><br/>_________________________<br/><br/>PhD level ain&#39;t what it used to be. 2025-08-12T13:44:08Z https://njump.me/nevent1qqsq3tywdmuw8s83dfm5cpandzfkks6r7ynqjc6ydyxacq7kekczr7gzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646yg2cmd In reply to <a href='/nevent1qqszppq22dv67e08769sfyleehptn4sswak82a3cxqg22hsax06yqxqje9wex'>nevent1q…9wex</a><br/>_________________________<br/><br/>it&#39;s actually easier than one might think since the complement of the circle has two connected components. So provided you know your blue curve is connected, you just need to know it doesn&#39;t touch the circle and contains one point within the disc. 2025-08-09T17:01:01Z https://njump.me/nevent1qqsf3ertuu2507w8u60vpmqz923yvcyxfmzpzd6d72mryh68pav7v8gzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646pkc66t In reply to <a href='/nevent1qqs8yv478323e9g4sdmqcl7mjezx6ye6pl2lpcuqvyum03682aarh5g54u6jg'>nevent1q…u6jg</a><br/>_________________________<br/><br/>Fran Lebowitz, *The FL reader*<br/>Michel Faber, *Listen* 2025-08-02T18:57:31Z https://njump.me/nevent1qqsdz6e209m4f6efzcnyf6vhfs7mxtqrnsl6ltacu6nxumefscjp66gzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646cg7h5n In reply to <a href='/nevent1qqs0snsp3eahvyw4dnlxcsmw2023uzwhsljgfmnfmxarwaet7k2suuqhsahjp'>nevent1q…ahjp</a><br/>_________________________<br/><br/>All apologies<br/><br/><a href="https://www.youtube.com/watch?v=SEVu1tcUGnc">https://www.youtube.com/watch?v=SEVu1tcUGnc</a> 2025-07-26T15:32:39Z https://njump.me/nevent1qqspcqm3g90u9f9gs388ejya6f0cqawnpzmtrhzr366xzzwuhfj9djczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646lk9ztg In reply to <a href='/nevent1qqswfkel9jla2k7p8vna74rew6dmw52leqrf5jq29w75cjfthg3un8skv5spq'>nevent1q…5spq</a><br/>_________________________<br/><br/>I&#39;m shamefully ignorant of those things, but what is is isometry group of S_8, as a Riemannian manifold? Or maybe you&#39;re ready to relax the kind of diffeomorphisms that act on it? 2025-07-25T03:45:07Z https://njump.me/nevent1qqsqhjs0atsn27kkjjussdpps52jytkn478mrzf4fjcgus6cr5vh5lczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646053me8 #mastobada<br/><br/>Billie Holiday and Lester Young — I can&#39;t get started<br/><br/>I&#39;ve been around the world in a plane<br/>Settled revolutions in Spain<br/>The North Pole I have charted<br/>But can&#39;t get started with you<br/>And at the golf course I&#39;m under par<br/>Metro-Goldwyn wants me to star<br/>I&#39;ve got a house and a show place<br/>But can&#39;t get no place with you<br/><br/>You&#39;re so supreme<br/>The lyrics I write of you<br/>Dream, dream, day and night of you<br/>Scheme just for the sight of you<br/>Baby but what good does it do?<br/><br/><a href="https://youtu.be/ZGAvnOSbJ_M">https://youtu.be/ZGAvnOSbJ_M</a> 2025-07-14T13:36:10Z https://njump.me/nevent1qqswjetlq9fsjq0tjsdexhkrzvn4p32f2w83h83tw4gd9r099mqxqeqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646nl9sxe In reply to <a href='/nevent1qqsruyu664f969vq08wyxa3vlnrec29kk59fymmmrrj8acx76scap0cg5lwwq'>nevent1q…lwwq</a><br/>_________________________<br/><br/>L&#39;hortensia toujours<br/>taillé trop tard, négligé,<br/>fleurit sans rancune. 2025-06-01T08:18:25Z https://njump.me/nevent1qqs85gd88hl8c5r0q20rn2cts2r7e8l3gwv9a0n467kpsjh88x4hupgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646eynjet In reply to <a href='/nevent1qqsd3hp3snahj7gyuyy2fcpmgclhp2h3dvpvv2sfpd2tykfh4p9cjmgwpgqpd'>nevent1q…gqpd</a><br/>_________________________<br/><br/>This book brings many details, anecdotes, on a rich topic, and that gives it some appeal. However, I am extremely doubtful of the mere project to summarize 3000 years of mathematics in one book, the more if it means conflating so many diverse mathematical traditions into one word (analysis). I skimmed through the Leibniz part, and I don&#39;t see a clear discussion of what infinitesimals meant to him (a useful fiction, did he wrote), but my reading may have been too hazy. As usual, the question with history is whether we want it to validate our own practices, to color them with the gilded dust of ages, or whether we are truly interested in what people did, why and how they did it. 2025-04-23T21:36:00Z https://njump.me/nevent1qqs9fnpnseq9zuumwfpma0qz8q9wemm9tu8qqm5y03en3cm7h4kndnczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66462krqh2 In reply to <a href='/nevent1qqsf4twhxj3jwjnxq7y9svmny9jxmsqe2zkwcx0sjpl8hver4pn9qqgqpyll2'>nevent1q…yll2</a><br/>_________________________<br/><br/>OK, so one takes the part where the probability density is above some threshold, and that is the shape? 2025-04-08T17:53:50Z https://njump.me/nevent1qqstmxqqsxn8f2ap04p6c5wh29gkea7saqa8nwq4t382gs6zsqrerlczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646eydjn4 In reply to <a href='/nevent1qqszctxufxngasx0tc6f8un0yujx534wrq6dmxx2qn8kn66che9gsusy4403g'>nevent1q…403g</a><br/>_________________________<br/><br/>My question is half a joke, half serious.<br/>I have been taught that there are such a thing as protons with electrons that turn around them as the Earth turns around the sun, and then that none of this exists, that everything is a wave function, and then that everything is rather a representation of SU(2). So I don&#39;t really understand anymore what physics is talking about. 2025-04-08T17:34:05Z https://njump.me/nevent1qqst9z3a8nmnjv6gj5fty4rpmhy6ytqlay3kcgm46jmlqh7ljw2uneczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646ykdhrs In reply to <a href='/nevent1qqs84hvkjf65he6e5wdn5htwztxw9ac7ayt5hd8rz75gumyvtltlskgpptwun'>nevent1q…twun</a><br/>_________________________<br/><br/>What is the shape of a wave function? 2025-04-08T17:05:27Z https://njump.me/nevent1qqs9azkaen55haq884pyrzy2dtjuw79gjmg247kyskpp3k22xzu6vkszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646a38kw7 In reply to <a href='/nevent1qqsxtareeht7ymyx9cfwe4thdsj5te7w0d0w7xff3ejvyx2wxpz696qtcul3g'>nevent1q…ul3g</a><br/>_________________________<br/><br/>Onyx Boox Note 2 2025-01-31T20:49:11Z https://njump.me/nevent1qqsryn9edjs6thh4ckha23ahjpf5vzwf0p9uv2c0gw0suzs24sefpqszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646ufsddc In reply to <a href='/nevent1qqsvnquypl8w45jxx5ymyt39zh4dypfg62qq9ver2q56ftk6jnnl3sge9xvrd'>nevent1q…xvrd</a><br/>_________________________<br/><br/>it will certainly be videotaped and put on yt, and maybe streamed live. you can send an email to the first of the two organizers on that page and ask for more information.<br/><br/><a href="https://philmathulm.hypotheses.org/a-propos">https://philmathulm.hypotheses.org/a-propos</a> 2025-01-30T05:34:10Z https://njump.me/nevent1qqsr64nnayayvfzgj73gfn6kxzy7lhhes2jfa38x5lr0g3hmddynrvczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66460hffql In reply to <a href='/nevent1qqsg4nfjtdpf3p5xetrgdnvf9d2gyxvy2y6h096jhx9s3asfhvzuxusxkaf4e'>nevent1q…af4e</a><br/>_________________________<br/><br/>not quite. most mathematicians pretend they work with ZFC but can&#39;t state the axioms. they (we) just work with a naive notion of set and the habit not to write something blatantly inconsistent.<br/>of course, every large formalization effort brings some technical debt. <br/>in the 80s, Pierre Cartier explained in several interviews why Bourbaki didn&#39;t make the move to categories some 20 years before while they (Cartan, Eilenberg) had basically if not invented them, then making them prominent: that would have meant rewriting 2000 pages and they felt they had better write down their ideas about Lie groups and Lie algebras. 2024-12-17T22:00:47Z https://njump.me/nevent1qqsd2dxhygjdn9yjd0y8w47gtd3rrqmj6wdex065th80vy0x02egcngzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646kchylt In reply to <a href='/nevent1qqs9q24t2lp082kruc9yhxs8ge0ffvup7pjw8542gazd2rkr9dp6uzq720n8m'>nevent1q…0n8m</a><br/>_________________________<br/><br/>Some philologists I know jumped off their chair at the view of this table. I just can&#39;t be correct. They pointed out to Bernard Vitrac&#39;s magnum opus and in particular to this website where all known editions of Euclid Elements are shown, with their relations.<br/><br/><a href="https://thamous.univ-rennes1.fr/php/graph_open.php?idGraph=133&amp;projet=grecs">https://thamous.univ-rennes1.fr/php/graph_open.php?idGraph=133&amp;projet=grecs</a> 2024-12-13T15:46:38Z https://njump.me/nevent1qqsrk88g5ywwy9cgeundz3xkjxw6d6v7ywgrwehzsxxu2jluktfhl4qzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66463ukfv5 In reply to <a href='/nevent1qqs8h6yvmpgzpd0nc2rq3j8622n6zhfnqr4ly9wxqzqc29c60hwny8c2um6n9'>nevent1q…m6n9</a><br/>_________________________<br/><br/>a few years ago, a tv movie needed a list of victims for a crash or something like that, and they took the list of participants to a 2010 math conference in Paris... 2024-12-08T22:32:09Z https://njump.me/nevent1qqs2h8trr7ddangn08veyaw8mw9th4nnx2hr6r95n9mvavrs4sn9edgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646vngy59 In reply to <a href='/nevent1qqs28cqhl9zn9wqp0wgxpvhaqs4z52pjk4znzhjzjcj47apjkluxd2cczrrun'>nevent1q…rrun</a><br/>_________________________<br/><br/>Wow, that&#39;s rude. I don&#39;t feel that having such an implicit use (or abuse) of notation is good for science. And it&#39;s definitely not good for pedagogy.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Martin Escardo</span> (<span class="italic">npub14a5…9fse</span>)</a></span> 2024-12-03T22:18:39Z https://njump.me/nevent1qqsffvz7fkk5qyexdcwjdejxscvglg5lqux38j4p8tca3lsrmshv9sszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66465evry2 In reply to <a href='/nevent1qqszg5zeq48tqkaftluyc4709xjl0p6w3wmk798qwr43snctma0a9msndwjps'>nevent1q…wjps</a><br/>_________________________<br/><br/>is it taken at dawn or at sunset ? 2024-12-01T10:14:35Z https://njump.me/nevent1qqst8gkfuueruz7gjanta2qdlkl0pvk4v58nrcvl66yyp7v7kawxykszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646cssdur In reply to <a href='/nevent1qqsxw925hf5yy89pf5qh6gcdgknp56wrtm50v60kraft7qjnmgvvr2c022gk0'>nevent1q…2gk0</a><br/>_________________________<br/><br/>Now, some French mathematicians of my field have a deep tendency to pedantism, like using « icelle » ou « icelui » 2024-11-28T07:22:06Z https://njump.me/nevent1qqsrm9szr6fj0fntzdrt7vnapt72g6qdgukr05dta73uezvqdwwc6dszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646kxr2pd In reply to <a href='/nevent1qqsg7pkm7qm5qlccdatm0dwhmtwpjgk4qp8vletzstaay6h8973vwfstj0vda'>nevent1q…0vda</a><br/>_________________________<br/><br/>in French, antepenultimate would be even more pedantic than penultimate 2024-11-28T07:16:17Z https://njump.me/nevent1qqszh7c8qeum7hnwmgjlzza6xha4y9thxrpell4xu4622p79mz6kxrqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646hqglnz In reply to <a href='/nevent1qqs0nn5jl2q2p55pgahhx9qv0nuaa2j3lfw20swwh2awurvsm55legsv5y3jr'>nevent1q…y3jr</a><br/>_________________________<br/><br/>i&#39;d be delighted to read it then... 2024-11-26T06:30:37Z https://njump.me/nevent1qqst59pd5kzplf4r7cyc7cp2f44twzf63tkmnd4a233decxp9dnzkkczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k664628st0m In reply to <a href='/nevent1qqs90a02dknnaack3rx6yz087t5vftzcvtphdk5490z8e0ja5ttzhdshrujaf'>nevent1q…ujaf</a><br/>_________________________<br/><br/>He looks a bit angry. Agreely, that&#39;s not so practical. 2024-11-21T18:55:44Z https://njump.me/nevent1qqsdq5hap0v0pmz03umct59s4sl59lmgxp8nkc0nhxjcc89rld0e7hczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66467qjgcj In reply to <a href='/nevent1qqsg6y6gjv4p3guv5gkvvhdq29lny9y5mqam92ly585njkzfsry5ppgq84dz7'>nevent1q…4dz7</a><br/>_________________________<br/><br/>no, not literally. <br/>But it is true that discussions about the way people write mathematics often use hygienic metaphors — at least in French. 2024-11-19T21:41:12Z https://njump.me/nevent1qqsg3pmlfts3kzez2lxxxf37eg7wy59pc60eu7yvwy3k6w28jwcx6wqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646qwtgwp Quand j&#39;ai publié mon livre *Algèbre corporelle*, des collègues se sont demandés si c&#39;était un truc à faire matin et soir, et l&#39;éditrice m&#39;a regardé carrément mal, mais maintenant je vois que les ami·es parlent d&#39;hygiène mathématique à propos d&#39;autres ami·es. <br/><br/><a href="http://www.item.ens.fr/journee-commune-avec-lanr-mathy/">http://www.item.ens.fr/journee-commune-avec-lanr-mathy/</a> 2024-11-19T21:29:54Z https://njump.me/nevent1qqsz3th5ufyu83k0vwzmqus28krytsc2pkvrp236p2gz3jgwnkvqx4qzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646ulclse In reply to <a href='/nevent1qqsr586n7w52vzlvrh47eq3kg465afum6k43htym3hnxxq9j7qsd88qk8h2nk'>nevent1q…h2nk</a><br/>_________________________<br/><br/>don&#39;t count on their incompetence to save us. this is what some democrats had expected in 1933 German. 2024-11-11T08:54:14Z https://njump.me/nevent1qqsz7np67vdd0t28hg0zvpsk3l3mdhkh5r58c736da3ndl4xznmkxaszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646tgxcxd In reply to <a href='/nevent1qqsg4k9s6qe99dp56wjttashecwgn0mkvzhgqanc8hdq893xjm0plsqazgpmn'>nevent1q…gpmn</a><br/>_________________________<br/><br/>I feel there are two issues here.<br/>- F1 is a sport from the previous century whose existence, given the climate crisis, is an insult to all people worrying about the fate of mankind.<br/>- In all sports, the men and women who do the job get slaps on the hand by the sport federations, themselves full of corrupted guys, and this also is enough. 2024-09-29T17:30:45Z https://njump.me/nevent1qqsg4k9s6qe99dp56wjttashecwgn0mkvzhgqanc8hdq893xjm0plsqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646xs2ymt In reply to <a href='/nevent1qqsyaszfkwwg2nks7urlglvwhsaawtpep33ug7lsjv08vy0t8s37vdgm6dsfe'>nevent1q…dsfe</a><br/>_________________________<br/><br/>F1 is not the field with one element? 2024-09-29T17:24:20Z https://njump.me/nevent1qqs9fy97ehjmhwd94kwf276lw885z5tc6eeht9cew40nza4pv39hrjqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646qur5pd In reply to <a href='/nevent1qqsqf6f402m0r7l3fv482600cx3ll4u8ercrl8gsrrrgppep47yy8fqmsyjvm'>nevent1q…yjvm</a><br/>_________________________<br/><br/>Je n&#39;en ai aucune idéee !<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1gxjpkgfpades8vhkk4xa8fr8jkm5x4x62rt3hmuepngd2u22zr0sse00vd" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Rouge</span> (<span class="italic">npub1gxj…00vd</span>)</a></span> 2024-09-27T15:45:36Z https://njump.me/nevent1qqsdg7q48hncct2vtj8dyan3m4rr2satec2jftacdk6fg7pn295xpnqzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646sd8m9d In reply to <a href='/nevent1qqs9tx2uhsg5u0dtps9qq0u2suycsmha2r5g62vmkmvd74zcy2hfypcpwdszw'>nevent1q…dszw</a><br/>_________________________<br/><br/>il m&#39;arrive souvent d&#39;utiliser « tu » dans un sens générique, notamment dans une tournure conditionnelle « si tu crois que..., alors il est naturel de... » 2024-09-27T05:49:46Z https://njump.me/nevent1qqs80egpvq5q5sa0vvrp3v87j5nj76dhndzz2ex47vfhc02wmg4ce4szyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646wd32ws Marine Le Pen condamnée en appel pour diffamation envers La Cimade <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1vu4c6yms8tvflh7jq9s72d6elnpyx7xweypeyxezpwhcv4je6yqqejatfc" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>La Cimade</span> (<span class="italic">npub1vu4…atfc</span>)</a></span><br/><br/>Toute personne éprise de liberté et de justice ne pourra que s&#39;en féliciter. Et manifester sa gratitude pour l&#39;action de cette association, fondées par des chrétiens protestants il y a près de 100 ans, dont l&#39;action pendant la seconde guerre mondiale a permis de sauver de nombreux Juifs, et qui œuvre chaque jour en faveur des personnes opprimées, exploitées, réfugiées, migrantes…<br/><br/><a href="https://www.lemonde.fr/societe/article/2024/09/11/marine-le-pen-condamnee-en-appel-a-500-euros-d-amende-pour-diffamation-envers-la-cimade_6313248_3224.html">https://www.lemonde.fr/societe/article/2024/09/11/marine-le-pen-condamnee-en-appel-a-500-euros-d-amende-pour-diffamation-envers-la-cimade_6313248_3224.html</a> 2024-09-11T20:15:54Z https://njump.me/nevent1qqs2884pkfve0xc0vsg74hnl0l7k2r40u65q56cevjljp5f7da74vtgzyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646pt8gdk In reply to <a href='/nevent1qqswzsseh0036zu5vy57sqgl6kk2z2l8a8j0kx0rzt4lkcd5u9nzv2qzx72ye'>nevent1q…72ye</a><br/>_________________________<br/><br/>des détails ? 2024-09-05T08:20:18Z https://njump.me/nevent1qqs8vmah764cn62d88kp534nz9s6a09z2kesl86yh887uazx5pg0lsszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646farplw In reply to <a href='/nevent1qqsw9rk43qdxd3ll4tzs9087dl2emvnkawprf64mddrnqg0ullhcm2sa8z3r0'>nevent1q…z3r0</a><br/>_________________________<br/><br/>this is 50 years... 2024-09-03T05:59:13Z https://njump.me/nevent1qqsrdf73mpvty4zwegq0mkqx3a6xhme96e49mkghtp0ezuryrfnxgpszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646yw0w6u I just learnt the death of Pierre Cartier, last night. <br/><br/>Born in 1932, he left his name to at several concepts in algebraic geometry : <br/>Cartier divisors (those which are locally definable by a regular equation), and Cartier duality for finite group schemes, Cartier operator for differentials in characteristic p. During his long mathematical career, he showed interest in incredibly many topics, as shown by his very long list of talks at the Bourbaki seminar.<br/><br/>He had suffered a stroke a few years ago from which let him much weaker. <br/><br/>Personnally, I will remember a very lively colleague, always eager to talk about mathematics, but also ready to share anecdotes of his personal life, in particular regarding WW2 (he was a teenager, and lived in Alsace) or the Algérie decolonization war (where he had been sent as a young soldier), or about Bourbaki with whom he had a long lasting collaboration. 2024-08-17T17:03:13Z https://njump.me/nevent1qqsr0rda6yq072933nx822qq2pxtq8f8lcmax54ezr5vf2ta8c5hfaszyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646mjtcdm In reply to <a href='/nevent1qqsdame4rdzuhg8pyd790x0hyuv6mwnpcwu5vgqx6ypuryvamtya7rqnhe9tr'>nevent1q…e9tr</a><br/>_________________________<br/><br/>are you also present on alternative platoforms such as F-Droid? 2024-08-17T10:32:46Z https://njump.me/nevent1qqsg878g03rsq22lwd6sgghw85qr52059kdq85vk4848ucgvrknxsgczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k6646xay6y7 In reply to <a href='/nevent1qqsxj49pcqzu30d3esw8f3tpew9r2wqan4mw5g3m6hwxy4qy6gw9s6g8l2r8z'>nevent1q…2r8z</a><br/>_________________________<br/><br/>at some moment of his life, Kafka did the same! 2024-08-07T09:45:50Z https://njump.me/nevent1qqs2s2wz74dlaglay3h6sznml7w08uzc29lfl2sd2qwg4mynwcn69wczyzt6ejfsv77e3cfjquu43gnpc9ja70czwzjl575c2agw8gg0k66463nx936 In reply to <a href='/nevent1qqswly65dhgekg08mpadrgnm9y9rqmpzpec3xwf5xjn9uv0vxxeygesrfxlep'>nevent1q…xlep</a><br/>_________________________<br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/112/909/176/494/246/998/original/59eee4861095b452.png"> <br/> 2024-08-05T11:29:13Z