dmvaldman 101 days ago | link | parent | on: The Power of a Pronoun That seems....excessive-----
 dmvaldman 248 days ago | link | parent | on: Indescribable numbers: The theorem that made me fa... what the author means to allude to, through some nonsensical rambling, are the incomputable numbers [1]the cardinality of all real numbers that can be described by a terminating computer program to some accuracy is a countable set (since the number of such programs is countable) however, the cardinality of the reals is uncountable.hence most real numbers cannot be computed beyond a certain accuracy.Edit (additionally): the set of computable numbers forms a field (if a,b are computable, so is their sum, etc). and there are several movements in "constructive" mathematics, to work exclusively in this field, instead of the field of real numbers. however, many cornerstone theorems in analysis fail in this context, such as, the least upper bound of a bounded increasing computable sequence of computable numbers need not be a computable number [1].[1] http://en.wikipedia.org/wiki/Computable_number-----
 roywiggins 248 days ago | link Yeah, but you can describe many incomputable numbers. Indescribable numbers are not the incomputable numbers- Chaitin's constant's a nice one, it's the proportion of Turing machines that halt. Described. Now, compute it...-----
 dmvaldman 248 days ago | link | parent | on: What Is the Most Surprising Result in Mathematics? multiplying by two, and adding I presume. makes sense.to give some related knowledge, all matrices can be decomposed into direct sums of shifts and scales. this is the base of the jordan normal form [1]. infinite matrices can certainly encapsulate chaos.[1] http://en.wikipedia.org/wiki/Jordan_normal_form-----
 lotharbot 248 days ago | link There's actually no adding. Just multiplying by two. That's what makes the result so surprising.The key is the metric on the bi-infinite sequence space. Differing in the digit closest to the decimal point on either side gives a distance of 1/2, differing one digit further out is 1/4, then 1/8, 1/16, and so on (the total distance is the sum; the maximum distance between two sequences is 2 if they differ in every digit.) So two sequences are "close" to one another if their middle digits are all the same.This gives you the key attributes of chaos:(1) Sensitive Dependence on Initial Conditions. Two sequences can be identical for BIG_NUM digits on each side of the decimal point, and then completely different outside of that area. This means their initial distance apart is roughly 1/2^BIG_NUM. But after BIG_NUM multiply-by-two operations, the trajectories have diverged to a distance of around 2.(2) Topological Mixing. A similar construction to above -- select the first N digits of a sequence to make it fall into a particular neighborhood, and the next M digits to make it fall into a different neighborhood after the appropriate number of bitshifts. This can be done for any pair of neighborhoods.(3) Density of periodic orbits. Pick any point X in the space, and a distance epsilon. Construct a periodic orbit that gets within epsilon of X simply by taking the central digits of X (using log_2(epsilon) to select how many digits) and repeating those digits.There you have it -- chaos as a result of a single bitshift operation on bi-infinite sequences, with no addition or other operations.-----
 dmvaldman 267 days ago | link | parent | on: Shakespeare.txt.jpg: A JPEG compression experiment awesome :-)-----
 dmvaldman 283 days ago | link | parent | on: Ask HN: Who is hiring? (June 2013) Famo.us - SF Fulltime (http://www.famo.us)We make 3D interfaces and cross-platform apps on top of WebKit browsers. We're a big javascript house, and don't use any 3rd party libraries for our main platform, though experience with MVC libraries, three.js, D3.js, Node are all pluses.If you want to replace jQuery, send me an email: david@famo.us-----
 dmvaldman 301 days ago | link | parent | on: Every odd number greater than five is the sum of t... It's not so surprising. This could also be summarized as "God created the integers."But really the process is reversed: given arithmetic, what is the smallest axiom set to give us the power to prove our theorems.It's like, given all code, what is the smallest language we can use to express it. Which is sequences of 0s and 1s.-----
 zwegner 301 days ago | link > It's like, given all code, what is the smallest language we can use to express it. Which is sequences of 0s and 1s.This should be of interest: https://en.wikipedia.org/wiki/Binary_lambda_calculus-----
 dmvaldman 301 days ago | link | parent | on: Every odd number greater than five is the sum of t... The reason why this problem is difficult is because primes have everything to do with multiplication (every number is the product of primes), and summing numbers have everything to do with...well, addition. To give additive properties of numbers in terms of primes is like putting a round peg in a square hole.The reason why this problem is important, is that in the grand scheme of things, it'a more about the math and less about the applications. People have already assumed it to be true, and still not applied it to anything practical like cryptography, as far as I know. Please correct if not.-----
 surement 301 days ago | link > every number is the product of primesExcept prime numbers.> People have already assumed it to be true, and still not applied it to anything practical like cryptographyHow can you use something that you didn't prove?-----
 gizmo686 301 days ago | link Easily, act as if you proved it. We are generally very hesistent to do this (with good reason), but sometimes practicality takes over.For example, we have not proven that are current construction of mathematics contains no contradictions (indeed, we have proved that such a proof is impossible), however, we continue to act as if it does.We have also not proved that factoring numbers is hard, or that NP/=P, but we still act as if these are true.-----
 esrauch 301 days ago | link Can you explain your question? It seems obvious that you can take something that is not proven as an axiom and try to use it in some practical applications. Maybe to disastrous results if it ends up being wrong, but no worse than what is already a risk with bugs in implementation.-----
 surement 301 days ago | link > Maybe to disastrous results if it ends up being wrongThis is what I meant. Bugs are never introduced intentionally in this manner. Though I suppose we can say that most encryption is used based on an unproven assumption, so I see your and dmvaldman's point!-----
 dmvaldman 301 days ago | link Also, Golbach's conjecture has been verified up from 5 to 4000000000000000000 computationally.But in general, it's common for mathematicians to assume a conjecture is true and go on from there, because if they arrive at a contradiction, then they can conclude the conjecture false (or that another interesting fact may be logically equivalent to the conjecture).Pure mathematics consists entirely of such assertions as that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing. It is essential not to discuss whether the first proposition is really true…. Thus mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. - Bertrand Russell-----
 vbuterin 301 days ago | link You assume it is true, and write a program that relies on it.-----
 samstave 301 days ago | link Yeah, but every prime is the product of numbers!All is number!/s-----
 dmvaldman 303 days ago | link | parent | on: Philip Greenspun Reviews “Lean In” This is so embarrassingly bad...it starts bad, and then gets worse... examples:He discredits one of Sandberg's scientifically verified claims that women take criticism worse than men, by referencing "as John Ioannidis notes, “Most Published Research Findings are False.”Yet he begins his review with a US News report:"This US News article describes research that found that, among college graduates, left-handed men earned 20 percent more than right-handed men."Talk about a bayesian paradox here. It's easy to prove people wrong (and right) when you believe A and ~A.I could go on, it gets much worse. Does he really think Harvard uses the same internet bandwidth for their particle physics dept and the dorms? Ugh...-----
 macspoofing 303 days ago | link >He discredits one of Sandberg's scientifically verified claims that women take criticism worse than men,I don't know about the "scientifically verified claim". In general, scientific claims made in scientific journals are nuanced, and context sensitive. I would be wary of a lay person with a particular position weaving attributions to journal papers indiscriminately in their essays. Furthermore, Humanities research is notoriously error-prone and lacking in rigor. In this respect, I'd say Greenspun is probably close to the truth.-----
 dmvaldman 303 days ago | link that's not the point. saying left-handed people make 20% more than right-handed people is equally (if not much more) dubious.you can't argue that someone's references are possibly fabricated, and then support your own point with your own "scientific" reference.really it comes down to: if you ever find yourself arguing that someone's references are likely wrong because they are in the humanities... well...that's a conversation ender.and i have a phd in math. believe me sometimes humanities people rub me the wrong way. but i would never make a general statement like that, and especially not to "prove a point."it's the refuge of a scoundrel.-----
 macspoofing 303 days ago | link > saying left-handed people make 20% more than right-handed people is equally (if not much more) dubious.That was his point! Sheryl Sandberg has a particular thesis and cherry picked some numbers from some study to support her assertion. He mocked this by cherry picking another. I'm pretty sure he doesn't particularly know (or care) if right-handed people are more successful in their careers.This may be fair or it may be unfair criticism, but the fact that Sandberg threw a whole bunch of references in doesn't automatically mean her assertions are supported by science.>if you ever find yourself arguing that someone's references are likely wrong because they are in the humanities... well I just want to punch you in the face really..Your reading comprehension is suspect. I certainly didn't argue this, and neither did Greenspun.-----
 furyofantares 303 days ago | link > that's not the point. saying left-handed people make 20% more than right-handed people is equally (if not much more) dubious.The sentence before that is "Hardly anybody knows anything about why some workers succeed more than others." His citation of the US News report is meant as an example that there is a lot of confusion on the subject. He is using it specifically to illustrate that dubious claims are flying around.-----
 vrotaru 303 days ago | link This is bad???Sandberg confirms that “A is Average” at Harvard. Her brother David, a neurosurgeon whom Sandberg admires because currently “he splits child care duties with his wife fifty-fifty”, was also a Harvard undergrad. He takes “a class in European intellectual history”, skips all but two lectures and all but one book, gets tutored for three hours and receives an A for the semester (p32-33). The guy’s success is attributed to the general confidence of men. Sandberg does not consider how likely it is that her brother’s confidence would have resulted in an A in a physics class at Caltech.-----
 dmvaldman 303 days ago | link Yes it is. Because Sandberg never says she admires her brother because of that fact. She says she admires her brother, and then states that fact about the brother. Greenspun is the one who makes the false connection. Here is the full quote:I should have understood that this kind of self-doubt was more common from females from growing up with my brother. David is two years younger than I am and one of the people in the world whom I respect and love the most. At home, he splits child care duties with his wife fifty-fifty; at work, he's a pediatric neurosurgeon whose days are filled with heart wrenching life-and-death decisions…With Greenspun's logic, you could equivalently claim Sandberg admires her brother because he is a neurosurgeon.-----
 girvo 303 days ago | link You seem to be misreading a lot of the article. To be expected really, it's quite full of sarcasm and dry wit, which doesn't come across via text particularly well.-----
 dmvaldman 303 days ago | link example? that quote is from the book btw, not the article.-----
 vrotaru 303 days ago | link Actually the point Greanspun (not Greensburg) is trying is whether her brother confidence`` would have resulted in an A in a physics class at Caltech.``-----
 dmvaldman 303 days ago | link That may be his point. My point is that he stitches together falsehoods to evoke emotional responses in his readers.-----
 gwern 303 days ago | link This is why I unsubscribed from Greenspun's blog a long time ago (that and him deleting my comments); he makes some good points (Sandberg is indeed extremely exceptional and much of her views are ludicrous), but he buries them in a sea of bias and partisanship.Easy exercise for readers: go through this post and a few previous posts, and count every use of 'meta' points like Ioannidis's paper against a claim. Notice any patterns?And then there are the gratuitous digs...> Sandberg identifies the same tendencies for underlings in a bureaucracy to hold their tongues that Max Weber noticed 100+ years ago (p85; no reference to Weber).And why should there be any reference at all, Phil? Most people never read a page of Weber, and it's not an observation which requires uniquely keen insight or experience...-----
 jerrya 303 days ago | link Philip Greenspun used sarcasm. He knew all the tricks, dramatic irony, metaphor, bathos, puns, parody, litotes and satire.-----
 qohen 303 days ago | link He knew all the tricks, etc."Apropos: Monty Python's "Piranha Brothers" sketch, specifically, @ 1:35 of part 2 (but watch it all):(Or you can just read it:http://pianosa.com/pic/sketches/piranha.htm )-----
 natrius 303 days ago | link It's super effective.-----
 dmvaldman 303 days ago | link ah. so being methodically retarded is all part of his plan. how clever!-----
 drivers99 302 days ago | link In the quote about right-handed men, I think you missed the following parenthetical phrase: "(and as noted below (Ioannidis), this result is itself probably false)"? It's not (A and ~A), it's the same thing in both statements (i.e. published studies aren't reliable).-----
 dmvaldman 312 days ago | link | parent | on: Animated Vector Icons this is awesome. honestly people. shut up.-----
 dmvaldman 374 days ago | link | parent | on: What is your best programmer joke? Three logicians walk into a bar...Bartender: can I get you all a drink?1st logician: maybe2nd logician: maybe3rd logician: yes-----