User talk:J. Noel Chiappa: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Christopher J. Reiss
(→‎Godel and stuff: new section)
imported>Christopher J. Reiss
Line 83: Line 83:


* Halting : Suppose a Halting-Detector exists, H(P).  Use the Introspection property to turn H against itself :
* Halting : Suppose a Halting-Detector exists, H(P).  Use the Introspection property to turn H against itself :
  Create Spite such that : If H(Spite) = "halt", hang in a loop.  Else, terminate.
Create Spite such that : If H(Spite) = "halt", hang in a loop.  Else, terminate.


We have a contradiction, thus H cannot exist.
We have a contradiction, thus H cannot exist.
Line 89: Line 89:
Finally we go from Halting to GIT : Statements about computation map to theorems in number theory, etc.
Finally we go from Halting to GIT : Statements about computation map to theorems in number theory, etc.


The formalist justifiably screams bloody murder; but the ability to convince the reader of an otherwise obscure and baroque subject is, perhaps, compelling.   [[User:Christopher J. Reiss|Christopher J. Reiss]] 12:55, 4 June 2008 (CDT)
The formalist justifiably screams bloody murder; but the ability to convince the reader of an otherwise obscure and baroque subject is, perhaps, compelling. [[User:Christopher J. Reiss|Christopher J. Reiss]] 12:56, 4 June 2008 (CDT)
 
[[User:Christopher J. Reiss|Christopher J. Reiss]] 12:55, 4 June 2008 (CDT)

Revision as of 11:56, 4 June 2008


So, Noel, as long as you're checking out dawgs and stuff...

...could you have a read through of Miniature Fox Terrier? Thanks! Aleta Curry 03:07, 13 April 2008 (CDT)

checklist term; keep or reinvent?

OK, I'm in two minds about this. Since we are talking about a subset of the metadata functionality (the other being management of approval status) maybe we should keep this term? One change that would make sense would be to have the pagename and variant included in the checklist. The only reason they were kept separate is that they were not part of the original checklist. I added those two later and did not want to confuse people who were already familiar with the old checklist. I also want to have the pagename as a distinct entity since it was critical it got filled in. Now we have the automatic error checks and better instructions (not to mention preloaded text for a new metadata page) I think they can all be lumped together.

Back to the name. Possibly we could call it Checklist metadata vs Approval metadata rather than Metadata content? Chris Day 21:48, 17 April 2008 (CDT)

I'll check the forum re: by field. I agree lets mull over the metdata format and nomenclature. If we're going to make changes we might as well make a lot all at once. We can use out recent experience to tighten it up and possibly make it more user friendly. While you're at it, let's think about any major improvements we can make. Your perspective is very different to mine since you are seeing it with fresh eyes. Any other things you can think of while you are at it, besides the by field? Chris Day 22:04, 17 April 2008 (CDT)

your advice please...

I have some notes stored on Guantanamo medical care. You and I discussed it a bit within the last week or so. I have come across some new developments. And I would like your advice.

I am still trying to adapt to the different standards here. Articles here may require a higher level of scholarship. That is a good thing. But it may also require a greater level of interpretation. I am having a bit of trouble with this aspect. In my online comments prior to working on that other big wiki I didn't shy away from intellectually honest interpretation. But, on the other big wiki, I got out of the habit of doing so, trying to let the facts speak for themselves, to avoid challenges over POV.

Some of the feedback I am getting here seems to be telling me I should include a measure of interpretation, to provide context, and improve readability.

I think this recent article erodes the assertions that Guantanamo captives have received good health care.

  • Joby Warrick. Detainees Allege Being Drugged, Questioned: U.S. Denies Using Injections for Coercion, Washington Post, Tuesday, April 22, 2008, p. A01. Retrieved on 2008-03-01. “Nusairi, now free in Saudi Arabia, was unable to learn what drugs were injected before his interrogations. He is not alone in wondering: At least two dozen other former and current detainees at Guantanamo Bay and elsewhere say they were given drugs against their will or witnessed other inmates being drugged, based on interviews and court documents.”


So, do you think I have that right? Should I try to allow a limited measure of interpretation into an article about medical care at Guantanamo?

Thanks! George Swan 18:49, 22 April 2008 (CDT)

Strings

Stephen says:

"Email tools@citizendium.org Stephen Ewen 14:01, 4 May 2008 (CDT)"

FYI---David Yamakuchi 00:33, 5 May 2008 (CDT)

More on definitions

I thought about this, and I think someone else thought about it also, but what is your opinion on using Template:H:title? --Robert W King 13:47, 25 May 2008 (CDT)

I just had to tell you I laughed out loud

... at AstronomerAmateur. Although it's completely tongue-in-cheek, it frames the problems with Wikipedia with razor-sharp precision. I'm glad you jumped ship and came here! -Eric M Gearhart 17:47, 25 May 2008 (CDT)

Template documentation

Are you going to incorporate Robert Kings template into the preload of Doc? I have to admit I have not used his template for any of the documentation pages I have written. Mine usually evolve with time as I write notes to myself. Chris Day 11:08, 2 June 2008 (CDT)

TlDoc

Hopefully you have a short answer for this problem. note the tag at the bottom and the fact that the first title does not format correctly (the header you see in that example, that looks like an intro between = marks, i added as a way to force the TOC look correct). I assume I have to have each title in the /doc without the header markup (==Title== etc.), but can i still use a TOC after removing the headers? Chris Day 13:42, 3 June 2008 (CDT)

Needles in a haystack

After seeing this disaster it reminded me that having that template is a horrible but unavoidable idea. But at the time I did not really think about using the format Template:Metadata/Basename. Possibly there was a reason for not doing that, but it's not obvious to me right now. Should we consider such a move, I know, what a job, but if we don't do it now finding templates will be like looking for a needle in a haystack. With a Template:Metadata prefix at least the others will not be interspersed within the metadata ones. Any thoughts? I assume you have already experienced this problem when looking for templates to add to the template page. Chris Day 22:27, 3 June 2008 (CDT)

extreme dizziness

My head is reeling from so many instructions, but I will do my best to carry them out, Herr Leftnant! (clicking of heels) Hayford Peirce 12:20, 4 June 2008 (CDT)

Godel and stuff

Hiya Noel,

Is anyone going to tackle Godel's IT in the future ? I came across (what seems to me) a powerful pedagogy for rendering GIT. This was proposed by a 'crackpot' on WP who was shot down in a hail of flames (and banned, i think.) But I think it's legit, very powerful, and does occur (tho rather obscurely) in the literature.

The idea is to sketch a proof of GIT from the modern perspective of computation. This does great violence to the historical development of GIT, and it also takes for granted some ideas that originated with Godel ... but it is a powerful way to first see GIT from a modern perspective. Let me try to sketch : --- We proof Halting first. Start with a computer language, say Lisp.

  • Quining : A computer program P exists which 'prints out its own source code' (or evaluates to a string which is its own source code.) This is a common brain-teaser among beginning programmers, and within the reach of many students to figure out.
  • Introspection : From above, a program can access its own source code and place it in a variable. For example, if we have a program CountCharacters(P) which reads a program P and outputs the number of characters in its source code, we can always trivially modify CountCharacters to make CountMyCharacters() which processes its own source code. In other words, a program can always say "myself".
  • Halting : Suppose a Halting-Detector exists, H(P). Use the Introspection property to turn H against itself :

Create Spite such that : If H(Spite) = "halt", hang in a loop. Else, terminate.

We have a contradiction, thus H cannot exist.

Finally we go from Halting to GIT : Statements about computation map to theorems in number theory, etc.

The formalist justifiably screams bloody murder; but the ability to convince the reader of an otherwise obscure and baroque subject is, perhaps, compelling. Christopher J. Reiss 12:56, 4 June 2008 (CDT)