anyone know where to get a copy of church's thesis? I've never read up on it and wanted to run through it. Only things i'm finding right now are retrospectives and introductions

@dpsutton: which work are you specifically looking for? something related to the church-turing thesis? church's dissertation is about the axiom of choice, but that's probably not what you're looking for

ah. i'm looking for his paper on the lambda calculus

i think its called "The Calculi of Lambda-Conversion" which i though was his masters thesis

but axiom of choice stuff sounds good too

Right, that one! It's even available on Amazon. Alternatively you could try a university library.

It's probably also available through LibGen and similar sites with questionable legal status.

This is the dissertation. I have no idea of how relevant it is from the contemporary point of view. http://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/S0002-9947-1927-1501383-1.pdf

oh awesome

crazy to see the title taking on zermelo. that's a big part of a famous acronym to take on in a masters thesis

i appreciate you finding that for me

and seems like it should be not super relevant, but maybe informative. since turing and cohen showed that choice is independent of zf

ie, we know there are set theories without choice

Hmm, I didn't know Turing was involved in that.

wasn't he?

i though he showed it was consistent with, and cohen with forcing showed the negation was consistent

Maybe you're thinking of Gödel?

What's a good way to append mp3s and have the length of the file correctly recognized by itunes/ipod? I tried mp3wrap, mp3cat, etc.

nevermind. yeah godel and cohen

Yes, it was Gödel not Turing