- 8 Posts
- 576 Comments
2·5 days agoBy coherent I assume you mean consistent. Yes an inconsistent theory isn’t considered useful in mathematics. In philosophical logic there’s an idea of “paraconsistency” that means something like “inconsistent but only slightly” but I think it’s not used much in math.
Russell’s fix to Frege’s inconsistent system was quite complicated, much more than just adding an axiom disallowing certain types of sets. ZFC handles it differently too, by saying you can only create new sets by following certain rules designed to keep things consistent. Frege’s system let you do whatever you wanted and it went sideways quickly, as Russel found.
2·5 days agoThe KM3NeT experiment has recently observed a neutrino with an energy around 100,PeV, and IceCube has detected five neutrinos with energies above 1,PeV. While there are no known astrophysical sources, exploding primordial black holes could have produced these high-energy neutrinos. For Schwarzschild black holes this interpretation results in tensions between the burst rates inferred from the KM3NeT and IceCube observations, with indirect constraints from the extragalactic gamma ray background and with the non-observation of an associated gamma ray signal at LHAASO. In this letter we show that if there is a population of primordial black holes charged under a new dark 𝑢(1) symmetry which spend most of their time in a quasi-extremal state, the neutrino emission at 1,PeV may be more suppressed than at 100,PeV. The burst rates implied by the KM3NeT and IceCube observations and the indirect constraints can then all be consistent at 1𝜎, and no associated gamma-ray signal was expected at LHAASO. Furthermore, these black holes could constitute all of the observed dark matter in the universe.
Neat. The story has been getting around though IDK how convincing anyone finds it.
24·6 days agoBuy a new hard drive/SSD for your Linux installation. Put your Windows drive away in a drawer so all of its contents are saved, and you can swap it back in if you have to. A USB adapter can be helpful for retrieving files.
We know from Gödel’s incompleteness theorem that if ZFC is consistent, then it is incomplete. We don’t consider incompleteness to be a problem any more, so no biggie there. We generally assume and believe that ZFC is consistent and therefore incomplete, a perfectly fine way for it to be. But we can’t prove its consistency, so there are understandably some lingering doubts.
There are definitely IDE to USB adapters. Not sure about IDE to SATA.
181·8 days agoAs a result, will be able to offer drives beyond 140 TB in the 2030s.
Um thanks but tell us about 2026?
3·10 days agoHappy with Fastmail. Proton has always seemed too pseudo edgy to me. Cranemail while US based is a cheaper alternative by good folks.
What info do you want to collect and what do you want to keep private? If it’s an in-person event, how do you expect it to stay private once people show up? Why do you need sign up? What if you just announce the event and tell people to come?
17·10 days agohttps://en.wikipedia.org/wiki/Vasily_Blokhin
Blokhin was selected for the position by Joseph Stalin in 1926 and led a company of executioners that performed and supervised numerous mass killings in the Soviet Union during Stalin’s reign, mostly during the Great Purge and Eastern Front of World War II.[1] Blokhin is recorded as having executed tens of thousands of prisoners by his own hand, including his killing of about 7,000 Polish prisoners of war during the Katyn massacre in spring 1940, making him the most prolific official executioner in recorded world history.[1][2][3] Blokhin was forced into retirement in 1953 after the death of Stalin and condemned during de-Stalinization shortly before his death in 1955.
I don’t know the unicode situation with ed. It is pretty minimal. There is also GNU Nano which I’ve never learned how to use. Ed is a line based editor, not screen oriented. I’ve programmed with it (back in the day) but these days I use Emacs for everything except minimal tweaks.
Hard to tell what you want but maybe /bin/ed . I use zile now and then fwiw.
13·11 days agoRobots only half as efficient as humans, says leading Chinese producer
Customer: Ok, I’ll take two!
Careful mate. Attempt no landing there.
For simple cutting I just use ffmpeg. It can do a few other effects too.
The Nation can make nominations? What about c/nottheonion? This could get interesting.
Yes, that’s Frege’s system mentioned in Henry Cohn’s post. But that happened in a very naive time compared with today. So it would be more of a surprise if something like that happened again.
There is an MO thread about this:
Basically “our mathematical system” for mathematicians usually (though not always) refers to so-called ZFC set theory. This is an extremely powerful theory that goes far beyond what is needed for everyday mathematics, but it straightforwardly encodes most ordinary mathematical theorems and proofs. Some people do have doubts about its consistency. Maybe some inconsistency in fact could turn up, likely in the far-out technical fringes of the theory. If that invalidates some niche areas of set theory but doesn’t affect the more conventional parts of math, then presumably the problem would get fixed up and things would keep going about like before. On the other hand, if the inconsistency went deeper and was harder to escape from, there would be considerable disruption in math.
See Henry Cohn’s answer in the MO thread for the longer take that the above paragraph is cribbed from.
I can’t understand what you’re asking. If you want server to server relays, that’s IRC that has been around since the previous millenium. Matrix also has something like that. If you want single independent servers, that’s regular chat rooms.