2026-04-04T09:47:28Z https://yabu.me Cody https://yabu.me/npub1ahl7tmpdsaqrpxgyjrpqhnhvegk3acmfqdz38g7mst0lkrc07ppsrvhw9x https://media.mathstodon.xyz/accounts/avatars/108/233/132/722/012/900/original/77bda2cc3198c329.png https://media.mathstodon.xyz/accounts/avatars/108/233/132/722/012/900/original/77bda2cc3198c329.png https://yabu.me/nevent1qqsw4m8czqsgdhpnh089vt3sfdnfdrmxpqm27pgm6ujq2ewr8u8r46czyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxdcn7d8 In reply to <a href='/nevent1qqs9mc5kkvclup7y287qnrlcjzx5mqtewxedsjpeshtajnshlvs7qkguuvcyz'>nevent1q…vcyz</a><br/>_________________________<br/><br/>like dinosaur bones! 2024-10-17T16:28:54Z https://yabu.me/nevent1qqspnk56lzr9t9glyx7z2hdqq6apduz5chh8lpw0xe8ye5rt7fvqa6szyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxdc5wrs In reply to <a href='/nevent1qqsg7dqrshnjegjjtl73lppz6r6sc7jh8cq0zk3tckvqwvuz56m86pqedg53e'>nevent1q…g53e</a><br/>_________________________<br/><br/>certainly easier to explain to the general public than the Hodge Conjecture 2024-10-16T18:30:48Z https://yabu.me/nevent1qqsqnnrl6hnp8vxwzhmk3v68d2hne5dgfwnn40cyvjt0g4uupw74s4qzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyx590ma0 In reply to <a href='/nevent1qqsqhla45mm7gle8uyt8nnlufac7ez2tupxpdgrxm3wzy9lnpf5gjuctxr69w'>nevent1q…r69w</a><br/>_________________________<br/><br/>can you bequeath your vast fortune to whomever changes the terminology?<br/><br/>Two birds one stone space. 2024-10-16T17:42:16Z https://yabu.me/nevent1qqsvn9vvrkjtdp2mrad2hrud75lrd6f8qwpt4dnc60fxjqm4d4q4edqzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxyl4m85 In reply to <a href='/nevent1qqsr9p6tru7rnwakye5gq7aw9ektqw7ht25vj7druuxx9mwyk0t0k2gd9678h'>nevent1q…678h</a><br/>_________________________<br/><br/>semi interesting then! 2024-10-15T23:49:13Z https://yabu.me/nevent1qqsfz6eze4d7k2ufr8jquvle4ahr3gcx4l5a6f6x5pfjnt9zvcn288szyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxrsev36 In reply to <a href='/nevent1qqszld2wj2pky2kkdc4eqk5sqf4xwgyknkxtxrd89knyrdtuyggm93cve6wf4'>nevent1q…6wf4</a><br/>_________________________<br/><br/>or *shudder* semi-group 2024-10-15T18:46:10Z https://yabu.me/nevent1qqsrmlygzc06sf7umaelva5sfywemq04ddg0hcdwdnyqxc2vnfksyqszyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxz0zu3v In reply to <a href='/nevent1qqsrwa82lj0jck7fp3ctjj60selg9hfs248kjucazy5xy9phfaq9skg96nec7'>nevent1q…nec7</a><br/>_________________________<br/><br/>idk, I&#39;ve wondered about what the endgame of proving cut elimination is. Like the Master Theorem.<br/><br/>Something like the analogue of the index theorem vs the fundamental theorem of calculus.<br/><br/>So to speak. 2024-10-03T22:40:49Z https://yabu.me/nevent1qqsv9pp6vf739l8r2vgschy9aq8x46z43g6t9d94n0fe377k6fq6zlszyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyx6t9al8 In reply to <a href='/nevent1qqsw7jf28ul2mf7zdutuypfvxcfc96wzzx9alk9kn2chnc730aqe0xs93ess2'>nevent1q…ess2</a><br/>_________________________<br/><br/>so how would I specify local soundness for *some connective*? Just &#34;there exists a way to eliminate an intro followed by an elim&#34;?<br/><br/>Or is the shape of the reduction somehow involved? 2024-10-03T22:34:40Z https://yabu.me/nevent1qqs0uas0yxf4td8flqeh9wl68mxw7d2thrfrdxjhxmt7vv48yerx3tszyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxdlz8g0 In reply to <a href='/nevent1qqs8ws302pw9xalw9wc4w9ehdj93czz2afka73mc4esdvmn48wmtgus8d6guj'>nevent1q…6guj</a><br/>_________________________<br/><br/>I&#39;m now confused: what&#39;s the property called &#34;local harmony&#34; for, say implication, in proof theory/type theory terms? 2024-10-03T22:14:54Z https://yabu.me/nevent1qqszzgs7j5x66zy8tyhpt038kpcvd45dxn2lxr973e2wv7t2j4hf0jczyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxjaynu0 In reply to <a href='/nevent1qqs26vfy6a5fyd2qwxnf9n6fnc64xc0eu4cz5yec3rrl2x3v5ch5eucuyftje'>nevent1q…ftje</a><br/>_________________________<br/><br/>I guess the property would be &#34;beta and eta are type preserving&#34;? 2024-10-03T21:25:56Z https://yabu.me/nevent1qqsf54xap703dn45fpeegkunhcycgja3j6vrxwhlrdxhehdz6lhg3eqzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxffkewj In reply to <a href='/nevent1qqs8y52k8nvx8avvk6q55ltwk6ev8w9w2n4uad0pendarqp0z40szns0fyrj2'>nevent1q…yrj2</a><br/>_________________________<br/><br/>neat! I always forget what the mathy definition is, though. Some kind of local cut-elimination? 2024-10-03T21:01:05Z https://yabu.me/nevent1qqsvervfwuwa9svd2hcfdrdj7p0ldxzagae6zceejf0lca5rnvvtrtgzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxdt6qxd In reply to <a href='/nevent1qqs8zfhm6m7swemgw3v82auj67cqcvg3h70gc8rvcjaspsk0ru3pa3srx8dm6'>nevent1q…8dm6</a><br/>_________________________<br/><br/>I need a diffeq refresher I think.<br/><br/>I always liked the topology bits. 2024-09-26T18:02:29Z https://yabu.me/nevent1qqs29s3f8rj3qm97wmzmhuz9cye4jxlfw0p0jss5sl2sr2p739v5jpszyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxd4k2kx In reply to <a href='/nevent1qqsgvgftkmq6cqeyg49ccgq7eztsweyhdwufpvxtcvuhcrgfnyga55ggx20d3'>nevent1q…20d3</a><br/>_________________________<br/><br/>oh wait a moments thought tells me that *is* true: the ball only reaches the top at the limit t = infinity. 2024-09-26T12:05:06Z https://yabu.me/nevent1qqsgvgftkmq6cqeyg49ccgq7eztsweyhdwufpvxtcvuhcrgfnyga55gzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxtjtn9r In reply to <a href='/nevent1qqswd7w55teakz3a36z3duuhyjpjs36q499rgnyv34qa9kw3ayvpykswtmmz5'>nevent1q…mmz5</a><br/>_________________________<br/><br/>uh oh, now I&#39;m confused: time reversibility now suggests there&#39;s no way to roll a perfect ball up a half sphere so that it stops at the top.<br/><br/>Is *that* true? 2024-09-26T11:21:24Z https://yabu.me/nevent1qqstf0rs8asmau5avvty0lxpfmnf8dfxuvfc6sg9gvrwvu4207d0v8qzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxwmsyjm In reply to <a href='/nevent1qqs9upc9l0us83ju3yklsq5fy4ls02fsx3u8ejr4589hwrj24tx0gqq23ddpx'>nevent1q…ddpx</a><br/>_________________________<br/><br/>is there a way to formalize this intuition, e.g. proving Kolmogorov&#39;s axioms in some sense? 2024-09-25T17:41:18Z https://yabu.me/nevent1qqsr50a0hh0euzfc2e2fngtqgurfeen9rsw7kq6lk8ae6ey0394sjdgzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyx3vkwuj In reply to <a href='/nevent1qqsg2daw5jgnn62sng8hte5vjg9gjfkhdqcerj0p9teeqqz74xal0zsk2g5nk'>nevent1q…g5nk</a><br/>_________________________<br/><br/>ah nice, I was wondering whether that theorem (we called it Cauchy in France for some reason) applied. 2024-09-25T15:55:18Z https://yabu.me/nevent1qqsgd2rc4uxkk4h3gyvwwkv3mqhu0ul9k4vnf0j4q47vgefy4t6894gzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyx0q6w8z <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> I have a question with probaly no good answer: let&#39;s pretend the world is completely classical.<br/><br/>Is there a good way to explain why it &#34;feels&#34; like there&#39;s randomness at a macro scale, even though everything is deterministic? It feels like ignorance should be a part of this.<br/><br/>I guess I&#39;m asking for a synthetic theory of probability without random variables that makes some kind of sense.<br/><br/>Maybe this is a well-known solved problem. 2024-09-25T12:22:40Z https://yabu.me/nevent1qqs87emdqeecs9ggs4hlrau45xn2jxacyvpf8762y3hetzhwspyczvgzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxedjcsn You know you&#39;re old when you think things like &#34;man, how good *is* hobbit metabolism?&#34; 2024-09-25T01:58:42Z https://yabu.me/nevent1qqsrc94ae8qqczu7gdqs8f5uca4ddjq6sfnrhv348gcq46kwpe5z8gczyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxhevq02 In reply to <a href='/nevent1qqstpqdx72c0d6nyg864qn3yvl0t76gws7sgny95k2x2znnk0wg5rksfzjds4'>nevent1q…jds4</a><br/>_________________________<br/><br/>oh yeah. 2024-09-24T20:44:56Z https://yabu.me/nevent1qqsfrgkkxxw4nz8xrh6lxd5zpete3ssucqy3u0jqmvkn40qqtc0mreqzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxkzl3dd In reply to <a href='/nevent1qqstp6x9x2u6c6prj2xqns275ytrv7fcwcf8ztkfuh9dqlsxhpq0euqp7q7a0'>nevent1q…q7a0</a><br/>_________________________<br/><br/>is it an instance or...? 2024-09-24T20:16:40Z https://yabu.me/nevent1qqsxyvhhcdr3dh2x4kcuz3mssdcsw8kc40jlh8u3fh8vumdep9z80wqzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxqwmss0 In reply to <a href='/nevent1qqszfr9tstt4hvplv2cfp8wnc4mk8llrz55tmnvze0jtsnx3tu37xmc7pykkr'>nevent1q…ykkr</a><br/>_________________________<br/><br/>I&#39;m sure ice-nine will get us first. 2024-09-12T18:09:31Z https://yabu.me/nevent1qqsz2m88k0q9wymxlxykg2p7t9ln9gecxvr3lpgedekqvu9wtc4vnugzyrklle0v9kr5qvyeqjgvyz7wan9z68hrdyp52yarmwpdl7c0plcyxpt0edm In reply to <a href='/nevent1qqsqjz724y8e283ytd9z56nk0hafs0fnawk2pyc6frnuwkq077sh9ps450tr9'>nevent1q…0tr9</a><br/>_________________________<br/><br/>that&#39;s how they get you 2024-09-10T14:21:56Z