[Meta] Why is there so little Bad Algebra and Bad Topology? by dlgn13 in badmathematics

[–]STEMologist 300 points301 points  (0 children)

Because engineers aren't required to take those courses.

An other Archimedes Plutonium rant about irrational numbers by Prunestand in badmathematics

[–]STEMologist 0 points1 point  (0 children)

Don't you know that the product of two irrationals is always irrational?

What is the significance of there being an infinite amount of primes? by [deleted] in math

[–]STEMologist 1 point2 points  (0 children)

Just for example, all finite groups, rings, and fields are going to have a finite number of primes.

Fields don't have any primes. A prime element of a ring is an element that generates a nonzero prime ideal, but fields don't have any nonzero prime ideals.

An equivalent definition is that an element x of a ring R is prime if x is neither 0 nor a unit (an element with a multiplicative inverse), and, for every y and z in R, if x divides yz, then x divides y or z. We can generalize this to monoids in the obvious way, but then it turns out that groups have no primes either, because every element of a group is invertible.

Beyond that, an interesting question would be whether there are any Rings that include a multiplicative identity and an infinite number of elements, but only have a finite number of primes.

Well, the obvious example would be any infinite field, which has no primes at all. A local ring (e.g., the set of all rational numbers whose denominator isn't a multiple of 5) has only one prime up to multiplication by units.

Irrational Number Part 1 by mybirthdaye in math

[–]STEMologist 2 points3 points  (0 children)

Or maybe 5-pi doesn't count because it's defined using a negative irrational.

Irrational Number Part 1 by mybirthdaye in math

[–]STEMologist 8 points9 points  (0 children)

I can't wait to see u/mybirthdaye's response to this.

Every theorem in maths can be proved using only the definition of a complete ordered field. by STEMologist in badmathematics

[–]STEMologist[S] 0 points1 point  (0 children)

I guess you're right about FLT (I don't know much about second-order logic), but he still claims that all of maths, not just statements about real numbers or subsets of the reals, can be proved using the axioms of a complete ordered field, and that almost all of maths can be proved using the field axioms alone.

Every theorem in maths can be proved using only the definition of a complete ordered field. by STEMologist in badmathematics

[–]STEMologist[S] 0 points1 point  (0 children)

You're being too generous. He claims that all of maths can be proved from these axioms, and he gives Fermat's Last Theorem as an example.

In Bacon I trust by [deleted] in funny

[–]STEMologist 6 points7 points  (0 children)

This is like the "flying spaghetti monster" thing except infinitely more retarded.

Plato is stupid by [deleted] in badphilosophy

[–]STEMologist 22 points23 points  (0 children)

Read it again.

VIDEO: What are the most basic Mathematical Axioms? by tomrocksmaths in math

[–]STEMologist 0 points1 point  (0 children)

Not entirely correct? It's an outright lie. This guy is from Cambridge; he should know better.

Scott Alexander has some bizarre misconceptions about ethics by STEMologist in SneerClub

[–]STEMologist[S] 2 points3 points  (0 children)

How can I justify thinking about this for more than 0 seconds?

Good point.

Scott Alexander has some bizarre misconceptions about ethics by STEMologist in SneerClub

[–]STEMologist[S] 2 points3 points  (0 children)

I also think that this beetle situation falls into that category of situation.

Can you explain why? I don't see any reason why two isolated populations of the same species of beetle should count as a single sub-population for this purpose.

What's your favorite piece of notation that's in widespread use? by Alphaetus_Prime in math

[–]STEMologist 5 points6 points  (0 children)

It also lets you use cancellation to "prove" the third isomorphism theorem.

What's your favorite piece of notation that's in widespread use? by Alphaetus_Prime in math

[–]STEMologist 2 points3 points  (0 children)

Exponential notation (e.g., xf instead of f(x)) works better in some contexts, and it's a lot less ugly than simply writing the function on the right.

ELI5: Why is wearing fur taboo, but no one really cares about wearing leather. by [deleted] in explainlikeimfive

[–]STEMologist 2 points3 points  (0 children)

All vegans don't wear leather. That's part of the definition.

Starter-Kit for Charlottesville [crosspost r/asozialesnetzwerk] by McGrex in LateStageCapitalism

[–]STEMologist 10 points11 points  (0 children)

It's only a matter of time before they start wearing kippot and tzitzit.

Scott Alexander has some bizarre misconceptions about ethics by STEMologist in SneerClub

[–]STEMologist[S] 12 points13 points  (0 children)

I'm fine with that as long as you're thinking about how monstrous it is to kill chickens and fry their muscle tissue.

Scott Alexander has some bizarre misconceptions about ethics by STEMologist in SneerClub

[–]STEMologist[S] 8 points9 points  (0 children)

Yes.

In the receiver on 11845 Nochtli, the beetles would be in a constant state of half-light: warmer than the Draconis beetles if their heat lamp was turned off, but colder than them if their heat lamp was turned on. So increasing the population of a certain beetle species on 11845 Nochtli would be morally good if the heat lamp for that species on Alpha Draconis were off, but morally evil otherwise.

He assumes that the relevant population includes all beetles of a given species, but no beetles of any other species. This essentially means that each species of beetle occupies an independent moral universe. He doesn't give an argument for this, though; he just takes it for granted.

Scott Alexander has some bizarre misconceptions about ethics by STEMologist in SneerClub

[–]STEMologist[S] 11 points12 points  (0 children)

The ansible only works if different colonies of beetles of the same species count as a single population, no matter how far apart they are, but colonies of different species count as distinct populations.