2026-10-21T00:50:39Z https://nostr.now 𝕁onas 🐈🐘 https://nostr.now/npub1dpnqkgly9q6q25xla3usphjjkftmymftqen5gzm8mj6dn2373t3qfnwzrw https://media.mathstodon.xyz/accounts/avatars/109/311/419/151/172/453/original/ff6321f429a14bfd.jpg https://media.mathstodon.xyz/accounts/avatars/109/311/419/151/172/453/original/ff6321f429a14bfd.jpg https://nostr.now/nevent1qqsx20333j2vmpvvendehe3z9z93q634tgn95ppkx8cl6268mns7huqzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wyvlmk70 In reply to <a href='/nevent1qqs832qmrr8yh9fx3mq6m2dsca87tv8y7g7weg4m4ry4l6unmdewrlgfxyu5k'>nevent1q…yu5k</a><br/>_________________________<br/><br/>But isn&#39;t it overkill to have the colon *and* the period? In the blog version you don&#39;t have the period.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1gatq87fe4z73a4u7220hetf5wr2tesxe6axy8vplzudcu3qyfamqeds5kp" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>withinity</span> (<span class="italic">npub1gat…s5kp</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1vlchukd4yknuculh52a5xzq98k4fcndnp4ptnl9jx7gr6j5nqsls06mzqq" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>DougMerritt (log😅 = 💧log😄)</span> (<span class="italic">npub1vlc…mzqq</span>)</a></span> [@bstacey](<a href="https://icosahedron.website/@bstacey">https://icosahedron.website/@bstacey</a> ) 2026-08-28T15:33:42Z https://nostr.now/nevent1qqsdua5wqrl4rdta2scmjtj23pcxkewgrwgssmva8k055plg95qmzjszyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wys85dcr In reply to <a href='/nevent1qqsy0qfuc7lgk5408axhmjnrx2fuxpqjgzkef4kh9fnffuqy9nrgp7s3ewgxk'>nevent1q…wgxk</a><br/>_________________________<br/><br/>There are two names just above the list of names in the &#34;if you&#39;d like to collaborate ...&#34; part, and they&#39;re also the first two signatories. So i&#39;d assume they&#39;re the originators.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1zz2mah7y6j4nld7dwedl7eh0yph4swkkv88spuvh0urq32xgz3ws459mhx" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Paul Schwahn</span> (<span class="italic">npub1zz2…9mhx</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub18qpzax5eg2dxw7w43aty64slv4vrm6kqwmdmnz8xs2ms0cyqq5eqadf9dp" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Michael Barany</span> (<span class="italic">npub18qp…f9dp</span>)</a></span> 2026-03-15T20:59:25Z https://nostr.now/nevent1qqs2lm49a99xy5fz5ud6pknuzs2y0kxe74rr4qql2qga7h5dpwpw0ngzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wyw0zycs In reply to <a href='/nevent1qqsv9lydxv9pcyhnmyrvkhgna29sntjlgvlh6fwuzdh6n30j4cm8cug2p5pmt'>nevent1q…5pmt</a><br/>_________________________<br/><br/>&gt; the universe fits the profile of a white hole a lot better than of a black hole.<br/><br/>Yes, because of the singularity in the past ? But if there also was a singularity in the future then it could be a black hole ? 2025-12-14T22:34:06Z https://nostr.now/nevent1qqsf5pwhjew0e2d5fjt08su4vnyyw5r077n25u59qmtmrlns8sn24tgzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wywnnuhy In reply to <a href='/nevent1qqs0e9l2k32ngwvwataeu29v4z0lp6zxtc6uurxn257ge966ga37vecw2zvss'>nevent1q…zvss</a><br/>_________________________<br/><br/>So it the picture wrong or am I misinterpreting it ? Maybe the Hubble radius dot is close to the &#34;black hole line&#34;, but not quite on it ? Would a universe with a big-cruch singularity in the future (that people used to believe in) be a black hole ? Or does the line capture the correct notion of black hole only for not-too-large objects ? Or is it about universe vs observable universe ? <br/><br/>(I have watched the video and remember the discussion of white holes, but my understanding of all this is superficial) 2025-12-14T22:13:09Z https://nostr.now/nevent1qqszuyse2ns42ha24phuae633ldnqve25jhhax7gspe0lfr8g3f6hlszyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy4yh9g8 In reply to <a href='/nevent1qqsxr8s672yrg20y7el492svxdgdeh2h872xhngn75j02dftv0nudzczaen8d'>nevent1q…en8d</a><br/>_________________________<br/><br/>on the other hand, the whole universe is a black hole! (The Hubble radius dot in the graphic) 2025-12-14T21:14:11Z https://nostr.now/nevent1qqs9r5lzy85nfskl8qm7hags2k49gf6nkc8m59suv00x4w0npc9s5vczyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wyqfd6ec In reply to <a href='/nevent1qqsvx8md85gpsey7efqjz9j4ar4j9w04hs9kuv6hh966zg2k7wp5u7shx9rnj'>nevent1q…9rnj</a><br/>_________________________<br/><br/>Maybe the quunits corresponding to the first factor are non-trivial because of the missing &#34;S&#34; in front of U(1)? If it was SU(1) it would be trivial. Is this a reasonable way of thinking about it? 2025-11-10T20:22:44Z https://nostr.now/nevent1qqszaj0d4uzcdeu0vm0pt9khfmel87fzdqfwhmrpvhaw3za8g2gj92czyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy29yvc5 In reply to <a href='/nevent1qqspa76lchn8hjynllud47t0dvfadg3va9ulh3lg3adj950fm6l5m7c6qc7pc'>nevent1q…c7pc</a><br/>_________________________<br/><br/>Could you tell us the name of the paper please?<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> 2025-10-08T11:02:28Z https://nostr.now/nevent1qqsth2nx8w4q2e3z4v4xula58l3jls3fxj7y9yqm8rc5rz9cql2my0gzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy5l43ep In reply to <a href='/nevent1qqsralhwhrhpa2n4j3dy6u83xqrtuznm5u8u040420jvccd86l3xwtguske3w'>nevent1q…ke3w</a><br/>_________________________<br/><br/>Are you sure that infinitary logic admits &#34;infinitely many alternating qantifiers&#34; ? The wikipedia page seems to suggest that you can have universal and existential quantifiers binding infinitely many variables, but I don&#39;t see any mention of infinite alteration. 2025-09-22T15:12:41Z https://nostr.now/nevent1qqsy6k3jvwep5clelvcgl03qkf6mhnlq64sdhkdmkq3sqn9py6wgktqzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy4a7g4k In reply to <a href='/nevent1qqsvuy5vhmzkzfw5a50hyt2cf7g4z6cqmtek63dt3tytz62gw45kz5c5xfrav'>nevent1q…frav</a><br/>_________________________<br/><br/>the video of the talk is now here:<br/><br/><a href="https://youtu.be/f-uSU4PBh_0?si=Ae_Mvm330KLKVjAw">https://youtu.be/f-uSU4PBh_0?si=Ae_Mvm330KLKVjAw</a> 2025-08-20T11:40:02Z https://nostr.now/nevent1qqsfgqns8x2ddy2g2v5lz5mnd2xhx9yfr9ztj362xntpg8nxnjssw0qzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wym8v80l In reply to <a href='/nevent1qqsg5vl4f8f7gfy270u2nv7aec6mrkksqzvd7t6znmrr24wzegy5d2s75fywf'>nevent1q…fywf</a><br/>_________________________<br/><br/>I got the same value!<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/055/979/837/947/681/original/8db7e6ee98908655.png"> <br/> 2025-08-19T14:49:15Z https://nostr.now/nevent1qqs2pl56y686v6nu4f6tvkk0huar3p35mx5huz9zvpg3spmqt92xaqgzyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wyrjjrx0 In reply to <a href='/nevent1qqsrwqhcg08l5hhlrx55epnhya975p3s66pp4asysrltnvts5gggqkch6k6sr'>nevent1q…k6sr</a><br/>_________________________<br/><br/>do you happen to have notes of such a course? I have never learned these things and would appreciate a intuitive (rather than axiomatic) introduction. 2025-07-23T16:15:01Z https://nostr.now/nevent1qqsd3hru79ly7ked7um56gasegqqh99089hpv9jjz8qy7a3ttxlhrsczyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy2sma5a In reply to <a href='/nevent1qqs2d9843wdt4wfe6yaxgujlmuhpmd89y4vqmzjdyz8amft3twutn3s3ve032'>nevent1q…e032</a><br/>_________________________<br/><br/>ahh yes and there was talk about &#34;mixed Tate motives&#34;, and about a conjecture about their relation to the cosmic Galois group. I think Leila Schneps asked some follow up questions on that. 2025-02-03T20:48:25Z https://nostr.now/nevent1qqsgyc5dnj27rrcjea6c32xvev4c9f8vek0vph7dsqmkvnuerv7q9rczyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wym9rwmy In reply to <a href='/nevent1qqs2d9843wdt4wfe6yaxgujlmuhpmd89y4vqmzjdyz8amft3twutn3s3ve032'>nevent1q…e032</a><br/>_________________________<br/><br/>yes there was definitely talk of a cosmic Galois group, but I didn&#39;t understand it ... maybe it was something like &#34;physicists are not really working over C, but over C extended with constants&#34;? 2025-02-03T20:46:28Z https://nostr.now/nevent1qqsvuy5vhmzkzfw5a50hyt2cf7g4z6cqmtek63dt3tytz62gw45kz5czyp5xvzerus5rgp2smlk8jqx722e90vnd9vrxw3qtvlwtfkd2869wy0jrwms In reply to <a href='/nevent1qqs9769zhmsaf0l6aj798jtql3fvjrewffpkq7sgwgxe9s5h7m8q9hqnelgty'>nevent1q…lgty</a><br/>_________________________<br/><br/>I went to the talk and I think it will appear on the youtube channel of the Archive Trust for Research [1] (it&#39;s in French). I&#39;m afraid I can&#39;t give a summary, but here are some things that were mentioned:<br/><br/>* Connes-Kreimer Hopf algebra / renormalization / Birkhoff decomposition (though I don&#39;t know which one, the Wikipedia page on Birkhoff decomposition is a disambiguation page)<br/>* the Galois group Gal(\bar{Q}/Q) acts on dessins d&#39;enfants<br/>* &#34;constants&#34; depend on the energy level (that sounds like what <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> wrote <br/>here [2] about observed charge of an electron depending on energy level of measurement?)<br/>* fields C_p and Scholze-tilting<br/>* Krasner hyperfields<br/>* classification of finite fields generalizes to classification of finite &#34;semi-fields&#34; (like semi-rings) : there is one finite semi-field which is not a field, and it&#39;s {0,1} with max as addition. Connes calls this &#34;characteristic 1&#34;<br/>* this is apparently related to thermodynamics and the Legendre transform is the the same as Fourier transform in this setting<br/>* also, Connes credits Scholze with the insight that the &#34;Fargues Fontaine curve&#34; should be viewed over F_1? (not sure if F_1 here is the same as the semi-field above)<br/>* then there&#39;s the &#34;topos of frequencies&#34; whose points are &#34;rank 1 subgroups of R&#34;, and which can be represented as semi-direct product of [0,\infty) with the multiplicative monoid of natural numbers? C. mentioned the arithmetic site in this context, but I&#39;m not sure if that&#39;s representing the same topos, or only related?<br/><br/>[1] <a href="https://www.youtube.com/@archivetrustforresearch">https://www.youtube.com/@archivetrustforresearch</a><br/>[2] <a href="https://mathstodon.xyz/@johncarlosbaez/113744746209768522">https://mathstodon.xyz/@johncarlosbaez/113744746209768522</a> 2025-02-03T20:42:43Z