April 13, 2010 at 5:34 pm
¿
++
++
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
April 13, 2010 at 5:51 pm
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]
April 13, 2010 at 5:58 pm
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
April 13, 2010 at 8:12 pm
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
April 14, 2010 at 2:17 am
._ ._. ... .
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
April 14, 2010 at 5:57 am
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
___________________________________________________________________
April 14, 2010 at 7:10 am
Organoleptic
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
April 14, 2010 at 7:23 am
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.
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
April 14, 2010 at 7:54 am
Kimosabe
April 14, 2010 at 8:00 am
Tonto
Joe
April 14, 2010 at 8:07 am
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
April 14, 2010 at 8:12 am
Chris Morris-439714 (4/14/2010)
._ ._. ... .
... --- .-.. . ..--.. :hehe:
Tom
April 14, 2010 at 8:14 am
April 14, 2010 at 8:56 am
Taxes
April 14, 2010 at 8:59 am
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