This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2016-08-12
Channels
- # bangalore-clj (4)
- # beginners (40)
- # boot (53)
- # cider (34)
- # cljs-dev (9)
- # cljsrn (11)
- # clojure (113)
- # clojure-boston (5)
- # clojure-dev (9)
- # clojure-dusseldorf (4)
- # clojure-russia (8)
- # clojure-spec (11)
- # clojure-uk (12)
- # clojurescript (88)
- # cloverage (17)
- # conf-proposals (4)
- # core-async (30)
- # cursive (9)
- # datomic (107)
- # euroclojure (5)
- # hoplon (196)
- # luminus (10)
- # off-topic (20)
- # om (24)
- # om-next (1)
- # onyx (80)
- # parinfer (3)
- # pedestal (16)
- # planck (44)
- # proton (8)
- # protorepl (1)
- # re-frame (19)
- # reagent (7)
- # spacemacs (2)
- # untangled (29)
- # yada (25)
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
i think its called "The Calculi of Lambda-Conversion" which i though was his masters thesis
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
crazy to see the title taking on zermelo. that's a big part of a famous acronym to take on in a masters thesis
and seems like it should be not super relevant, but maybe informative. since turing and cohen showed that choice is independent of zf
i though he showed it was consistent with, and cohen with forcing showed the negation was consistent
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.
Yes, it was Gödel not Turing