Let f be a function that takes as input an inconsistent preference i and produces a set C of consistent preferences. Let S be the set of subgraphs of i for which it holds that for every s∈S: s is an acyclic subgraph, s is a subgraph of i, and s is maximal in i for those properties.
S shall contain all s that fulfill the above conditions.
Let PCS be the property that for every s∈S, s is a subgraph of at least one c∈C (every consistent subpreference appears at least once in a consistent version)
@rrogers Sorry, we just can't live without your banger posts
@zodmagus Also *definitely* never visit sci-sub.se or libgen.rs
Please
@rrogers *adds a name to the list of people to be cloned a million times*
I just watched the BBC clip on Emmy Noether :) Absolutely astonished and recommend it to anybody in mathstodon.xyz. I knew she was famous and intelligent; I never knew how extensive and foundational her other work was; "modern algebra", topology, gauge theory, ....
From the broadcast, I would put her up with the heroes of mathematics; Euler, Gauss, ..
I know I am smart but I also know that there are people who are _really_ really smart, and it's clear that Noether was one of them.
Before I watched it this morning, it occurred to me "what would the world be like if Godel and Noether had married" (or worked together); I found it beyond even my SciFi fueled imagination :)
@Cedar Looks fine & juicy to me 👀
@makdaam Thanks!
@makdaam Ooohhh this looks pretty good
@chjara content warning: minecraft
@rime @empathy2000
Compromise: tipping maximalism[1]
[1]: https://twitter.com/PrinceVogel/status/1648807994581188611
@rime
Always Less Dignified™
Network epistemology — sounds really nice :-) Perhaps that's what CoEms are getting at
I operate by Crocker's rules[1].