2026-08-23T15:03:33Z https://njump.me Boarders https://njump.me/npub1x639g8vxvs056ftsg48a4kuzs40csanc59v9qyw3knhamwx8a2jq9hu94t https://media.mathstodon.xyz/accounts/avatars/109/317/297/912/589/339/original/84b40ae4487ded9c.jpg https://media.mathstodon.xyz/accounts/avatars/109/317/297/912/589/339/original/84b40ae4487ded9c.jpg https://njump.me/nevent1qqsrfxf84c77hwt25309kykz3n4qrj3keuzlzfcsf4yzzj0ys3mdehszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gjzggff In reply to <a href='/nevent1qqs23tt997tavfl8cvw0edt5jxxwch25555pvmu25teyzjnwlunuv4qlt56sq'>nevent1q…56sq</a><br/>_________________________<br/><br/>overall I think people who work towards problems for human understanding should similarly be feeling good 2026-09-09T17:32:46Z https://njump.me/nevent1qqszuuvdn2qxfmmtws3d527yttycmtyqpn08gqpkwhd2xd6hjkecw7gzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gs2qz6x In reply to <a href='/nevent1qqsyq2v9gvcfqqeqn3dm3y0kqkv7utg0vs36elh2nrqyw6c6t8gshwskvnlx6'>nevent1q…nlx6</a><br/>_________________________<br/><br/>The purpose of a system is what it does 2026-06-16T22:02:30Z https://njump.me/nevent1qqsq6zg7m4ezxrfdrrkf0cpucmfm5t3ud3tmanhp43aaacnntgjeg9qzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g5xkkah mathematicians largely refuse to teach their students inference rules of logic and then complain that none of the students know what it means to disprove a universally quantified statement, nor what it means to prove a negation. At some point complaining about young people might involve asking who raised them 2026-06-16T20:15:07Z https://njump.me/nevent1qqstu4wupw6j7qpsc08kw4g07mdv6jj2hwv786rrfevn3ag3tkpd8kgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gmlprgp “Even within the instrumental logic of capitalism, it is at least sometimes recognized that giving people adequate time and resources, and a measure of freedom from the obligation constantly to justify their existence – leaving them alone, basically – can be beneficial to their performance or ‘productivity’”<br/><br/><a href="https://newleftreview.org/sidecar/posts/irreversible?pc=1767">https://newleftreview.org/sidecar/posts/irreversible?pc=1767</a> 2026-05-29T20:17:33Z https://njump.me/nevent1qqsr7h4kf4ld59n8qa6rrgucayjme8d4p2rhdkr6daeqe86qcg8n9tgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42glwqy6r In reply to <a href='/nevent1qqsfu6f9d0yh36a0rl7zfettjae5hra2dp863g4c8p7x9hv6n2z2wescgkqgy'>nevent1q…kqgy</a><br/>_________________________<br/><br/>could you say what it is about the latter that makes it so? 2026-05-09T04:12:40Z https://njump.me/nevent1qqsw9cn3tfpszlhwajyx6n6xvn2ztw6muxgm7hvajcmw4z0n70gzjyszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gtjpzu5 The corporate politics of procurement seems to me one of the most interesting under-discussed questions today, especially in the context of universities or schools. There are so many pieces one reads berating academic labour to get serious about future finances; about the future viability of the liberal university, but the follow up is never to ask who is in charge of procurement of e-learning software, never how much it is costing, never whether the department(s) responsible for this collection of choices are ‘living in the real world’. In my experience, many of the same trends re-occur through a glass darkly in other corporate environments where a product manager will push to pay millions of dollars per year for a certain service, but won’t hire a single extra engineer to work on an internally developed custom version of a similar service. 2026-01-09T17:00:25Z https://njump.me/nevent1qqsfntg4f3gtys52882gsgd94d0pvftj3l9h4kreasr8hfmav4etglczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gnatjx7 In reply to <a href='/nevent1qqsqajqe06rjjyld3azuc204rvzlwst2wretze8zf3jrhqh6587lcms29j8e3'>nevent1q…j8e3</a><br/>_________________________<br/><br/>this is from Granström’s book Treatise On Intuitionistic Type Theory which situates Lebnitz’ project in a broader movement towards a universal language ‘for logic’ (in the ancient sense of the word). The book makes the case (I can’t say whether successfully or otherwise yet) that ML type theory should be considered the modern successor to this project 2025-12-22T17:31:03Z https://njump.me/nevent1qqspy4uf90pwlhunf0gah3k59mlyf74ht2xygwrss9uuaq282ua5vwszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g8unlwr “A lot of present day work in computer science has some connection with the lingua characteristica and it is a curious fact that, in the past 50 years, computer science, as a subject, has had more impact on the lingua characteristica than logic, mathematics, and philosophy together. The reason seems to be that a certain amount of realism is, so to say, forced upon the computer scientist and this realism is, as it seems, an important ingredient in the lingua characteristica. This is why few implementations of mathematics on computer are based on Zermelo-Frankel set theory, despite it presently being the most popular foundation of mathematics.” 2025-12-21T17:07:58Z https://njump.me/nevent1qqsrr0ejr4y7gnjwlefx6eequp0fh64mctg8r98a4t83tryj6qgwy9czyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gfmvedk In reply to <a href='/nevent1qqs99jg76re9qp7wrm4t5v499yflqynzsr9t9vg8u7cdrt5u8vvue4gr85cqh'>nevent1q…5cqh</a><br/>_________________________<br/><br/>not totally serious but “Maxwell’s demons” 2025-09-26T14:02:41Z https://njump.me/nevent1qqsdh3l82yl2uayx4apa9mjd4y702l9mvvhex78qd83h4x43trrpwkczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gsrtfu7 In reply to <a href='/nevent1qqs2u92y4jne3qxmxhr5vjk5uffcuk77je2d3jpp7mhgfalt03kh7pge0qn99'>nevent1q…qn99</a><br/>_________________________<br/><br/>Merchants of Doubt, for example, is just a straightforward history of widespread corporate conspiracies that we know to be 100% true 2025-05-28T19:01:01Z https://njump.me/nevent1qqsv8gfrz8c7x7wpkgmxqwfe4wlgesjgtkx9kv5cv83ehrz53fyz68gzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gj7w9p4 In reply to <a href='/nevent1qqswp772z48vuqdqh3n2yw59qwnq7q95cq6kscefu30l4xpdyllpj7gys6a7z'>nevent1q…6a7z</a><br/>_________________________<br/><br/>GHC notes are a good example too of the kinds of many-to-many source relationships large projects eventually want to be able to communicate 2025-05-08T17:01:02Z https://njump.me/nevent1qqsgclty2u20lsm242xrgyle8cr29ggj0dq25ujmza0nvntj4s0d5qczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gz7pasy In reply to <a href='/nevent1qqsd726fnyvs3jflwmhaa5c95pqr20ea2thuwj3hltrtkjxsd834yech7spec'>nevent1q…spec</a><br/>_________________________<br/><br/>Quine was also against higher order logic due to his very esoteric ideas about what grounds the meaning of the logical quantifiers (still held as serious for reasons I can’t grasp) - a view which I believe will come to be seen as more and more incorrect over time 2025-03-28T00:55:59Z https://njump.me/nevent1qqsp2dx2pa2r6ckl46rkjhg9d20j34ndjhgptfjenr7znzgsz4xrpcszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42ghcx5ve In reply to <a href='/nevent1qqs90g8rpq22lnwskt4q598c8n88kq2qrwc765u02gus9w23mk7g2gq9rfyy3'>nevent1q…fyy3</a><br/>_________________________<br/><br/>I’d be interested to hear why? I feel like lenses (+ other optics) are really conceptually amazing as a way of thinking, but probably encourage a certain kind of Java mindset of needless ceremony and needless busywork 2025-03-19T02:08:26Z https://njump.me/nevent1qqswp4n8v3a493tvh3hm8g9c9pekskerc7q77f5y4kw6yzyzxhpxx7szyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g7q39hs In reply to <a href='/nevent1qqs95xunxhwus70yajv6d906vx8qv66vdypeengzdhkz7z0r5uau7ucsc03ju'>nevent1q…03ju</a><br/>_________________________<br/><br/>I would love to know if this is somehow caused by the relationship between n-type and h-level in HoTT where there is a mismatch of size 2 2025-03-11T04:15:34Z https://njump.me/nevent1qqsy9q74f4ewzrvsquzsmqfncazfz9zq9r2kp7z4f9qra66hl28fc9szyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g4uvwjk In reply to <a href='/nevent1qqsdet0kys26jdsm8ffu7re7kgcvu3yrz6jlyu9j6hjpnyxemqklj5sj02jde'>nevent1q…2jde</a><br/>_________________________<br/><br/>I hope you write a book (or several) one day :)) 2025-03-07T20:03:36Z https://njump.me/nevent1qqsfjek2ggmkq9j5vsv6eyqfjrn40ah60dqy36v96xhf8a3yssc6weszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g85tmtr In reply to <a href='/nevent1qqswx2f2m9z7x369exew3646qkwtfp7j6ltd42upuplad7ejj3kx9wc7tt679'>nevent1q…t679</a><br/>_________________________<br/><br/>that should perhaps be a warning about how we shouldn’t so easily go along with provocateurs simply because we happen to like their target - perhaps especially so 2025-03-05T17:35:59Z https://njump.me/nevent1qqsyqrqquv4jwcvystded9q7ay74xjsae3p0sgeuvl3nr0ryths7qnczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gtwamew In reply to <a href='/nevent1qqsq4dmjp4f22g6cftukckaal5uehjmml8dq8xp37mm7j28epssrcugtsu4s6'>nevent1q…u4s6</a><br/>_________________________<br/><br/>she also just constantly slanders her colleagues for clicks and encourages conspiracy thinking that scientists are mostly taxpayer leaches. She mostly seems to possess all the nuance of a boulder when it comes to almost all controversies she decides to weigh in on. 2025-03-05T00:59:46Z https://njump.me/nevent1qqs20jfd8gp5mtc6yu2y49w9c3t63j8a22hyp0s6cutuewccntcwc3czyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gzdstjz In reply to <a href='/nevent1qqsqgvgsrmtknkmhagl8sryexpl9rzxrw4gc650gvexdvctg44hc44czrunmj'>nevent1q…unmj</a><br/>_________________________<br/><br/>off topic: did you come up with any interesting ways to approach calculus or that level or is it not worth swimming upstream in such a setting? 2025-02-26T02:49:48Z https://njump.me/nevent1qqspqkmacpppxj8hrtt5mhy2xqlea4c46ckjrg0lykcwgzkwvu9n36gzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gdgmzsc “At this historic moment—when the ascendancy of Europe is so rapidly coming to an end, when Asia is swelling with resurrected life, and the theme of the twentieth century seems destined to be an all-embracing conflict between the East and the West—the provincialism of our traditional histories, which began with Greece and summed up Asia in a line, has become no merely academic error, but a possibly fatal failure of perspective and intelligence. The future faces into the Pacific, and understanding must follow it there.” 2025-01-10T04:41:15Z https://njump.me/nevent1qqsfkgxmwk98hk7dsw34j3npyes8c6g2drpr5evnw0ewt3e5crreejqzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g0qgrdz In reply to <a href='/nevent1qqsg4nfjtdpf3p5xetrgdnvf9d2gyxvy2y6h096jhx9s3asfhvzuxusxkaf4e'>nevent1q…af4e</a><br/>_________________________<br/><br/>mathematicians mostly “program” against abstract interfaces, they just need a kind of first order local set theory with sorts for the natural numbers, real numbers, set theoretic operations etc. Hardly any use the ZFC implementations. 2024-12-17T19:49:26Z https://njump.me/nevent1qqst6yvyl3pzfll9v049333uvhq3ks5d9lzlhy09u5h0ugzctkrjpwgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gpyylw3 In reply to <a href='/nevent1qqswy7apkk2hltn9gzp05fm56sveyh0h5ysfcn9t79g07sl7puth5xg3wnh94'>nevent1q…nh94</a><br/>_________________________<br/><br/>saw this via <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1stea9nfxucp9ljhljpj5uy0kw6qvwex4cj644v7r2x5ej2ddn7xsqnj70v" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Tim Henke (tɪm 'ɦɛŋ.kə)</span> (<span class="italic">npub1ste…j70v</span>)</a></span><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/113/573/344/605/101/804/original/ae188aa7636c27f7.jpeg"> <br/> 2024-11-30T18:35:13Z https://njump.me/nevent1qqsz3jn9g20zh7uczluyu2jph0gwm4yjtgvl0zdmf76lgdl6fszp29gzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g3jmhg2 The comparison of applied category theory with cybernetics would have been more accurate if the cat theorists had managed to sell their ideas to at least management consultants, there is still time 2024-11-15T01:19:54Z https://njump.me/nevent1qqsyh2hvzyfmqsdsgfjrfa65j4w27jvw2dkrmr77q7uawpwtdyg76nqzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gs6ua0v In reply to <a href='/nevent1qqs9u2tefrxq76c4ve4ctw732dr4mz3x0w56dxda5x3hnk30etrahdctfdw8t'>nevent1q…dw8t</a><br/>_________________________<br/><br/>I think you will find looking at the exit polling data about how registered republicans voted very sobering 2024-11-09T03:04:14Z https://njump.me/nevent1qqstxj20t26w65pzl59ch7dh05z77jl8h6xqc0sahqrrqgxqae69j3gzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g3jet2l In reply to <a href='/nevent1qqs90gkpvvryf8r5f28vwsp455vl5397ud3qy48jw34vmlhzqdejzus07n7n2'>nevent1q…n7n2</a><br/>_________________________<br/><br/>I do hope, in the short term, that the Democrats realize they cannot win in a battle of oligarchs (with their own oligarchs) and citizens united was a total disaster that they need to actually talk about again. Nadar-ist consumer protectionism is also something they never think about even as they had Lina Khan and the best FTC in years, their leadership seems incapable of finding winnng messages - they stopped calling JD Vance weird as some strategist apparently said it was “too negative”. <br/><br/>I’m not delusional enough to think this stuff would necessarily work in our current propaganda environment, but I do think it should be tried as this Cheney family stuff has totally failed on its own terms - registered republicans just do not vote democrat 2024-11-08T20:47:53Z https://njump.me/nevent1qqs9z67gar5ltepstymfjdm3s8hvq77ggc0ndy23ldwupqz5al3fadqzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g8xdk2d I don’t think these results are explained by policies, that the democrats should move left or right or not run as republican-lite or that the campaign made a strategic error or etc etc.<br/><br/>This essay is a better starting point for me: <a href="https://www.weareplanc.org/2014/04/we-are-all-very-anxious/">https://www.weareplanc.org/2014/04/we-are-all-very-anxious/</a><br/><br/>Having a child now means having to set up a 529 college savings account from day 0 and immediately thinking about getting your kid into a top college. Immediately thinking of the costs of playing sports, the cost of summer camp etc. This might be the elite version of this psychosis, but it is impossible to miss.<br/><br/>Being a teen now means facing intense, unbearable competition, the overwhelming sense that you need to sprint to stand still, that you need AP classes, extra curricula’s, 4.0 GPA - I’ve even seen teens trying to become coauthors on academic publications…<br/><br/>Having a job now means facing the constant sense that you are near obsolete, that you need to change company every few years, that you need to expand your outdated skill set - the old fantasy of a job for life is just that.<br/><br/>Being a non-college educated male right now (I have witnessed first hand in my family) means constant FOMO that you’re not getting in on some stock market scam, crypto scam, supplements scam, properties scam etc etc.<br/><br/>We have a culture of unbearable, overwhelming anxiety about every aspect of your life, whether you will have a place to live, a stable job, a worthwhile degree, be able to afford groceries, whether you will get to have friends, endless rat races, and it is causing all different kinds of people to have all sorts of fight or flight responses. Algorithmic, video-based social media is parasitic on all this anxiety and is eating us alive. 2024-11-06T23:03:10Z https://njump.me/nevent1qqs8fv3058gyamwgl4fn32ua5r77f85vjh8yu4qchvrgsxz0gp84z5qzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gvcw5lu In reply to <a href='/nevent1qqs99k5rhhwhjdgd6lu4dy24mgsujl6uuaplzr85am0564pwwkqvh5qelsdgs'>nevent1q…sdgs</a><br/>_________________________<br/><br/>the stuff I had in mind is what Mike Stay was interested in at me point (bicategories constructed out of lambda calculus) just in case it isn’t wasn’t very clear 2024-10-29T02:09:38Z https://njump.me/nevent1qqsrq0m4etl9fn2p7tz3jz45qz7hclsh0wsqmmcymaye0t2zwnp7psszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g39wptu If one forms the bicategory with objects given by the types of a simple type theory, morphisms given by (appropriate) terms, and 2-morphisms given by rewrite rules (I’m not sure if that is even meaningful on its face) or perhaps, more sensibly, given by equations in the associated equational theory (so it has beta, eta, congruence rules etc.) then does this satisfy a nice universal property still?<br/><br/>The associated category which we get when we take connected components of each morphism category should be the free Cartesian closed category. I seem to recall this was discussed years ago on the n-category café but I am unsure if they arrived at a satisfactory answer (cc. <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>) 2024-10-29T00:33:18Z https://njump.me/nevent1qqsghxnl2f9fjw5c2g8l93csyvymj3sucgeesnz6v3a99hctjd5dtnszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42ghr7m84 In reply to <a href='/nevent1qqsxc0h86yamd63xnd8ewl0cvk7sd5cwml8kee8kkpxnvrycxnydmmsvu9npt'>nevent1q…9npt</a><br/>_________________________<br/><br/>I never understood in this line of reasoning* - how someone would possibly go from any fact about our best physical theories perhaps making a god of Einstein/Spinoza more or less plausible to Christianity - if anything the “divinely inspired” books not mentioning these facets of reality should decrease my belief in that particular creed (as should many other things about it)<br/><br/>*obviously I actually do understand that it is just motivated reasoning and wishing to have a certain kind of (unearned) intellectual credibility 2024-10-24T20:25:54Z https://njump.me/nevent1qqspqn723f7v9c3q59ctdtzy9kwh6l3msah02fjz0lav5pfuu24whtgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gtdne8y In reply to <a href='/nevent1qqsyc2smwzumpxxjnv2u2njnedr3ly57l29zk9w4vkvv3w5p97ygmmqedv2gq'>nevent1q…v2gq</a><br/>_________________________<br/><br/>there is a lot of people including Hossenfelder, Brian Keating, Horgan, sometimes Woit.<br/><br/>I have no problem with people holding that empiricism is the highest and final standard in physics. I also don’t have a problem with them heavily criticising absurd hype. I have a problem with them being anti-intellectuals, with them doing bad amateur philosophy. For example, hossenfelder has repeatedly said that there is no reason to expect the universe to conform to any mathematical principles and taking inspiration from mathematics is ridiculous, has said that there is no reason for physical constants to have “special values”, and seems to be a kind of nihilist on us ever going beyond the standard model. This is just ahistorical Gnosticism - almost all theoretical physics goes against the view and it is not sensible to bring up just because you want to kick string theory for not paying off. 2024-10-23T00:50:27Z https://njump.me/nevent1qqsfvp94smsh3t5v77qx63f8277temhhegq5znepdlj86c835rkr3jqzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gwt2922 In reply to <a href='/nevent1qqstmxuskhxekke88xz8n52cc6m4fga2zkmkuy7rrh6hsa3n9mfvwcqxhvzya'>nevent1q…vzya</a><br/>_________________________<br/><br/>personally I am frustrated by the entire crew of online people who have made a shtick out of calling modern physics (particularly people doing anything adjacent to string theory) completely unreasonable and anti-scientific etc. 2024-10-23T00:32:17Z https://njump.me/nevent1qqs2d7a9fv9gkttrj3f09pkg2nvekvr5mhn92c94v5qpf58vyyjpcggzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gpkyfw2 In reply to <a href='/nevent1qqsg272nr9kc7ruhyflm5ucxrd8f84426hkre002f25ytjx9m5my50q7dnn53'>nevent1q…nn53</a><br/>_________________________<br/><br/>what a truly gibberish opinion that is. I am no great fan of Chomsky, but this is a totally embarrassing opinion - LLMs only give more fuel to Chomsky’s primary criticism of behaviourism about the poverty of stimulus. Also, why would interest in the deep structure of language be a somehow suspect - our innate ability to recognize the grammaticality of sentences remains something that should give awe. It confirms to me that machine learning people are vapid, anti-intellectual, and overly impressed by their own techniques. 2024-10-09T16:40:57Z https://njump.me/nevent1qqsd6d65am0hsf0hrhqczhuswc50g2glkvxtag94zxcn7kmel0dzrfczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42g65r0ec In reply to <a href='/nevent1qqs8js7teg5dkgs958q3mwpcyddqhryscu6yl9485sdutvy20vlqqegjjr52x'>nevent1q…r52x</a><br/>_________________________<br/><br/>I’m sadly not sure, I think I recall hearing something like that and that it is implemented in maple, mathematica etc. but also that it is wildly complicated 2024-10-06T00:14:28Z https://njump.me/nevent1qqsvhe88f22tx3987hu8c4x4jrc6e7n4ngfwjasl2d6k3e7ummvmsrszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gctdj04 In reply to <a href='/nevent1qqsdsk6g2m8mdx9wafxynenzg2gvhg6tmw9694mxvp698x4ypmpc53sx74vr4'>nevent1q…4vr4</a><br/>_________________________<br/><br/>differential Galois theory aims to gives an answer to the question of which functions have an anti-derivative in terms of elementary functions i.e. which programs have normal forms 2024-10-05T23:13:20Z https://njump.me/nevent1qqsdsk6g2m8mdx9wafxynenzg2gvhg6tmw9694mxvp698x4ypmpc53szyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42glztq20 In reply to <a href='/nevent1qqsqgahfuzd97nfv0ry894srnujen6l6sylne44adtv6xrkpe6mstwssrvexj'>nevent1q…vexj</a><br/>_________________________<br/><br/>high school integration: axioms are the antiderivatives of elementary functions plus theory of equality, arithmetic etc., There are rules of integration by parts, linearity and substitution, the theorems are all equalities of integrals in terms of other terms in the language. One is particularly interested in normal forms which are terms which no longer involve the integral sign 2024-10-05T23:10:26Z https://njump.me/nevent1qqsyyz8wac3ku5fauzqxkmwz6a36vwqytr4akqvsppq49wynx69rvrczyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42ggzuatu In reply to <a href='/nevent1qqsxe3dkg9t4q2a5n20j6v0nqypsnq0fkht8m2xkd3k24cdgmzj3clqemswe5'>nevent1q…swe5</a><br/>_________________________<br/><br/>I think old scientific theories, such as the pre-Socratic theories of the world as made up of fire/water/earth, or early enlightenment theories of the corpuscular nature of light, or the phlogiston theory of fire, or the theory of humours etc. give us certain ontologies of the world which now seem naive and laughable (as ours might to future people).<br/><br/>Still, I think studying these historically as early forms of systemic theorizing is worthwhile and I am sure even the theory of humours is in some ways deeply connected to how we think about the modern world. <br/><br/>Theories of the self are not so easily graspable by current empirical methods and so we should also expect to be better served by studying historical conceptions since the question of what it is to be a person remains evergreen. 2024-10-03T17:30:50Z https://njump.me/nevent1qqsyvhuwsxd5mxwkckfgehymf5ag3sr4zx6fyl0tw56247yafpf4e2czyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gwqp4eh In reply to <a href='/nevent1qqs9eu83mp4w6n5g96uaasfa7f3pwjg2g5xcqmxa7jf9qt75a6mnxvgzx9n6d'>nevent1q…9n6d</a><br/>_________________________<br/><br/>that’s fascinating and you’re completely correct that I should be less dismissive (that wording was inspired by reading a Russell essay on it which whilst beautifully written seemed to go nowhere) 2024-10-03T16:17:01Z https://njump.me/nevent1qqs02t5v084ypsaeg4sf45upsva42590jfn8mm9s30zxmppdyu06hqgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42glfv9j6 Platonism vs nominalism: an old fashioned debate in philosophy is that of universals - talking of triangle as a property commits oneself to the existence of the abstract concept of triangle or perhaps a “generic triangle”. <br/><br/>In this case, we can, to some extent, resolve the question mathematically in a precise way - there is a mathematical object called the moduli stack of triangles, the generic triangle is the generic point of this moduli stack. We can answer various precise questions about this generic triangle such as what automorphism group it has etc. It also specializes to various more particular triangles with a precise notion of specialize due to algebraic geometers. It seems to me this is a better formal apparatus for thinking about mathematical universals than any kind of vague waffle available, but the idea has not managed to escape the purview of mathematicians. 2024-10-03T15:03:48Z https://njump.me/nevent1qqsdpxm7925jcdje64nj90gwzmyz8vg48p6zywwka438kc5pt5ut5hgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gd4q9mg In reply to <a href='/nevent1qqsvd0l78qwvnn4798jwjkm4rdq43x5x6y7twezuv3xsaxflus9uxfs8fyvtw'>nevent1q…yvtw</a><br/>_________________________<br/><br/>my point was just that generic elements of the categorical product are given by pairs of generic elements and this fact means “Cartesian” is extremely appropriate (though I am not generally a fan of eponymous concepts, but neither do I see sense in top-down naming schemes since from where to do we look downwards from to take such a perspective) 2024-09-19T01:23:45Z https://njump.me/nevent1qqsvd0l78qwvnn4798jwjkm4rdq43x5x6y7twezuv3xsaxflus9uxfszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gexra40 In reply to <a href='/nevent1qqszd3hetcsz6r4hlynztacmgj6a9ttm07vglw9h9yq7xc85mv7dsugdhkfut'>nevent1q…kfut</a><br/>_________________________<br/><br/>maybe I’m just confused about what “given by pairs” means, unless it is just means that it is given by pairs of elements in some underlying set or something like that? 2024-09-19T01:19:52Z https://njump.me/nevent1qqsra0y0q3vtyqd7cgdmvr4wf0f4tqrm5hhvjdhc8k668upwlk34czgzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gk28mtq In reply to <a href='/nevent1qqsx3gcxgespf70epr3vwltpr0xk7tzs8n3xx8kmz82rppsyc8ntcwg6dwwg9'>nevent1q…wwg9</a><br/>_________________________<br/><br/>I re-read a couple of times, but no wiser as to what I have misinterpreted unfortunately 2024-09-19T01:11:28Z https://njump.me/nevent1qqspqkj7erwdxt5lfnm766qcrruy69vd0nqwwqsxp5avh2afz4ye3ugzyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gfnk2es In reply to <a href='/nevent1qqsw8sg7gpds3h7fd4luyh7nnthz73p43qpmkmc7rvd8c2au44xen2qwruna3'>nevent1q…una3</a><br/>_________________________<br/><br/>Cartesian product is given by pairs of generic elements, thinking it should be given by pairs of global elements is just a misintuition 2024-09-18T15:08:47Z https://njump.me/nevent1qqs8tzdkhny9866syy53amcealf74uhevwjmmdk2uqntfpqc4lhuguszyqm2y4qasejp7nf9wpz5lkkms2z4lzrk0zs4s5q36x6wlhdccl42gezqpq7 <a href="https://www.experimental-history.com/p/how-to-get-7th-graders-to-smoke">https://www.experimental-history.com/p/how-to-get-7th-graders-to-smoke</a><br/><br/>&#34;You cannot plonk someone in front of a computer screen for an hour and expect them to become a better person. Well-meaning researchers have tried way, way harder than that and gotten way, way less.&#34; 2024-05-20T01:10:35Z