Today's Random Word!

  • ¿

    ++

    ++

    SFOp

    Jason...AKA CirqueDeSQLeil
    _______________________________________________
    I have given a name to my pain...MCM SQL Server, MVP
    SQL RNNR
    Posting Performance Based Questions - Gail Shaw[/url]
    Learn Extended Events

  • CirquedeSQLeil (4/13/2010)


    ¿

    ++

    ++

    SFOp

    There's no call for that kind of language, Jason. 😛

    [font="Times New Roman"]-- RBarryYoung[/font], [font="Times New Roman"] (302)375-0451[/font] blog: MovingSQL.com, Twitter: @RBarryYoung[font="Arial Black"]
    Proactive Performance Solutions, Inc.
    [/font]
    [font="Verdana"] "Performance is our middle name."[/font]

  • T¦«

    Jason...AKA CirqueDeSQLeil
    _______________________________________________
    I have given a name to my pain...MCM SQL Server, MVP
    SQL RNNR
    Posting Performance Based Questions - Gail Shaw[/url]
    Learn Extended Events

  • ChrisM@home (4/13/2010)


    Jabberwocky.

    Had to look up coolats, which are known as culottes here. They're revolting, talk about the worst of both worlds!

    Gödellian too. Meh. Must read more.

    Mimsy.

    Anyone with a sense of humour should read Dodgson's formal logic textbook; it's much better than his Jabberwocky - far funnier, despite the risk of learning something. Difficult to get hold of now though - it's difficult to get anything of his except the two Alice books and The Hunting of the Snark.

    Gödellian?? :w00t: That made me blink. Then I checked Barry's post just in case and he had the double l, I must have missed it first time. Google finds 21600 pages with Gödelian and only 204 with Gödellian. Bing finds 12900 and 126 respectively. So pretty clearly single l has most usage on the web, by a very large margin. I've never seen it with double l in print (or if I have I didn't notice).

    Of course neither Charles Dodgson nor Kurt Gödel would have looked good in culottes (they didn't have the figures for it).

    If "Gödellian" really makes you think you should read more, I guess the starting point is the famous 1932 paper; but don't miss Church's attempt to find a better model (1936 paper doing it with lambda calculus - a real brain-twister, but fun) or Turing's (1936 paper doing it with the halting problem - clearly successful because by the early 50s Gödel was telling people it was better than his own version) or the Church/Turing (and someone else, forgotten who) paper a little later proving that the Gödel, Church, and Turing formulations were all equivalent; Church and Rosser (?I think it was Rosser) had already proved that the lambda calculus version was equivalent to a formulation using recursive functions. And that left the door open for Post to wonder whether there would be an RE set whose membership decision function, while uncomputable, would have a lower Turing degree than membership for the set of halting UTM programmes and eventually (1944) postulate it as a firm hypothesis (which was proved within a decade of the suggestion). I guess Turing's attempt to find a better formulation of formal mathematical methods than Gödel's was pretty successful because by the time Post's idea was proved Gödel had decided that he preferred Turing's version to his own.

    Tom

  • ._ ._. ... .

    “Write the query the simplest way. If through testing it becomes clear that the performance is inadequate, consider alternative query forms.” - Gail Shaw

    For fast, accurate and documented assistance in answering your questions, please read this article.
    Understanding and using APPLY, (I) and (II) Paul White
    Hidden RBAR: Triangular Joins / The "Numbers" or "Tally" Table: What it is and how it replaces a loop Jeff Moden

  • Spork

    Mike

    “I know that you believe you understand what you think I said, but I'm not sure you realize that what you heard is not what I meant.”...Robert McCloskey

    ___________________________________________________________________

  • Organoleptic

    “Write the query the simplest way. If through testing it becomes clear that the performance is inadequate, consider alternative query forms.” - Gail Shaw

    For fast, accurate and documented assistance in answering your questions, please read this article.
    Understanding and using APPLY, (I) and (II) Paul White
    Hidden RBAR: Triangular Joins / The "Numbers" or "Tally" Table: What it is and how it replaces a loop Jeff Moden

  • Tom.Thomson (4/13/2010)


    ChrisM@home (4/13/2010)


    Jabberwocky.

    Had to look up coolats, which are known as culottes here. They're revolting, talk about the worst of both worlds!

    Gödellian too. Meh. Must read more.

    Mimsy.

    Anyone with a sense of humour should read Dodgson's formal logic textbook; it's much better than his Jabberwocky - far funnier, despite the risk of learning something. Difficult to get hold of now though - it's difficult to get anything of his except the two Alice books and The Hunting of the Snark.

    Gödellian?? :w00t: That made me blink. Then I checked Barry's post just in case and he had the double l, I must have missed it first time. Google finds 21600 pages with Gödelian and only 204 with Gödellian. Bing finds 12900 and 126 respectively. So pretty clearly single l has most usage on the web, by a very large margin. I've never seen it with double l in print (or if I have I didn't notice).

    Of course neither Charles Dodgson nor Kurt Gödel would have looked good in culottes (they didn't have the figures for it).

    If "Gödellian" really makes you think you should read more, I guess the starting point is the famous 1932 paper; but don't miss Church's attempt to find a better model (1936 paper doing it with lambda calculus - a real brain-twister, but fun) or Turing's (1936 paper doing it with the halting problem - clearly successful because by the early 50s Gödel was telling people it was better than his own version) or the Church/Turing (and someone else, forgotten who) paper a little later proving that the Gödel, Church, and Turing formulations were all equivalent; Church and Rosser (?I think it was Rosser) had already proved that the lambda calculus version was equivalent to a formulation using recursive functions. And that left the door open for Post to wonder whether there would be an RE set whose membership decision function, while uncomputable, would have a lower Turing degree than membership for the set of halting UTM programmes and eventually (1944) postulate it as a firm hypothesis (which was proved within a decade of the suggestion). I guess Turing's attempt to find a better formulation of formal mathematical methods than Gödel's was pretty successful because by the time Post's idea was proved Gödel had decided that he preferred Turing's version to his own.

    Mimsy Prim or affected; over-refined; mincing.

    Generic description for our labour government advisor, the "Prince of Darkness".

    Gosh Tom, even with a posting time of somewhere in the wee small hours, where on earth do you find the time to read all of this stuff? I've just enough time to get through interesting short articles (like this, and anything related to bacterial respiration). Gödelian doesn't even show on the radar.

    “Write the query the simplest way. If through testing it becomes clear that the performance is inadequate, consider alternative query forms.” - Gail Shaw

    For fast, accurate and documented assistance in answering your questions, please read this article.
    Understanding and using APPLY, (I) and (II) Paul White
    Hidden RBAR: Triangular Joins / The "Numbers" or "Tally" Table: What it is and how it replaces a loop Jeff Moden

  • Kimosabe

  • Tonto

    Joe

  • Chris Morris-439714 (4/14/2010)


    Mimsy Prim or affected; over-refined; mincing.

    Generic description for our labour government advisor, the "Prince of Darkness".

    I prefer Humpty Dumpty's definition: Miserable and Flimsy. And that too applies very well to the "Noble Lord" you mention.

    Gosh Tom, even with a posting time of somewhere in the wee small hours, where on earth do you find the time to read all of this stuff? I've just enough time to get through interesting short articles (like this, and anything related to bacterial respiration). Gödelian doesn't even show on the radar.

    Actually all that maths and theory of computation stuff isn't recent reading - it's mostly remembered from what I was doing between October 1963 and March 1970. Also at present I'm taking time off at least until the end of this month (and have been since July) relaxing, soaking up sun, playing with SQLS2008, learning Spanish, some reading, some music, and deciding whether to retire completely or see if I can pick up a few short term contracts each year. Next month I'll be a little busier (talking to agent, middle son getting married) and maybe June/July/August I'll be working or maybe not. So having time is currently not as big a problem as it usually has been for me.

    Tom

  • Chris Morris-439714 (4/14/2010)


    ._ ._. ... .

    ... --- .-.. . ..--.. :hehe:

    Tom

  • grace

    John Rowan

    ======================================================
    ======================================================
    Forum Etiquette: How to post data/code on a forum to get the best help[/url] - by Jeff Moden

  • Taxes

  • Mendelssohn

Viewing 15 posts - 1,156 through 1,170 (of 21,190 total)

You must be logged in to reply to this topic. Login to reply