Just going to leave these here for the moment. Continue reading

# Author Archives: strevdrrev

# Science Journalism Marches On

The claim that bacteria in the human body outnumber human cells by an order of magnitude or so has become a popular observation among Science Fans. A 2008 article in the ghastly New York Times states:

The bacterial cells also outnumber human cells by 10 to 1, meaning that if cells could vote, people would be a minority in their own body.

This is misleading. A single bacterium masses something on the order of 10^{-13} – 10^{-12} grams, while a human body cell is in the neighborhood of 10^{-9}g — 1,000 to 10,000 times larger. By weight, bacteria therefore compose somewhere between 1% and 0.1% of you, depending mainly on how recently you went to the restroom. Thus, the Important and Popular Fact presented in the NYT and other sources is technically true^{*}, in the sense that Vin Diesel is outnumbered by a small bag of crickets.

*: The claim also skips over the fact that the largest fraction of the bacterial population in question consists of symbiotes, which could be designated honorary human cells under the mitochondrial grandfather clause, but that’s a whole other post.

# Local and Global and the Terrible Telescope, Part 1

In the comment thread for my previous post, I remarked that

I don’t know of a good theory that bridges the chasm between individual justice (where I think free association is an important fundamental right) and global justice (universal behaviors like [

modes of systemic oppression]). I don’t pretend to have one.

What I’d like to do in this series is try to convince you that you probably don’t have one either.

*Local and Global • William Lane Craig is Terrible • Kant is Also Terrible**the Repugnant Conclusion is Neither • Telescoping Considered Harmful**You Are Not God, You’re Not Even President of the Galaxy**The Can’tegorical Imperative • Further Reading*

**1. Local and Global**

One hard lesson every student of advanced mathematics learns is that a construction that seems easy and obvious **locally**–for instance, in a small region of a space–can be very difficult, or outright impossible, to make meaningful **globally**–eg, over the whole space.

For example, think about the direction ‘North’. Which way is north? Wherever you happen to be reading this, you probably know already; if you don’t, your phone can probably tell you. ‘North’ is an easy **local** concept–we can all check which way north lies. We can find ‘north’, no matter where we go. Right?

Wrong.

# How to Tell Whether You Are Being Oppressed

Imagine that you’re faced with a problem, and some other agent X is involved in, or at least adjacent to, that problem. You suspect that X is oppressing you. How can you be sure?

# Virtual Jewelry, Mostly for Birguslatro

The social construction of jewelry is a remarkable, concrete example of virtuality or effacement, which perhaps explains why no critical theorist ever tried (AFAIK) to come to grips with it. Jewelry’s ancient role as a store of easily concealable, relatively liquid wealth has been completely erased, overwritten by its role as a *signifier* of wealth which is nearly valueless *as* wealth, difficult to resell at even a fraction of its original price.

An essential part of this murder of the real by the virtual has been the passivity, or complicity, of the consumer, who enters into a sort of negative knowledge: willingly absorbing an education on the subject of precious stones–particularly diamonds–that is deliberately and perniciously incorrect. Learning enough to even know that jewelry made with interesting but cheap synthetic stones is an option would require breaking this glamour (in both senses). Some people want lab-grown diamonds, but these people are ‘no one’ in the context of the Spectacle.

# Geometry is Heroic

Why study Euclid?

Euclid’s geometry shows you that you, personally, can know truth without taking anything on faith.

You don’t have to believe Euclid, you just have to walk the same road that Euclid and millions of others have walked, and see what’s there: truth that’s available to everyone, that doesn’t rely on faith, popular consensus, or opinion. The truth found in geometry is not an expression of power relations; it was constructed by people of many cultures but isn’t “socially constructed”. It is not moral, it does not demand obedience, it does not yield to hegemony, it does not submit to authority. You can only attain it by your own efforts, but you can still communicate it and share it with others.

Knowing this kind of truth, and knowing that you *can know* this kind of truth, is a power that can be gained no other way.

# Gödel for Dummies

Gödel’s theorems say something important about the limits of mathematical proof.

Proofs in mathematics are (among other things) arguments. A typical mathematical argument may not be “inside” the universe it’s saying something about. The Pythagorean theorem is a statement about the geometry of triangles, but it’s hard to make a proof of it using nothing but points and lines in a plane! For instance, Euclid’s own proof (per Wikipedia) starts like this:

*Let ACB be a right-angled triangle with right angle CAB.**On each of the sides BC, AB, and CA, squares are drawn, CBDE, BAGF, and ACIH, in that order. The construction of squares requires the immediately preceding theorems in Euclid, and depends upon the parallel postulate.*^{[13]}*From A, draw a line parallel to BD and CE. It will perpendicularly intersect BC and DE at K and L, respectively…*

The proof uses words, symbols and other tools that aren’t points and lines in a plane. Euclid’s proof thus is *about* geometry but isn’t *inside* geometry.

How does this apply to logic? Logic is (among other things) the mathematics of arguments. It’s reasonable to wonder if proofs about logic fit inside logic! More precisely, given a particular system of logic **S**, we can ask what **S** can and can’t say about itself.