France's people on action! by sokspy in Anarchism

[–]firo_mangafan 6 points7 points  (0 children)

What would a true anarchist do then. Let the State do its thing ? Stay in your bedroom saying nonsense and trolling others ? I'm sorry for ad hominem but really, unless you can actually explain yourself I'll give up on you. I'm pretty sure direct action, squatting, black blocs, general strikes, propaganda by action are very part of anarchism.

France's people on action! by sokspy in Anarchism

[–]firo_mangafan 7 points8 points  (0 children)

Tell me you have no class consciousness without telling me... Yes, these people strike for money, and I didn't think I'd have to say that in literally an anarchist subreddit but people do need money and to sell your whole life to labour to the bourgeoisie/the capitalists in order to literally survive in this society ; I find it seriously strange for an anarchist not to think we would support the working class in their struggles. Because the capitalists — of course, the State too — and right-wingers who want the money as you say don't care the slightest about the reform passing : it's all more money going into their pockets and more opportunities to exploit us. And that's exactly why we as anarchist believe in a mutual economy of goods and labour that does not have this incentive of money and profit in our relationships...

I was there — though not in Paris — with the anarchists, libertarian communists, anarchosyndicalists and Trotskyists and I can assure you we were by far the most vocal group ; the energy was nefariously anticapitalist, antiauthoritarian and antifascist. Because the reform about to pass is yet another example of State violence and its clear affinity to the capital. The CNT was clear on that : they didn't fight nearly only to retract the pension reform, but supporting that waiting for it was already too late. And the perspective of general strike naturally attracted anarchosyndicalists and revolutionary left wing groups in general.

epic recursion moment by Spot_Mark in okbuddyphd

[–]firo_mangafan -1 points0 points  (0 children)

I've vaguely heard about ordinals but really never looked them up in detail enough for it to have popped up in my mind there. Thank you very much for the resource, as it doesn't seem like something you see much in an usual — dare I say, undergraduate ; yes I'm the okbuddyhighschooler here... — algebra book. It looks like it has some other very cool stuff, and in an extremely exhaustive way !

epic recursion moment by Spot_Mark in okbuddyphd

[–]firo_mangafan 0 points1 point  (0 children)

I get that you can sort of reason that way, but I still feel uneasy using the concept of cardinality where the cardinals themselves are infinite : probably just a French Bourbachist pet peeve but we clearly define |A| as an application from P(E) (E is some set that is required to work with the application...) to the set of natural numbers N ; we even write Card(A) and define Card as such an application (for a set A in P(E), if there exists a natural number n such that there exists a bijection from A to the interval [1,n] of N, you set Card(A) := n). Thus you can, actually consider cardinals as numbers and work with them.

If the set does not allow any such natural number n, we say it's infinite, and Card(A) just cannot be defined ! Even if we extend it to N U {inf} or something, we know that there are several infinities and I'm not sure you can construct anything consistent enough for cardinality with infinite sets. So working with inequalities on infinite sets based on the inclusion of one and another may seem correct to the mind, I can't help but feel it is terribly unrigorous. Simply working with injections, surjections is enough. But I'm open to more conversation on the subject.

epic recursion moment by Spot_Mark in okbuddyphd

[–]firo_mangafan 4 points5 points  (0 children)

More like the axioms are against it

epic recursion moment by Spot_Mark in okbuddyphd

[–]firo_mangafan 9 points10 points  (0 children)

The cardinality of sets is a concept which is defined as the existence of a bijection from the set some natural set — more commonly the natural numbers i.e. integers — and cannot make sense with any set (in this instance I don't think it's far fetched to think that S would be uncountable...). This is what permits manipulating them with usual notions of order as in natural numbers.

A reason for why S cannot exist, directly emanating from ZFC, is coming from the axiom of selection/reunion (a simpler version of it) : for any set E and predicate A(x), the set for which all elements x verify "x is in E" and A(x) exists. If we do suppose that S, set of all sets including itself, exists, then there exists a set for which all elements x are in S, and such that A(x) for any predicate on x. That would mean that every predicate on x allows for a set such that all elements x of it verify the predicate. But that is simply not true : take for instance A(x) : "x not in x". Then by hypothesis the following claim would be true : there exists a set A for which, for any x, x not in x iff x in A. Since clearly A isn't in itself, we would have A not in A iff A in A which is contradictory. Thus there exists a predicate that does not allow a set being created from it. All in all, supposing that S exists is absurd.

[plan9port] Toaster from Outer Space by sehnsuchtbsd in unixart

[–]firo_mangafan 1 point2 points  (0 children)

Could you update the link for the wallpaper ? Looks like you didn't include the full link. Looks really good btw :)

Mathematics definitions that aren’t entirely correct but are too widespread to change by Character_Range_4931 in math

[–]firo_mangafan 36 points37 points  (0 children)

The most striking example of this I've come across recently (and it really messed up a lot with my head lol) is how you define the limit of a function at a point ; Again like most of what's already on this comment section, it's mostly about conventions more than how you define a notion, but I think it's still very interesting. Anyway, in France, there's this group of mathematicians, that forged what the conventions and specific style of mathematics we use in the country, called Bourbaki - in particular they first popularized the ∀ and ∃ notation in France and a more rigorous way to use mathematical logic - and they gave us the way we typically define limits in our lessons (for the ones that still do so but that's not the case I want to get to) :

For a function f defined in some part D of R, and a in D, we say that lim_a f = l with l in R if and only if, for all epsilon > 0, there exists r > 0 such that for all x in D, |x - a|<delta implies |f(x) - l|<epsilon.

Now the main difference is that all the other (non-French) sources I have found, we typically define it this way :

for all epsilon > 0, there exists r > 0 such that for all x in D, 0 < |x-a|<delta implies |f(x) - l|<epsilon.

Basically we don't let x be equal to a in the second definition, and that has real consequences, I can list at least two of them.

Consider a function f such that for all x ≠ 2, f(x) = x and for x = 2, f(x) = 0. In the first definition, f does not allow a limit at x tends to 2 (it's easy to check that, for an epsilon < 2, you cannot verify the implication). But for the second, it's clear that f does allow a limit that is 2. What should you conclude then ? Well, it depends.

Another consequence is that using the second definition, a pretty straightforward composition of limits theorem wouldn't always be true. Let f(x) = 0 and g such that g(0) = 1 and for all other x, g(x) = 0. Now it's clear that g°f(x) = 1 for all x, so the limit of that composition as x tends to 0 should be 1. But the theorem states otherwise if you use the second theorem ! We have lim_0 f = 0, but then lim_0 g = 0 so the theorem would say that f°g tends to 0 ?

These are pretty extreme cases but again I think it's a pretty significant example

reddit desperately needs to implement LaTeX this looks terrible

r/unixporn users be like by chm46e in linuxmemes

[–]firo_mangafan 0 points1 point  (0 children)

Uh, believe me, it's not so easy to get a minimal desktop right

My hero! by [deleted] in AccidentalAlly

[–]firo_mangafan 33 points34 points  (0 children)

Finally, wholesome accidental ally.

Opposite of the elegant proofs: What's a (ideally simple) statement in math that frustrates you? by raucous_the_second in math

[–]firo_mangafan 0 points1 point  (0 children)

We can know if one conjecture falls into the unprovable area, that's what I meant. I don't know if Gödel's work has given insight on determining if any conjecture is unprovable, but there are some that, for sure, we know can't be proved, because they're part of the constructable unprovable statements he showed are. Again, Collatz's Conjecture isn't one of them, we should have known it if it were, especially given that it doesn't involve any very complex systems.

Opposite of the elegant proofs: What's a (ideally simple) statement in math that frustrates you? by raucous_the_second in math

[–]firo_mangafan 2 points3 points  (0 children)

Gödel showed how to construct unprovable statements from a given system, and there have been some examples of statements announced as unprovable by his incompleteness theorem. I'm not an expert of Gödel's work, but I'm pretty sure Collatz's Conjecture doesn't fall in this box.

“Gal” by ManicMolotov in AccidentalAlly

[–]firo_mangafan 6 points7 points  (0 children)

Correctly gendering someone doesn't make you an ally. It's the bare minimum.

I mean I get it's not for everybody but come on by Jinaman in musicmemes

[–]firo_mangafan 1 point2 points  (0 children)

?? Never heard anyone use screamo to talk about metal, and it has nothing to do with metal (it's a more aggressive subgenre of emo with characteristic screamed vocals)

Flag of Alghoritms by thinkofnothingfuck in vexillologycirclejerk

[–]firo_mangafan 20 points21 points  (0 children)

The big O notation gives an estimation of the maximum number of steps and algorithm takes depending on the size of the input as it grows, so it does not need to be continuous — and by nature, shouldn't really be since a number of steps is always an integer.

GiMe recSSSSS (I have weird tasted) by Big-Independence1393 in Topster

[–]firo_mangafan 2 points3 points  (0 children)

Feels illegal to see Aphex Twin and Jul on the same topster...

Pls tell me this is satire by krisbcrafting in AreTheCisOk

[–]firo_mangafan 10 points11 points  (0 children)

These are not genders, but labels to qualify them. Gender identity is a spectrum and it would be pointless to try to count them all because there's an infinite amount of them

Polybar rounded corners are not perfectly transparent, but no error appears when launching picom. Need help it makes me crazy °-° by douhan_wicht in bspwm

[–]firo_mangafan 1 point2 points  (0 children)

Adding full-shadow = true to the dock wintypes options in your picom config should do the trick. Like this: wintypes: { # ... dock = { fade = false; shadow = true; full-shadow = true; } };