April 14, 2010 at 9:03 am
refund
April 14, 2010 at 9:10 am
Lynn Pettis (4/14/2010)
refund
New paint job on the house 🙂
April 14, 2010 at 9:39 am
Chris Morris-439714 (4/14/2010)
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.
The Last Mimsy
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 14, 2010 at 9:51 am
Lynn Pettis (4/14/2010)
refund
Wish I had one. :crying:
-- Kit
April 14, 2010 at 9:54 am
Steve Jones - Editor (4/14/2010)
Taxes
Why bother?
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 14, 2010 at 9:57 am
Tom Brown (4/14/2010)
Mendelssohn
Bach
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 14, 2010 at 9:57 am
Lynn Pettis (4/14/2010)
refund
Ditto - but that was last month. I don't like to wait to do my taxes.
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 14, 2010 at 10:03 am
Procrastinate
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 14, 2010 at 10:15 am
CirquedeSQLeil (4/14/2010)
Lynn Pettis (4/14/2010)
refundDitto - but that was last month. I don't like to wait to do my taxes.
Not so lucky here. Had to right a check :angry:
Joe
April 14, 2010 at 10:23 am
April 14, 2010 at 10:26 am
CirquedeSQLeil (4/14/2010)
Procrastinate
Which is what I ended up doing. Wanted to do it beginning of February, but the wife didn't get me everything until the end of February, which by then I didn't care so much.
April 14, 2010 at 10:29 am
crookj (4/14/2010)
CirquedeSQLeil (4/14/2010)
Lynn Pettis (4/14/2010)
refundDitto - but that was last month. I don't like to wait to do my taxes.
Not so lucky here. Had to right a check :angry:
Joe
I guess a joke about helping pay for the new medical care bill would be bad?
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 14, 2010 at 10:34 am
CirquedeSQLeil (4/14/2010)
crookj (4/14/2010)
CirquedeSQLeil (4/14/2010)
Lynn Pettis (4/14/2010)
refundDitto - but that was last month. I don't like to wait to do my taxes.
Not so lucky here. Had to right a check :angry:
Joe
I guess a joke about helping pay for the new medical care bill would be bad?
I am fully aware that... The Truth Hurts. Joke Away. Maybe so laugher will make the pill a little easier to take. And I do foresee alot more pain in the future!!!
Joe
April 14, 2010 at 10:35 am
Lynn Pettis (4/14/2010)
CirquedeSQLeil (4/14/2010)
ProcrastinateWhich is what I ended up doing. Wanted to do it beginning of February, but the wife didn't get me everything until the end of February, which by then I didn't care so much.
I wanted to finish mine up at the beginning of Feb as well. I just didn't receive all of the forms until mid month -annoying delays.
Oh well, got em done and life moves on.
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 14, 2010 at 11:09 am
Flat Tax Rate
-- Kit
Viewing 15 posts - 1,171 through 1,185 (of 21,190 total)
You must be logged in to reply to this topic. Login to reply