User talk:Krauss

From Wikipedia, the free encyclopedia

Contents


[edit] Your English

Is great apart from the few spelling mistakes. Don't worry about requesting that somebody checks it on the page. Make all of your changes and then post to the talk page and ask for somebody to check your changes. Keep up the good work. --GraemeL (talk) 17:36, 11 April 2006 (UTC)

[edit] Shiny thing!

The Original Barnstar
For working to improve several internet related articles by adding good prose rather than just making minor tweaks. --GraemeL (talk) 02:22, 20 June 2006 (UTC)


Don't think all of those good edits can go unnoticed. --GraemeL (talk) 02:22, 20 June 2006 (UTC)

[edit] Copy of Shepherdson-Sturgis sent to xkraussinode@yahoo.com

I hope the paper gets to you. If not reply here. It is a very good paper -- esp. Appendix A.wvbaileyWvbailey 18:50, 26 October 2006 (UTC)

You should have received a bunch of papers -- Minsky, Post, Lambek, Melzak. If not let me know. wvbaileyWvbailey 17:01, 28 October 2006 (UTC)

Yes, all the papers, thanks a lot! -- Krauss, octuber 2006.

[edit] Turing machine article and wvbailey

At this time, I have completed my contributions to this article. Is there more is to say? If you have ideas, let me know. wvbaileyWvbailey 03:47, 30 October 2006 (UTC)

Thanks... and sorry not collaborating, I will do this next year... now have time only for Template system/Web template. -- Krauss

[edit] More copies to kraussinode

I have sent you .pdf copies of the following:

  • exerpt from text Boolos-Burgess-Jeffrey (2002) -- their use of the "abacus machine"
  • exerpt from text Minsky (1967) -- brief but useful, his "program" (counter) machine model
  • Cook-Reckhow (1973) -- famous RAM paper, more or less defines the RAM but is derived from Hartmanis and I suspect also from Melzak (1961) (with attribution)
  • Hartmanis (1971) -- RASP
  • Elgot-Robinson (1964) -- 1st paper to define RASP

I have the famous paper of Schonhage but this needs to be scanned and it is not particularly interesting excepting for how he atomized his RAM1 model to RAM0, ending up with a model that has no parameters at all (excepting maybe the goto); he also specifically uses a true "index" register "n". His models are very specific to his "storage modification machine."

Excepting the Germans (Kaphengst, Hermes, etc) this should be all the "foundational" papers. The other interesting paper is van Emde Boas which categorizes all the types of machines (I have followed his pattern). If you want to see it let me know. I will have to scan it.

These papers form quite a library, don't they? ... If we were to publish them in a "source book" we would need to permission from their publishers. And we need the Germans and Rozsa Peter, translated. I also have very lucky find -- an exerpt from the mimeographed lecture notes of Martin Davis (1973-4) that names and defines the Post-Turing machine model. wvbaileyWvbailey 17:04, 31 October 2006 (UTC)

[edit] Deleting articles

Hi there, you left a note on Template system/Draft for the article to be deleted, which should be carried out shortly. In future, please do not leave a page like this as this gives the false impression there is an article there when there isn't. Please either move the article to a new title, redirect it to another article or have the page deleted by an administrator (in this case, you could have placed {{db-author}} on the page as you were the only contributor). Thanks, and happy editing, mattbr30 14:46, 31 December 2006 (UTC)

[edit] Coordination game

Hello, I started a thread regarding your addition at Talk: Coordination game#Coordination dilemma. ~ trialsanderrors 22:30, 16 January 2007 (UTC)

[edit] Image:URI_URL_URN.png listed for deletion

An image or media file that you uploaded or altered, Image:URI_URL_URN.png, has been listed at Wikipedia:Images and media for deletion. Please look there to see why this is (you may have to search for the title of the image to find its entry), if you are interested in it not being deleted. Thank you. Rjgodoy 22:14, 30 March 2007 (UTC)