Comment author: JonahSinick 03 June 2013 08:13:50PM 3 points [-]

The most salient to me would be Cauchy's 1821 "proof" that the pointwise limit of continuous functions is continuous; counterexamples were not constructed until 1826 (by which time functions were better understood) and it took until 1853 for the actual conditions (uniform continuity) to be developed properly. This statement was at least as well supported in 1821 as Euler's was in 1735.

What was the evidence?

Comment author: Jonathan_Lee 03 June 2013 09:25:07PM 1 point [-]

That it worked in every instance of continuous functions that had been considered up to that point, seemed natural, and extended many existing demonstrations that a specific sequence of continuous functions had a continuous limit.

A need for lemmas of the latter form are endemic, for a concrete class of examples, any argument via a Taylor series on an interval implicitly requires such a lemma, to transfer continuity, integrals and derivatives over. In just this class, you get numerical evidence came from the success of perturbative solutions to Newtonian mechanics, and theoretical evidence in the existence of well behaved Taylor series for most functions.

Comment author: Jonathan_Lee 03 June 2013 07:32:19PM 13 points [-]

Observationally, the vast majority of mathematical papers do not make claims that are non-rigorous but as well supported as the Basel problem. They split into rigorous proofs (potentially conditional on known additional hypotheses eg. Riemann), or they offer purely heuristic arguments with substantially less support.

It should also be noted that Euler was working at a time when it was widely known that the behaviour of infinite sums, products and infinitesimal analysis (following Newton or Leibnitz) was without any firm foundation. So analysis of these objects at that time was generally flanked with "sanity check" demonstrations that the precise objects being analysed did not trivially cause bad behaviour. Essentially everyone treated these kinds of demonstrations as highly suspect until the 1830's and a firm foundation for analysis (cf. Weierstrass and Riemann). Today we grandfather these demonstrations in as proofs because we can show proper behaviour of these objects.

On the other hand, there were a great many statements made at that time which later turned out to be false, or require additional technical assumptions once we understood analysis, as distinct from an calculus of infinitesimals. The most salient to me would be Cauchy's 1821 "proof" that the pointwise limit of continuous functions is continuous; counterexamples were not constructed until 1826 (by which time functions were better understood) and it took until 1853 for the actual conditions (uniform continuity) to be developed properly. This statement was at least as well supported in 1821 as Euler's was in 1735.

As to confidence in modern results: Looking at the Web of Science data collated here for retractions in mathematical fields suggests that around 0.15% of current papers are retracted.

Comment author: jkaufman 23 February 2013 03:56:59AM 3 points [-]

Do you really think that their pledge total is something other than the (undiscounted) sum of what those 291 people have pledged to give over the course of their lives? You think they're just making it up?

Comment author: Jonathan_Lee 23 February 2013 09:55:44AM -1 points [-]

I do not think that they are "making it up"; that phrase to me seems to attach all sorts of deliberate malfeasance that I do not wish to suggest. I think that to an outside observer the estimate is optimistic to the point of being incredible, and reflecting poorly on CEA for that.

These 291 people haven't pledged dollar values. They've pledged percentage incomes. To turn that into a dollar value you need to estimate whole-life incomes. Reverse engineering an estimate of income (assuming that most people pledge 10%, and a linear drop off in pledgers with 50% donating for 40 years), yields mean lifetime earnings of ~£100K. That's about the 98th centile for earnings in the UK.

Comment author: wdmacaskill 21 February 2013 11:54:54PM *  32 points [-]

Hi Jonathan,

First off, thanks for putting so much time into writing this extensive list of questions and doubts you have about CEA. Unlike for-profit activities, we don't have immediate feedback effects telling us when we're doing well and when we're doing badly, so criticism is an important countermeasure to make sure we do things as well as possible. We therefore really welcome people taking a critical eye to our activities.

As the person who wrote the original CEA material here on LessWrong, and the person who you mention above, I feel I should be the one to collate a response to your questions. However, because of other commitments (managing; fundraising; writing my first piece for a magazine column), it will be a few days before I can get this to you in a form I'd feel happy with. I hope that's ok.

Before then I'll just mention a few things in order to make things a bit clearer to the audience.

  • In what you wrote a couple of comments made it sound as if you'd had an in-depth conversation with me on these issues; whereas really the context of the only exchange we've had is my giving a short talk to a group of about 15 people, of very varied backgrounds. You asked a few questions and there was discussion afterwards, but this must have only taken up about 10-15 minutes of time. Though I would very much like to, I haven't ever spoken with you or Alexey one-on-one.

  • Similarly, in your response to Luke you say that Adam works full-time at CEA. I think there's some disagreement between the two of you on the extent to which he had signed off on the content. But, at any rate, it's worth noting that Adam is an intern at CEA. This means he does contribute a full working week for CEA, but he is not an employee. He's therefore not the person to go when it comes to high-level evaluation of CEA.

  • You mention an internal estimate of £1700 for the value of a new pledge. None of us are familiar with this figure, and we're confused about where it could have come from.

  • You suggest that CEA has ~4000 people on its mailing lists. The correct figure is less than half that (unless you include TLYCS, which you might have been thinking of, which does have in excess of 4000 on its mailing list).

  • You estimate GWWC's research capacity at 6 staff for last year. This is actually more than an order of magnitude higher than the true figure. In fact, the average number of paid employees (full-time equivalent) we have had working on all aspects of 80,000 Hours and Giving What We Can over the last six months is only 3.7.

As a more general point, I think we should also be careful to distinguish whether CEA has acted optimally in terms of utility-maximization (to which the answer is certainly not), and whether it gets a return on investment which is better than 1:1.

In my follow-up comment, I'll talk about some of the many concerns you've raised that we share, and the issues over which we might be making big mistakes. I'll also be able to give a bit more background about our activities, and I'll be able to answer your questions. Thanks again for taking the time to comment.

Best Wishes,

Will

Comment author: Jonathan_Lee 22 February 2013 12:38:56AM 6 points [-]

Hi Will,

I'm glad to hear that a general response is being collated; if there are things where CEA can improve it would seem like a good idea to do them, and if I'm wrong I would like to know that. Turning to the listed points:

  • I went into that conversation with a number of questions I sought answers to, and either asked them or saw the data coming up from other questions. I knew your time was valuable and mostly targeted at other people there.

  • Adam explicitly signed off on my comment to Luke. He saw the draft post, commented on it, recommended it be put here and received the original string of emails in the context of being a friend, and person I knew would have a closer perspective on the day to day running of CEA than myself.

  • £1700 came from Jacob (Trefethen), in conversation shortly after you were in Cambridge, and purporting to be from internal numbers. I had asked whether CEA has an internal price at which new pledges would be bought, on the basis that one should exist, and it would be important for valuing a full-time Cambridge position.

  • ~4K is 1/3 of the Oxford undergrad population, which was the figure I had heard quoted in the discussion in Cambridge.

  • GWWC lists 8 people as a sample of past-and-present researchers, a research manager and a research director. I estimated that half of the former set would have moved on, and thus that 6 people were at least engaged in part time research for GWWC.

I am concerned both about utility-maximisation and the ROI. It seems easier to fix efficiency problems whilst institutions are still small, or create alternate more efficient institutions if need be; ideally groups akin to CEA's projects are going to move budgets of O(10^9 / year), and I want to see that used as effectively as possible.

In terms of ROI, I don't put large weight in the estimated returns absent a calculation or substantial trust in the instrumental rationality of the organisation making the claims. To take the canonical example, GiveWell provides some measure of each; CEA's projects need to be at least as credible.

Thanks again for taking the critique in the spirit that was intended.

Best wishes,

Jonathan

Comment author: lukeprog 21 February 2013 03:59:46PM *  47 points [-]

Did you send this article to Will or somebody else at CEA before posting it? Holden Karnofsky let me comment on a copy of his critique of SI before he published it. That procedure is what I would call "common courtesy," and also it reduces the chance that you'll grossly mislead readers about an organization that you know far less about than the organization's principals do.

Comment author: Jonathan_Lee 21 February 2013 09:33:44PM -2 points [-]

The primary source of the post was an extensive email exchange with Adam Casey (currently working full time at CEA). Since we are friends, this was not primarily in an official capacity. I also asked Adam to cross check the numbers whilst wearing a more official hat.

I was encouraged by him and Alexey Morgunov (Cambridge LWer) to make the substance of this public immediately after Will Crouch came up to Cambridge.

Comment author: Larks 21 February 2013 11:39:06AM 5 points [-]

Talking about effective altruism is a constraint, as is talking about mathematics.

One constrains you to a subject with thousands of high-status practitioners and hundreds of students - the other restricts you to a subject with one high-status practitioner and no students.

Comment author: Jonathan_Lee 21 February 2013 11:45:18AM 0 points [-]

Whose status ordering are you using? Getting someone who is not a mathematician to TMS is harder; within the Natural Sciences it is possible, and there are O(1) Computer Scientists, philosophers or others. For the historians, classicists or other subjects, mathmos are not high status. In terms of EtG, these groups are valuable - most traders are not quants.

Comment author: Larks 21 February 2013 11:11:47AM 2 points [-]

The GWWC site, for example, claims that from 291 members there will be £72.68M pledged.

Qn: On what basis does GWWC assert that its near 300 members are credibly precommitted to donating £72.68M?

While I don't know what the official answer would be, I think there is basically a linguistic one. To have pledged does not require one to have credibly precommitted. I can pledge to resist torture for 40 days just by saying so, but this doesn't mean I've credibly precommitted to doing so.

Of course, this only clears GWWC of accusations of excessive optimism. The question of how many members will maintain the pledge remains, and I don't see how we can get a very good idea for a few years (untill we have enough data points to extrapolate the perameters of the distribution).

Comment author: Jonathan_Lee 21 February 2013 11:40:35AM 2 points [-]

In that case, having a claim on every page of the GWWC site claiming that £112.8M have been pledged seems deceptive. 291 people have pledged, and [by a black box that doesn't trivially correspond to reality] that's become £112.8M. I know that at least 3 people in Cambridge have seen that statistic and promptly laughed at GWWC. The numbers are implausible enough that <5s Fermi estimates seem to refute it, and then the status of GWWC as somewhat effective rational meta-charity is destroyed. Why would someone trust GWWC's assessment of charities or likely impact over, say, GiveWell, if the numbers GWWC display are so weird and lacking in justification?

Comment author: Larks 21 February 2013 11:07:22AM 3 points [-]

Of that, there are around 300 members and a few dozen are coming to each event. By comparison, enterprising college societies in Cambridge (TMS, TCSS) have well in excess of 1000 undergraduates on their mailing lists, and get 80-100 people to their talks. When TCSS advertised an event to 1/3 of Cambridge, upwards of 600 people attended.

I agree that it'd be good to get more people. However, the chapters are operating under a constraint that other socieities are not. Science societies can put on any talk they think will be interesting; GWWC has to put on talks about Effective Altruism that people will find interesting.

And while I don't know about TCSS, when OUSS holds talks, they'll get fewer than 100 people - there's at most a factor of 2 there. Again, I don't know about TCMS, but OUIS get an average of 40 people or so, not suggesting any capacity for improvement. True, they'll get around 150 for the very big names (think Sir Roger Penrose), but there just isn't anyone equivalently famous for GWWC to use, except Peter Singer - and I think when he was invited there was a very big crowd (though I forget how large).

disclaimer: I volunteer for GWWC.

Comment author: Jonathan_Lee 21 February 2013 11:34:41AM -1 points [-]

Talking about effective altruism is a constraint, as is talking about mathematics. Being a subject society makes it easier to get people from that subject to attend; it also makes it harder to convince people from outside that subject to even consider coming.

TMS pulls 80+ people to most of its talks, which are not generally from especially famous mathematicians. TCSS got 600 people for a Pensrose-Rees event. Both TCSS and TMS have grown rapidly in 18-24 months, having existed for far longer. This seems to indicate that randomly selected student societies have low hanging fruit. It doesn't seem incongruous to suggest that OUIS, OUSS and GWWC have the capacity to at least double their attendances -- the TMS did in one term, and doubled the number of events (so a x4 in person-talks).

Comment author: Larks 21 February 2013 10:49:27AM 2 points [-]

...something like 20-25% of those involved in 80K have changed or substantially rethought their career choice. This implies immediately that 75-80% haven't, and in practise that number will be higher care of the self-reporting. This substantially reduces the likely impact of 80,000 hours as a program. Indeed, it seems to be a near fatal problem for GWWC, in that if the 80,000 hours population is representative of pledges, then most of the GWWC pledges are earning in line with typical post grads, which makes it much harder to raise the mean value of each pledge to £250K as is required.

This doesn't follow. If you were already going to be an Investment Banker, you wouldn't change your goals based on 80k's advice, but you'd still earn more thanthe average graduate.

Comment author: Jonathan_Lee 21 February 2013 11:06:22AM 0 points [-]

This holds for graduates who earn less than average as well. Is there data showing that the predominant source of career changes are people who would otherwise earn substantially less than mean? Is there data suggesting that the career changes are increasing incomes substantially?

Comment author: Eliezer_Yudkowsky 25 October 2012 01:58:02AM 1 point [-]

Meditation:

It has been claimed that logic and mathematics is the study of which conclusions follow from which premises. But when we say that 2 + 2 = 4, are we really just assuming that? It seems like 2 + 2 = 4 was true well before anyone was around to assume it, that two apples equalled two apples before there was anyone to count them, and that we couldn't make it 5 just by assuming differently.

Comment author: Jonathan_Lee 29 October 2012 11:11:27AM 2 points [-]

We might mean many things by "2 + 2 = 4". In PA: "PA |- SS0 + SS0 = SSSS0", and so by soundness "PA |= SS0 + SS0 = SSSS0" In that sense, it is a logical truism independent of people counting apples. Of course, this is clearly not what most people mean by "2+2=4", if for no other reason than people did number theory before Peano.

When applied to apples, "2 + 2 = 4" probably is meant as: "apples + the world |= 2 apples + 2 apples = 4 apples". the truth of which depends on the nature of "the world". It seems to be a correct statement about apples. Technically I have not checked this property of apples recently, but when I consider placing 2 apples on a table, and then 2 more, I think I can remove 4 apples and have none left. It seems that if I require 4 apples, it suffices to find 2 and then 2 more. This is also true of envelopes, paperclips, M&M's and other objects I use. So I generalise a law like behaviour of the world that "2 things + 2 things makes 4 things, for ordinary sorts of things (eg. apples)".

At some level, this is part of why I care about things that PA entails, rather than an arbitrary symbol game; it seems that PA is a logical structure that extracts lawlike behaviour of the world. If I assumed a different system, I might get "2+2=5", but then I don't think the system would correspond to the behaviours of apples and M&M's that I want to generalise.

(On the other hand, PA clearly isn't enough; it seems to me that strengthened finite Ramsey is true, but PA doesn't show it. But then we get into ZFC / second order arithmetic, and then systems at least as strong as PA_ordinal, and still lose because there are no infinite descending chains in the ordinals)

View more: Prev | Next