438 reputation
37
bio website
location
age
visits member for 3 years, 11 months
seen Dec 28 '12 at 3:01

Aug
31
comment Descriptions of sets and the Axiom of Choice
Another, perhaps less tautologous way I was thinking about the first question was this: if all sets (and thus all functions, I think) are specifiable by some finite formula, then assuming a countable alphabet, there exist only a countable number of functions. But it's typically said that there are an uncountable number of functions on the natural numbers, so I think that means that "most" of these functions require the Axiom of Choice?
Aug
31
comment Descriptions of sets and the Axiom of Choice
I studied basic formal set theory and model theory a while ago (at the level of a standard undergraduate course), and I can look up stuff I've forgotten (though more advanced things like forcing are beyond me), so details would be great -- I'm looking for an explanation on the rigorous side.
Aug
28
comment What is the set-theoretic definition of a function?
@Asaf: Ha, you got me there! I guess I've seen similar explanations before and yours was better :-), and you gave me at least a partial understanding (though for all I know it's an incorrect partial understanding ;-)).
Aug
28
comment What is the set-theoretic definition of a function?
@Arturo: Cool, yeah, I'll make a separate question after thinking about this a bit more. One last thing: can we prove that AoC is required to prove that such a function exists?
Aug
28
comment What is the set-theoretic definition of a function?
@Asaf: I think your answer was excellent for a high-level understanding. The part where it breaks down for me is why we can make a choice function on a finite number of pairs of socks, but not an infinite number. (It makes sense if we have to define the choice function with a finite string, but I don't see how it follows if the function can be undefinable. Or maybe therein lies my confusion? -- I've never really understood what Russell's analogy is saying, so is there in fact an (undefinable) choice function on the infinite socks? I guess I need a rigorous explanation of the connection =).)
Aug
28
comment What is the set-theoretic definition of a function?
Hmm, I think I kind of see -- there are a countable number of definable functions on the naturals, but an uncountable number of possibly un-definable ones. However, now I don't see why AoC is required to select from an infinite pair of socks. Could you elaborate on how that follows from this definition of a function? Asaf wrote "It means that you may not be able to write a finite sentence to help you choose from infinitely many pairs without the axiom of choice" -- was the mention of finiteness more to provide a layman's answer, or can it be rigorized?
Jun
30
comment Examples of results failing in higher dimensions
Chaos theory suddenly got a lot more interesting to me.
Jun
20
comment What kind of “symmetry” is the symmetric group about?
Reminds me a little of this question on MathOverflow: mathoverflow.net/questions/993/…
Jun
20
comment What is the relationship between the Boltzmann distribution and information theory?
Great explanation, that's exactly what I was looking for, thanks!
Sep
6
comment Sufficient statistics vs. Bayesian sufficient statistics
Cool, thanks for the link. Nice to learn that Bayes sufficiency comes from Kolmogorov.
Sep
6
comment Sufficient statistics vs. Bayesian sufficient statistics
I'm not sure what you mean by your last sentence -- the definition of sufficient statistic I listed comes from Wikipedia (and the point is exactly that $f(x|\theta, t)$ should not depend on $\theta$).