My poetry...

Is so formulaically modernist...

Rhapsody in Blue

(For Sasha)

"I", she said to me, looking up from a cup of tea.
"I should have been a rhapsodist.
But, my dear, I have no skill for words,
no aptitude for meter."
With poetic eloquence she explains,
"I wrote when I was younger."
But never since.

"I was born with a talent of gold, you see.
But I've earned nothing more."
I know, my friend, you are terrible with money,
and have gotten rather poorer.
But a talent is a hefty sum,
and can always be made
to last a little longer.

Testing LaTeX

$\displaystyle|\mathcal{F}|^k\leq \prod_{i\in I} |\mathcal{F}_i|^k$
That's a corollary to Shearer's Lemma, by the way.
(I haven't told you what $I$, $\mathcal{F}$ and $\mathcal{F}_i$ are; oh well)

Anyway. This is courtesy of Watch Math. It's pretty simple, in fact. And it'll make the math on this site prettier.

I may (read: probably won't) get around to rewriting all my math in $\color{white}\LaTeX$.

Edit: Hmm... it seems the LaTeX sometimes takes a little while to load properly. Please be patient.

Introduction to Logical Languages (2)

In my last post (earlier today), we defined a logical language. But we ended wondering how to give meaning to this language. Since we are looking at mathematical logic, we want a mathematical structure to talk about-- every logical statement fits inside of some logical structure: A group G, ZFC, N, the theory of groups, etc.
So, what is a structure and how does this relate to a logical language? A structure is just a set which has some additional material attached; since we have a language we're not using, we might as well attach it to the set.

For a set A, and a language L, an L-Structure is a non-empty set A, (called the universe of structure for A) such that:

• For each constant symbol c, we have a c^A in A.
• For each k-ary function symbol f, there is an f^A:A^k->A.
• For each k-ary relation symbol R, there is an R^A in A^k

These x^A are called interpretations of x. You can think of an L-structure relating to L as a meaning for L. They just drop these symbols into this universe structured around A, and give them a home. But we still don't actually have a way to get from L to its "meaning" in A! Namely, our structure does not contain any information about variables.

A quick recap: we've taken a set A, and equipped it with a structure by dropping symbols from a logical language into it-- notice that constants are just members of A; this is a good thing. And k-ary functions (relations) are functions (relations) which take k elements of A; also a good thing. But we still haven't done anything with our variables So, what kind of variables do we have if we're looking at a set A? We have elements of A. So, let s be a function s:V->A, and let's call it an evaluation map [remember, V is the set of variables in our language]. So, we have a function which gives each variable a value. Good!

But right now, our function and our L-structure are kind of disjoint. We need a function which can take the value of our variables and push those through the interpretations of our functions and relations. So!
For s, let s':T->A with the following properties:

• s'(x)=s(x) [when x is a variable]
• s'(c)=c^A [when x is a constant]
• s' preserves function application: s'(f(t_1,...,t_k))=f^A(s'(t_1),...,s'(t_k)).

These properties mean that s' preserves the structure we've defined on A (so s' is a homomorphism.) If the structure weren't preserved, then we'd run into the problem that if you evaluated f first, you might get something different than if you evaluated the arguments first. Also, you may be wondering why relations aren't included in this: remember that T is the set of terms, and relations aren't terms.

So far, we've defined a logical language, and we've given our language a set to play in, and given our terms a meaning. Pulling back out, when our terms mean something, then we can ask whether a statement about our terms is true. So, truth:
For an L-structure X on A, and an evaluation map s:V->A (X is easier to write than a new font), a statement a is called true (with evaluation s)-- in symbols X|- a [s] if:

• When a: t=u, then X|- a [s] iff s'(t)=s'(u)
• When a: R(t_1,...,t_k), then X|- a [s] if and only if R^X(s'(t_1),...s'(t_2)) holds.
  
• Similarly for non atomic formulas.

Basically all we are saying is "The statement is true in a structure if and only if it makes sense to call it true in that structure." We've just jumped through some hurdles so that we can say "it makes sense" in a rigorous way.

I hope this was easier to follow than the lectures it came from (to be fair, I've left out some useful material about homomorphisms, which was almost as abstract as the evaluation maps)

Introduction to Logical Languages (1)

This is mostly to clarify in my mind the material from the first 2 lectures of the (mathematical) logic class I'm taking. Hopefully it will also help someone else.

So. We want to be able to look at logic from a formal, rigorous perspective-- which means we need to define logic formally. The guiding question when defining it should be: What does a logic look like? We want variables and all the fun logical connectives, and we want them to mean something, and we want all the meanings (eventually) to boil down to the question "Is this statement true?".

So, let's make each of those happen, one at a time;
First, we need some symbols. We will call S our alphabet-- the set of symbols. This may be tediously formal, but it must be done. Since we want to create a logic, we need the logical symbols: So S contains the connectives and quantifiers, (I'm not going to list them) and just as importantly: variables. These are our logical symbols. Since this is mathematical logic, we need some mathy non-logical symbols; these will be constant symbols, relation symbols and function symbols (these will also "look like" variables, but we want to distinguish between them for reasons we will see shortly). We will also consider '=' to be a logical symbol-- I know it's a relation, but it's a special one, and we want to keep it special.

So, we have a bunch of symbols; that doesn't do us much good, so let's let S* be the set of finite sequences from S. Namely, the empty sequence (I'll use _|_) is in S*, S is a subset of S*, and if a and be are in S, ab (the concatenation of a and b) is in S*.
We want to define a language, L, as a subset of S*, but while any subset is a language, we don't want just any subset: it has to be something that we can "read" in a meaningful way. We have to define our language inductively, and piece by piece. I'll let you know when we get there.

Let the set of L-terms (or just terms) be the smallest T such that:

• V (the set of variables) is in T.
• C (the set of constant symbols) is in T.
• Whenever t_1,...t_k are in T, and f is a k-ary function symbol, f(t_1,...,t_k) is in T.

Notice that this definition is recursive: any t_i in the last condition may have the form f'(t_1',...,t_k').
A term is an object which we can equip with some non-logical value, which may need some sort of context (a value for a variable). But a term does us no good on its own, if we are interested in logical values. So, an atomic formula is:

• if t, u are terms, then "t=u" is an atomic formula.
• if t_1,...,t_k are terms, and R is a k-ary relation symbol, then R(t_1,...,t_k) is an atomic formula

So, like any set of "atoms", atomic formulas are the building blocks for formulas.
The set of L-formulas (or just formulas) is defined inductively:
Base case: Atomic formulas are formulas.
Closure: The set of formulas is closed under logical connectives, and quantifiers.
(What this means is that if you have two formulas, p and q, you can connect them using a logical connective, and you can quantify them, and the sequence of symbols you create will also be a formula.)

So, we now have something that looks like the logic we know. But there is a problem: if x and y are variables, "x=y" is a valid formula. But what are x and y?
In that formula, both x and y are free variables. For a given formula the free variables are :

• (for s, t terms) FV(s=t)= var(s)Union var(t) [var(t) means the variabls in t]
• (for R a k-ary relation) FV(R(t_1,...,t_k))= Union(t_i)(over 1≤i≤k)
• (for ~ a logical connective, a,b formulas) FV(a~b)= FV(a)UnionFV(b)
• (for x a var, b a formula) FV(forall x, b)= FV(there exists x, b)= FV(b)\{x}

(Sorry for the formatting...) All this says is that anytime a variable is introduced, it is "free" until it has been quantified.
So finally, we have: A sentence is a formula with no free variables, and our logical language, L, is the set of all sentences from S*.

Cool! We have a logical language. Looking back at our list of things we want, we've got connectives, and we've got quantifiers and just a little bit more. Unfortunately, this means we're not quite done: this language is meaningless. We haven't once said what these symbols actually mean. And we will learn how to do that next time.

Random Conversation

(Laughter has been removed)

MC: hmm. I'm demoting you
CK: ?
MC: you are no longer Master Commander of Hypothetical Operations.
CK: But if you don't demote me, think about how great everything would be!
MC: Your title is now Chief Executive of Jello Affairs.
CK: But!!! I'm not jiggly enough!
MC: hmm... actually, I don't know if I like that title... Jello Executive, Fruity Faction.
CK :I do, however, know that every conditional with a false antecedent is true... and I am responsible enough to only imagine badass scenarios.
MC: mostly so it abbreviates to JEFF
CK: If I had not been demoted, you would be richer than google.
MC: a googol dollars!!!
CK: If I were currently MC of HO, then yes.
MC: hmm
CK: (Hurray vacuous truths!!!) Allowing mathematicians to make vacuous promises since 1000BC
MC: right, could have doesn't actually imply causal effect, does it?
CK: Well, it's that If x Then y is always logically true when x is false. Because the implication is only broken when x is true and y is false. I had a prof who was in the habit of using vacuously true cases for the base case of an induction. Like, a statement about edges in a graph; his base case would have no edges...
CK: Why did I get demoted, by the way?
MC: glitch in the payroll system.
CK: Ah. Well; can't be helped.
MC: actually, we introduced the glitch after the fact
CK: I can't blame anyone, can I.
MC: there was a glitch in the name placards and they came out wrong.
CK: Well, if the name placard says so, it must be so.
MC: so we demoted/promoted people accordingly. It only made sense.
CK: Of course.
MC: we didn't want to waste the money we spent printing them.
CK: A company needs principles if it's to run smoothly. Principals? I don't know which.
MC: well, it needs both; who else is going to turn the hamster-wheel-power-generator?
CK: Right. This is why you can promote, and I'm only the JEFF. Best conversation ever, by the way.
MC: no, they only let me demote. I don't have authority to promote. They only give that authority to the janitor's secretary.
CK: I see. That seems sensible.
MC: I'm not sure this conversation would make any sense were I to read through it after forgetting the fact itself.
CK: You forget that it makes no sense now.

The mathematician on the street...

That last post was a bit of frustration about an ongoing discussion of AC/CH on the FOM mailing list. Not everything about the discussion has been quite as frustrating as the whole discussion-- namely, some fantastic quotes have come from it. Here are some of my favorite in posting order (I think they slowly get less and less technical...):

"All that we have here in this quasi-paradox is confirmation that reals are not a perfect model of dart throwing and vice versa." -Thomas Lord

"It would be useful to provide some rationale why the continuum having cardinality aleph_1 leads to more unusual results than, say, the Banach-Tarski paradox. Furthermore, I would like to know why you think these results should lead us to reject the continuum hypothesis but not the axiom of choice. Finally, I would be interested to know what has led you to conclude that most 'mainstream mathematicians' find your arguments convincing." -Lasse Rempe

"They are not claiming to have an argument formalizable in ZFC; they are merely claiming that mathematicians have overreacted to the results of Banach-Tarski, Godel, and Cohen by throwing out too much of their intuition about assigning measures to subsets of R^n." -Joe Shipman

"If you think it's an interesting question to investigate plausible extensions of ZFC that settle CH, then you're already a dyed-in-the-wool f.o.m.er." -Tim Chow

"But in my experience, if you pick a random mathematician who is not already interested in f.o.m., there's at least a 50% chance that you'll have to remind them of the definition of a well-ordering of the reals and of its relationship to the axiom of choice." -Tim Chow

"So you do not accept AC in the same way you accept the other ZF axioms? That's fine, but it's not the position of the mathematician in the street." -Joe Shipman

" I don't think the mathematician in the street will respond, 'Gee, since I accept AC as gospel, I am forced to blame these pathologies entirely on CH!'" -Tim Chow

"For starters, [the mathematician on the street] is unlikely to be able even to list the axioms of ZF, but he or she will know AC explicitly, precisely because it is known to have some strange consequences." -Tim Chow

(Included because of how wrong it is): "I think we are in danger of forgetting that not only do most mathematicians-in-the-street not believe AC, most of them have no intuitions about it and cannot state it even roughly, let alone have any idea how to use it." -T Foster

"Someone who does not know such basic material cannot be called 'a mathematician' (neither in the street nor anywhere else)." -Arnon Avron

"I am reminded of a time in graduate school [...] when I delivered my self of the opinion that cardinal trichotomy was, intuitively, OBVIOUSLY true and that the Well-Ordering Theorem was, intuitively, OBVIOUSY very fishy." -Allen Hazen

"This certainly circumvents the use of AC, but I submit that it is somewhat contrary to the mathematical practice of *not* equipping structures with non-canonical stuff that is extraneous to their essence. You could define a vector space as something that comes equipped with a basis, or a manifold as something that comes equipped with an embedding in R^n, or a group as something that comes equipped with a homomorphism to an automorphism group of something, etc." -Tim Chow

"mathematicians tend to replace the use of existential statements by the introduction of skolem functions. This is such a common procedure that they do not even notice that they are using AC when they do so." -Arnon Avron

"In particular we agree that these street mathematicians (one pictures them performing Hilbert's Nullstellensatz while passers-by drop coins in their hat) are enumerating witnesses to countability rather than countable sets." -Vaughn Pratt

"Depriving the street mathematician of her witnesses is like depriving a boxer of his fists. [...] Why should she care that foundationalists make things harder by killing off her witnesses?" -Vaughn Pratt