Updates from January, 2016 Toggle Comment Threads | Keyboard Shortcuts

  • Joseph Nebus 8:00 pm on Friday, 22 January, 2016 Permalink | Reply
    Tags: blackbody radiation, , , standardized tests   

    Reading the Comics, January 21, 2016: Andertoons Edition 

    It’s been a relatively sleepy week from Comic Strip Master Command. Fortunately, Mark Anderson is always there to save me.

    In the Andertoons department for the 17th of January, Mark Anderson gives us a rounding joke. It amuses me and reminds me of the strip about rounding up the 196 cows to 200 (or whatever it was). But one of the commenters was right: 800 would be an even rounder number. If the teacher’s sharp he thought of that next.

    Andertoons is back the 21st of January, with a clash-of-media-expectations style joke. Since there’s not much to say of that, I am drawn to wondering what the teacher was getting to with this diagram. The obvious-to-me thing to talk about two lines intersecting would be which sets of angles are equal to one another, and how to prove it. But to talk about that easily requires giving names to the diagram. Giving the intersection point the name Q is a good start, and P and R are good names for the lines. But without points on the lines identified, and named, it’s hard to talk about any of the four angles there. If the lesson isn’t about angles, if it’s just about the lines and their one point of intersection, then what’s being addressed? Of course other points, and labels, could be added later. But I’m curious if there’s an obvious and sensible lesson to be given just from this starting point. If you have one, write in and let me know, please.

    'I'm losing my faith in the law of averages.' 'How come, man?' 'Because of how long it's been since a teacher asked me something I knew.'

    Ted Shearer’s Quincy for the 19th of January (originally the 4th of November, 1976).

    Ted Shearer’s Quincy for the 19th of January (originally the 4th of November, 1976) sees a loss of faith in the Law of Averages. We all sympathize. There are several different ways to state the Law of Averages. These different forms get at the same idea: on average, things are average. More, if we go through a stretch when things are not average, then, we shouldn’t expect that to continue. Things should be closer to average next time.

    For example. Let’s suppose in a typical week Quincy’s teacher calls on him ten times, and he’s got a 50-50 chance of knowing the answer for each question. So normally he’s right five times. If he had a lousy week in which he knew the right answer just once, yes, that’s dismal-feeling. We can be confident that next week, though, he’s likely to put in a better performance.

    That doesn’t mean he’s due for a good stretch, though. He’s as likely next week to get three questions right as he is to get eight right. Eight feels fantastic. But three is only a bit less dismal-feeling than one. The Gambler’s Fallacy, which is one of those things everyone wishes to believe in when they feel they’re due, is that eight right answers should be more likely than three. After all, that’ll make his two-week average closer to normal. But if Quincy’s as likely to get any question right or wrong, regardless of what came before, then he can’t be more likely to get eight right than to get three right. All we can say is he’s more likely to get three or eight right than he is to get one (or nine) right the next week. He’d better study.

    (I don’t talk about this much, because it isn’t an art blog. But I would like folks to notice the line art, the shading, and the grey halftone screening. Shearer puts in some nicely expressive and active artwork for a joke that doesn’t need any setting whatsoever. I like a strip that’s pleasant to look at.)

    Tom Toles’s Randolph Itch, 2 am for the 19th of January (a rerun from the 18th of April, 2000) has got almost no mathematical content. But it’s funny, so, here. The tag also mentions Max Planck, one of the founders of quantum mechanics. He developed the idea that there was a smallest possible change in energy as a way to make the mathematics of black-body radiation work out. A black-body is just what it sounds like: get something that absorbs all light cast on it, and shine light on it. The thing will heat up. This is expressed by radiating light back out into the world. And if it doesn’t give you that chill of wonder to consider that a perfectly black thing will glow, then I don’t think you’ve pondered that quite enough.

    Mark Pett’s Mister Lowe for the 21st of January (a rerun from the 18th of January, 2001) is a kid-resisting-the-word-problem joke. It’s meant to be a joke about Quentin overthinking the situation until he gets the wrong answer. Were this not a standardized test, though, I’d agree with Quentin. The given answers suppose that Tommy and Suzie are always going to have the same number of apples. But is inferring that a fair thing to expect from the test-takers? Why couldn’t Suzie get four more apples and Tommy none?

    Probably the assumption that Tommy and Suzie get the same number of apples was left out because Pett had to get the whole question in within one panel. And I may be overthinking it no less than Quentin is. I can’t help doing that. I do like that the confounding answers make sense: I can understand exactly why someone making a mistake would make those. Coming up with plausible wrong answers for a multiple-choice test is no less difficult in mathematics than it is in other fields. It might be harder. It takes effort to remember the ways a student might plausibly misunderstand what to do. Test-writing is no less a craft than is test-taking.

    • tkflor 4:46 am on Saturday, 23 January, 2016 Permalink | Reply

      About black body radiation – for most practical purposes, a black body at room temperature does not emit radiation in the visible range. (https://en.wikipedia.org/wiki/Black-body_radiation)
      So, we won’t see “light” or “glow”.


      • Joseph Nebus 5:03 am on Sunday, 24 January, 2016 Permalink | Reply

        This is true, and I should have been clear about that. It glows in the sense that if you could look at the right part of the spectrum something would be detectable. It’s nevertheless an amazing thought.


    • Barb Knowles 6:20 pm on Saturday, 23 January, 2016 Permalink | Reply

      This cartoon is GREAT! I’m going to show it to my math colleagues..


  • Joseph Nebus 3:17 am on Wednesday, 5 June, 2013 Permalink | Reply
    Tags: , , computer, , , ,   

    How Big Is This Number? Answered 

    My little question about just how big a number 3^{3^{15}} was got answered just exactly right by John Friedrich, so if you wondered about how I could say a number took about seven million digits just to write out, there’s your answer. Friedrich gives it as a number with 6,846,169 digits, and I agree. Better, the calculator I found which was able to handle this (MatCalcLite, a free calculator app I have on my iPad) agrees too: it claims that 3^{3^{15}} is about 3.25 \times 10^{6 846 168} which has that magic 6,846,169 digits.

    Friedrich uses logarithms to work it out, and this is one of the things logarithms are good for in these days when you don’t generally need them to do multiplications and divisions. You can look at logarithms as letting you evaluate the lengths of numbers — how many digits they need to work out — rather than the numbers themselves, and this brings to the field of accessibility numbers that would otherwise be too big to work with, even on the calculator. (Another thing logarithms are good for is that they’re quite nice to work with if you have to do calculus, so once you’re comfortable with them, you start looking for chances to slip them into analysis.)

    One nagging little point about Friedrich’s work, though, is that you need to know the logarithm of 3 to work it out. (Also you need the logarithm of 10, or you could try using the common logarithm — the logarithm base ten — of 3 instead.) For finding the actual number that’s fine; trying to get this answer with any precision without looking up the logarithm of 3 is quirky if not crazy.

    But what if you want to do this purely by the joys of mental arithmetic? Could you work out 3^{3^{15}} without finding a table of logarithms? Obviously you can’t if you want a really precise answer, and here 3.25 \times 10^{6 846 168} counts as precise, but could you at least get a good idea of how big a number it is?

    • fluffy 7:09 pm on Wednesday, 5 June, 2013 Permalink | Reply

      The UNIX ‘bc’ tool can actually calculate it directly. I don’t think your comment form can accept a 7MB post, however.


    • John Friedrich 12:39 am on Thursday, 6 June, 2013 Permalink | Reply

      3^21 = 10460353203, which you can round off to 10,000,000,000 or 10^10. So 3^(21n) is roughly equal to 10^(10n).
      21n = 3^15 gives n = 3^15 / 21 = 3^14 / 7 = 683281.285714, 10n = 6832812.85714, and the approximate number of digits is 6,832,813, which is off by about 0.2%.

      If you just want an order of magnitude and don’t want to use a calculator, you can approximate 3^2 as roughly equal to 10^1, 3^(2n) is roughly equal to 10^n, n = 3^15 / 2 = 243 ^ 3 / 2 = 14,348,907 / 2 = 7174453.5, which is off by about 5%.


      • John Friedrich 12:40 am on Thursday, 6 June, 2013 Permalink | Reply

        Oops, forgot to add 1 to n at the end there to make it the correct number of digits, hardly affects the outcome though.


  • Joseph Nebus 6:02 pm on Saturday, 1 June, 2013 Permalink | Reply
    Tags: , goldbach, , ,   

    How Big Is This Number? 

    I mentioned in a throwway bit in the article on Goldbach’s Odd Conjecture being (apparently) proven that the number 3^{3^{15}} had been a bound in the conjecture. That is, it was proven in 1939 that numbers larger than that had to obey the conjecture, but that it was unproven for numbers smaller than that. I described it as a number that tekes something like seven million digits to write out in full, that is, in a decimal expansion rather than some powers-of-powers sort of thing.

    So let me give it a little attention as a puzzle for people who want to pass a little time doing arithmetic. Am I right to say that 3^{3^{15}} would be a number with about seven million digits?

    The obvious way to check is to see what Google comes up with if you put 3^(3^(15)), although that turns out to be Bible quotes. Its calculator gives back Infinity, which here just means “it’s a really, really big number”. My Mac’s calculator function and my copy of Octave agree on that. It’s possible to find a better calculator that gives a meaningful answer, but you can work out roughly how big the number is just by hand, and for that matter, without resorting to anything you have to look up. I promise.

    • John Friedrich 4:02 am on Sunday, 2 June, 2013 Permalink | Reply

      3^(ln10/ln3) = 10, so 3^(x * ln10/ln3) will have floor(x) + 1 digits to the left of the decimal point, for x >= 0.
      Solving x * ln10/ln3 = 3^15 gives x = 3^15 * ln3/ln10 = 6,846,168.5117.
      So 3^(3^15) will have 6,846,169 digits.


      • Joseph Nebus 4:50 pm on Sunday, 2 June, 2013 Permalink | Reply

        Exactly so.

        For bonus points, can you work out the estimate without knowing the log of 3?


  • Joseph Nebus 5:08 am on Sunday, 27 January, 2013 Permalink | Reply
    Tags: , baseball game, , pigeon hole principle, , ,   

    Trivial Little Baseball Puzzle 

    I’ve been reading a book about the innovations of baseball so that’s probably why it’s on my mind. And this isn’t important and I don’t expect it to go anywhere, but it did cross my mind, so, why not give it 200 words where they won’t do any harm?

    Imagine one half-inning in a baseball game; imagine that there’s no substitutions or injuries or anything requiring the replacement of a batter. Also suppose there are none of those freak events like when a batter hits out of order and the other team doesn’t notice (or pretends not to notice), the sort of things which launch one into the wonderful and strange world of stuff baseball does because they did it that way in 1835 when everyone playing was striving to be a Gentleman.

    What’s the maximum number of runs that could be scored while still having at least one player not get a run?

    (More …)

    • Rocket the Pony (@Blue_Pony) 3:44 am on Monday, 28 January, 2013 Permalink | Reply

      I’m not certain enough of the rules to be sure this would work, but… What if 24 runs had been scored, and the bases were loaded, with the unlucky #9 batter on third base. The batter at the plate gets a hit that bounces all over the place, staying fair, and the outfielders stumble all over themselves trying to retrieve it, kind of like when we play on Spindizzy. The unlucky #9 batter fails to tag home plate, but thinks that he has, trotting off to the dugout. Meanwhile, the other three runners score before the defending team can get the ball to home plate to tag #9 out. Would that work?


      • Joseph Nebus 8:56 pm on Monday, 28 January, 2013 Permalink | Reply

        I’m not sure. I think that it goes against the spirit of “no freak events”, since a runner missing a base is a fairly abnormal event. But allowing it as the sort of glitch that does happen often enough not to send people running to the rulebooks to find out whether it even is a rule …

        I don’t know. I’m fairly confident that this would put the unlucky runner out, but whether the runs that came in after he missed home plate count or whether they’re voided I’m not sure. I could certainly see a trivia book or column a la Ripley’s claiming there were 27 runs scored in that fateful inning even if the last three were annulled, though.


      • Joseph Nebus 6:11 am on Tuesday, 29 January, 2013 Permalink | Reply

        OK, per D F Manno in alt.fan.cecil-adams, if Unlucky #9 fails to touch home plate, then, he’d be out and neither his run nor the ones after him would count.

        However, it is not an automatic thing: per rule 7.10(d), the defending team would have to tag home plate and appeal to the umpire before the next pitch is thrown or any play (or attempted play) made. (See my comments about stuff being done as if it were still 1835.)

        If the defending team doesn’t tag the plate, or doesn’t appeal the play in time, or the umpire doesn’t agree the runner missed the base, though, then the run counts, which does spoil the setup about Unlucky #9 not getting a run.


  • Joseph Nebus 11:23 am on Wednesday, 12 December, 2012 Permalink | Reply
    Tags: , , , ,   

    How Big Was West Jersey? 

    A map of New Jersey's counties, with municipal boundaries added.

    A book I’d read about the history of New Jersey mentioned something usable for a real-world-based problem in fraction manipulation, for a class which was trying to get students back up to speed on arithmetic on their way into algebra. It required some setup to be usable, though. The point is a property sale from the 17th century, from George Hutcheson to Anthony Woodhouse, transferring “1/32 of 3/90 of 90/100 shares” of land in the province of West Jersey. There were a hundred shares in the province, so, the natural question to build is: how much land was transferred?

    The obvious question, to people who failed to pay attention to John T Cunningham’s This Is New Jersey in fourth grade, or who spent fourth grade not in New Jersey, or who didn’t encounter that one Isaac Asimov puzzle mystery (I won’t say which lest it spoil you), is: what’s West Jersey? That takes some historical context.

    (More …)

  • Joseph Nebus 4:48 pm on Friday, 21 September, 2012 Permalink | Reply
    Tags: , , , , ,   

    My Problem With 7 

    My reposted problem of a couple days ago, about building all the digits of a clock face using exactly three 9’s and simple arithmetic combinations of them, caught in my mind, as these things will sometimes do. The original page missed out on a couple ways of using exactly three 9’s to make a 1, but it’s easy to do. The first thing to wonder about was how big a number could we make using exactly three 9’s? There must be some limit; it’d be absurd to think that we could make absolutely any positive integer with so primitive a tool set — surely 19,686 is out of the realm of attainability — but where is it?

    (More …)

    • Chiaroscuro 2:26 am on Saturday, 22 September, 2012 Permalink | Reply

      I can;t think of much either, except getting 6 by (4!)/4, but getting that 1 is the trick..


      • Joseph Nebus 6:45 am on Saturday, 22 September, 2012 Permalink | Reply

        7 seems to be a naturally troublesome number. Working out the equivalent problem with 16 as the base (we don’t get 11 for free here, but do get 101 instead) I can get 6 and 8 all I want, but that 7 just doesn’t want to happen.

        Even if we throw in some mildly freakish functions like gcd(a, b) (the greatest common divisor of the numbers a and b) we’re really not going to get it. Maybe the totient function will do it — 4 + \sqrt{4} + \phi(\sqrt{4}) — but nobody could pass off a claim that that’s anywhere near the spirit of the problem.


  • Joseph Nebus 1:26 am on Friday, 24 August, 2012 Permalink | Reply
    Tags: , , , ,   

    Did WiiFitPlus Make Things Worse? 

    So here’s my homework problem: On the original WiiFit there were five activities for testing mental and physical agility, one of which I really disliked. Two of the five were chosen at random each day. On WiiFitPlus, there are two sets of five activities each, with one exercise drawn at random from the two disparate sets, each of which has a test I really dislike. Am I more likely under the WiiFit or under the WiiFitPlus routine to get a day with one of the tests I can’t stand? Here, my reasoning.

    (More …)

  • Joseph Nebus 5:52 pm on Saturday, 18 August, 2012 Permalink | Reply
    Tags: exercise, , judgement, , nintendo, , walking, , , wiifitplus   

    The Least Pleasant Thing About WiiFit 

    We got a WiiFit, and a Wii, for Christmas in 2008, and for me, at that time, it was just what I needed to lose an extraordinary amount of weight. As part of the daily weighing-in routine it offers a set of challenges to your mental and physical agility. This is a pair drawn from, in the original release, five exercises. One is the Balance Test, measuring whether you can shift a certain percentage of your weight to the left or right and hold it for three seconds; the balance board, used for each of these tests, measures how much of your weight is where, left or right, front or back of the board. One is the Steadiness Test, about how still you can stand for thirty seconds and is trickier than it looks. (Breathe slowly, is my advice.) One is the Single Leg balance Test, trying to keep your balance within a certain range of centered for thirty seconds (and the range narrows at ten, twenty, and twenty-five seconds in). One — the most fun — is the Agility Test, in which you swing your body forward and back, left and right to hit as many targets as possible. And the most agonizing of them is the Walking Test, which is simply to take twenty footfalls, left and right, and which reports back how incredibly far from balanced your walk is. The game almost shakes its head and sighs, at least, at how imbalanced I am.

    (More …)

    • fluffy 6:31 pm on Saturday, 18 August, 2012 Permalink | Reply

      My big problems with WiiFit (that continues into WiiFit Plus) are that it uses the BMI as a diagnostic, rather than classification, tool, and also it only looks at single-day deltas rather than long-term trends when it comes to the weigh-in feedback. Doesn’t matter if you’ve lost 20 pounds over the last 3 months – as soon as your weight levels off and you gain 0.1 pounds, suddenly it’s admonishing you for being a snack-consuming fatass. And of course it defaults to showing you your BMI value, which is basically worthless.

      Mostly I like it for the yoga exercises. I only do the “quick check” mode because the daily tests are pretty bad in general. The walking test in particular seems to be very very badly-programmed, and seems to look at the first two steps as the trend for the rest of the test, as opposed to looking at the overall things and discarding the outliers (and the first steps will ALWAYS be outliers, because physics).

      For my daily weigh-in I just use a body fat measuring scale, and I store the values into a gnuplot data file that I occasionally graph. It tells me MUCH more useful stuff than Wii Fit ever could. My gnuplot script looks like this:

      set xdata time
      set timefmt "%Y-%m-%d"
      plot "weight.dat" using 1:2 title "Total weight" with points lc 1, \
      "weight.dat" using 1:2 smooth bezier notitle lc 1, \
      "weight.dat" using 1:($2)*($3) with points title "Fat weight" lc 2 axis x1y1, \
      "weight.dat" using 1:($2*$3) smooth bezier notitle lc 2 axis x1y1, \
      (165) title "Target weight", \
      "weight.dat" using 1:($2*.2) smooth bezier title "Target fat" axis x1y1


      • Joseph Nebus 5:41 am on Sunday, 19 August, 2012 Permalink | Reply

        As it happens, data-smoothing is one of the things I want to get to. I had a fine time teaching data processing a couple years back and I’ve still got most of my notes from it.


    • BunnyHugger 11:16 pm on Saturday, 18 August, 2012 Permalink | Reply

      I dislike WiiFit extremely for the reasons fluffy so eloquently identifies.


      • Joseph Nebus 5:40 am on Sunday, 19 August, 2012 Permalink | Reply

        The focus on mere daily weights, and the poor handling of minor weight fluctuations, aren’t good, no. I’m particularly annoyed that it admits weight fluctuations of two pounds are perfectly normal and then asks for causes for a weight gain of more than one pound.

        I imagine that reflects the programmers assuming that people who use it are going to bother with it a couple days a week for maybe a month or two — there’s a lot of programming that suggests they don’t figure anyone’s going to use it for a whole ninety days — but the data is there and people can read it more smartly than the machine gathers.

        It did work for me, but I’m well aware that I’m an extreme outlier and will warn anyone about that.


    • Chiaroscuro 2:01 am on Sunday, 19 August, 2012 Permalink | Reply

      At risk of spoiling, I think I know; the answer. A side-question is which method (if either) will give you more unliked exercises- assuming two might spoil your day worse than one.


      • Joseph Nebus 5:06 am on Sunday, 19 August, 2012 Permalink | Reply

        Go ahead, spoil. You can even do neat mathematical formatting using the LaTeX commands … start a segment with a $ mark followed by the word latex (with no space), and end with the $ again. And, yes, that’s just the sort of follow-up question I’d like to play with.


  • Joseph Nebus 9:09 pm on Friday, 29 June, 2012 Permalink | Reply
    Tags: false, falsity, implication, , inference, introduction to logic, , libel, , logic class, logical implication, mathematical logic, null sets, , proposition, , true, ,   

    Why You Failed Your Logic Test 

    An interesting parallel’s struck me between nonexistent things and the dead: you can say anything you want about them. At least in United States law it’s not possible to libel the dead, since they can’t be hurt by any loss of reputation. That parallel doesn’t lead me anywhere obviously interesting, but I’ll take it anyway. At least it lets me start this discussion without too closely recapitulating the previous essay. The important thing is that at least in a logic class, if I say, “all the coins in this purse are my property”, as Lewis Carroll suggested, I’m asserting something I say is true without claiming that there are any coins in there. Further, I could also just as easily said “all the coins in this purse are not my property” and made as true a statement, as long as there aren’t any coins there.

    (More …)

    • Chip Uni 9:32 pm on Friday, 29 June, 2012 Permalink | Reply

      Aside from the standard logic, there are three ‘alternative’ definitions of logical implication possible:

      A=T, B=T A=T, B=F A=F, B=T A=F, B=F definition
      normal T F T T -A | B
      (1) T F T F B
      (2) T F F T A == B
      (3) T F F F A & B

      What happens to logic if we use any of these alternate definitions?


      • Joseph Nebus 9:55 pm on Thursday, 5 July, 2012 Permalink | Reply

        I haven’t the chance to work it out this week since awfully high priority things are competing with the blog but I’ll try thinking it out when I can.


  • Joseph Nebus 12:39 am on Tuesday, 26 June, 2012 Permalink | Reply
    Tags: alt.folklore.urban, Captain Kirk, , fiction, , , nonexistence, , ,   

    What We Can Say About Nonexistent Things 

    The modern interpretation of what we mean by a statement like “all unicorns are one-horned animals” is that we aren’t making the assertion that any unicorns exist. If any did happen to exist, sure, they’d be one-horned animals, if our proposition is true, but we’re reserving judgement about whether they do exist. If we don’t like the way the natural-language interpretation of the proposition leads us, we might be satisfied by saying it’s equivalent to saying, “there are no non-one-horned animals which are unicorns”, and that doesn’t feel quite like it claims unicorns exist. You might not even come away feeling there ought to be non-one-horned animals from that sentence alone.

    (More …)

    • Lucas Wilkins 3:33 pm on Monday, 2 July, 2012 Permalink | Reply

      Yeah, When people are doing this formally they usually define a ‘universe’ in which the statements, or parts of statements, are made. I guess an simple example would be if I said “it’s red”, you, the listener, would have to be working in a world where ‘it’ referred to the same object. Basically, every statement has underlying assumptions that affect how you interpret it formally. I recommend this book, it was in my bathroom for a while and explains things rather well.


  • Joseph Nebus 12:08 am on Wednesday, 20 June, 2012 Permalink | Reply
    Tags: existential import, gold, , , , sovereigns, ,   

    Getting This Existence Thing Straight 

    Midway through “What Lewis Carroll Says Exists That I Don’t” I put forth an example of claiming a property belongs to something which clearly doesn’t exist. The problem — and Carroll was writing this bit, in Symbolic Logic, at a time when it hadn’t reached the current conclusion — is about logical propositions. If you assert it to be true that, “All (something) have (a given property)”, are you making the assertion that the thing exists? Carroll gave the example of “All the sovereigns in that purse are made of gold” and “all the sovereigns in that purse are my property”, leading to the conclusion, “some of my property is made of gold”, and pointing out that if you put that syllogism up to anyone and asked if she thought you were asserting there were sovereigns in that purse, she’d say of course. Carroll has got the way normal people talk in normal conversations on his side here. Put that syllogism before anyone and point out that nowhere is it asserted that there are any coins in the purse and you’ll get a vaguely annoyed response, like when the last chapter of a murder cozy legalistically parses all the alibis until nothing makes sense.

    (More …)

  • Joseph Nebus 2:10 am on Friday, 15 June, 2012 Permalink | Reply
    Tags: deductive reasoning, , Gutenberg, , , logic problem, logic puzzle, logic puzzles, , , , sorites, , Symbolic Logic   

    What I Call Some Impossible Logic Problems 

    I’m sorry to go another day without following up the essay I meant to follow up, but it’s been a frantically busy week on a frantically busy month and something has to give somewhere. But before I return the Symbolic Logic book to the library — Project Gutenberg has the first part of it, but the second is soundly in copyright, I would expect (its first publication in a recognizable form was in the 1970s) — I wanted to pick some more stuff out of the second part.

    (More …)

    • BunnyHugger 2:33 am on Friday, 15 June, 2012 Permalink | Reply

      I find it utterly peculiar that he’d call that “sorites” given that it doesn’t seem to have anything to do with what we philosophers mean by it: http://plato.stanford.edu/entries/sorites-paradox/


      • Joseph Nebus 5:29 am on Friday, 15 June, 2012 Permalink | Reply

        I can’t say whether the usage was his own quirk, or whether it reflects a use current in the late 19th century but out of favor now. I don’t see any word definition cites that offer enough citations of contemporary usage.

        I do see a connection between the ideas, though, at least going back to the notion that sorites refer to heaps of things. These are problems that set out a heap of propositions and leave the reader to figure out what can be deduced from all that, after all.


  • Joseph Nebus 1:52 am on Wednesday, 13 June, 2012 Permalink | Reply
    Tags: bull, , , , , , logic book, mad bull, sound, , tourists, train, , unsound   

    When To Run For The Train 

    I mean to return to the subject brought up Monday, about the properties of things that don’t exist, since as BunnyHugger noted I cheated in talking briefly about what properties they have or don’t have. But I wanted to bring up a nice syllogism whose analysis I’d alluded to a couple weeks back, and which it turns out I’d remembered wrong, in details but not in substance.

    (More …)

    • BunnyHugger 2:42 am on Wednesday, 13 June, 2012 Permalink | Reply

      Most of the time philosophy departments have managed to stake a territorial claim on that sort of logic. And, I’d say, rightly so; we don’t have as many service classes that we can teach as the math folks do. Plus, you know, Aristotle was one of ours.


      • Joseph Nebus 11:02 am on Wednesday, 13 June, 2012 Permalink | Reply

        Well, yes, Aristotle was one of yours, although he’s often credited for quite a few mathematical accomplishments by people who’ve got him mixed up with Archimedes.

        I should perhaps confess (not to BunnyHugger, who knows already) that I wasted my chance to actually learn something a little outside my majors as an undergraduate by taking a logic course which satisfied the liberal arts requirement of taking philosophy classes without actually taking me away from what I was already doing in mathematics. The symbols were a little bit different but getting the hang of a different set of symbols isn’t much.


        • BunnyHugger 5:13 am on Thursday, 14 June, 2012 Permalink | Reply

          I thought you took some sort of introductory philosophy of science class for that?


          • Joseph Nebus 10:21 am on Thursday, 14 June, 2012 Permalink | Reply

            Oh, yeah. You’re right. I filled half the requirement with mathematical logic, and the other with an intro philosophy of science class which you can see left a great and lasting impression on me.


  • Joseph Nebus 1:55 am on Tuesday, 12 June, 2012 Permalink | Reply
    Tags: Bartley, elementary textbook, , grad student, , , , logic course, quotes, , , urban legend, , , william warren bartley, William Warren Bartley III   

    What Lewis Carroll Says Exists That I Don’t 

    I borrowed from the library Symbolic Logic, a collection of an elementary textbook — intended for children, and more fun than usual because of that — on logic by Lewis Carroll, combined with notes and manuscript pages which William Warren Bartley III found toward the second volume in the series. The first part is particularly nice since it’s text that not only was finished in Carroll’s life but went through several editions so he could improve the unclear parts. In case I do get to teaching a new logic course I’ll have to plunder it for examples as well as for this rather nice visual representation Carroll used for sorting out what was implied by a set of propositions regard “All (something) are (something else)” and “Some (something) are (this)” and “No (something) are (whatnot)”. It’s not quite Venn diagrams, although you can see them from there. Oddly, Carroll apparently couldn’t; there’s a rather amusing bit in the second volume where Carroll makes Venn diagrams out to be silly because you can make them terribly complicated.

    (More …)

    • BunnyHugger 1:58 am on Tuesday, 12 June, 2012 Permalink | Reply

      You really have to deny existential import to those statements to make the rest of everything work sensibly. The fact that such statements are interpreted as a type of conditional in modern symbolic logic bears this out.


      • Joseph Nebus 1:58 am on Wednesday, 13 June, 2012 Permalink | Reply

        Yes, and that’s the way it’s interpreted in mathematical logic. Bartley, the editor for this compilation, points out that it captures a moment in the history of mathematics where the question of existential import was not settled, or at least hadn’t been settled on a particular convention, and it’s interesting seeing a person who’s really quite good in logic arguing for the side that lost out. It’s a little moment showing mathematics — and philosophy — as an alive thing.


    • BunnyHugger 2:04 am on Tuesday, 12 June, 2012 Permalink | Reply

      Of course, using the “all unicorns are one-horned animals” example sneakily sidesteps the real problem for ordinary intuition: that if existential import is not attributed to all/no statements, the straightforward result[1] is that any such statement about an empty class is (trivially) true.

      [1] The less straightforward way of dealing with this is to start positing imaginary objects or possible worlds.


      • Joseph Nebus 2:00 am on Wednesday, 13 June, 2012 Permalink | Reply

        And though I mention it on Tuesday, and will in the follow-up to this article that I mean to write, I should point out to readers who stumble across this page alone that you’re absolutely right. I threw in an example that’s intuitively obvious and skipped that it leads also to some big, intuitively not obvious conclusions. In fact, it leads to conclusions that most people would intuitively say are wrong, but if we don’t accept those we have worse problems.


  • Joseph Nebus 12:28 am on Tuesday, 17 April, 2012 Permalink | Reply
    Tags: , area of a trapezoid, , , , , , ,   

    Everything I Know About Trapezoids 

    The set of posts about the area of a trapezoid seems to form a nearly coherent enough whole that it seems worthwhile to make a convenient reference point so that people searching for “how do you find the area of a trapezoid in the most convoluted and over-explained way possible?” have convenient access to it all. So, this is the path of that whole discussion.

    (More …)

  • Joseph Nebus 2:27 am on Wednesday, 11 April, 2012 Permalink | Reply
    Tags: challenge, , , ,   

    How Many Trapezoids Can You Draw? 

    All the popular mathematics blogs seem to challenge readers to come up with answers; I might as well try the same, so I can be disheartened by the responses. In a pair of earlier essays I talked about the problem of drawing differently-shaped trapezoids so as to not overlook figures that might be trapezoids just because the intuition focuses on one shape over others.

    So how many different shapes of trapezoids are there to draw? Let me lay out some ground rules.

    (More …)

Compose new post
Next post/Next comment
Previous post/Previous comment
Show/Hide comments
Go to top
Go to login
Show/Hide help
shift + esc
%d bloggers like this: