User talk:Tromp

Welcome to the Wikipedia
Here are some links I thought useful:


 * Tutorial
 * Help desk
 * Foundation issues
 * Policy Library
 * Utilities
 * Cite your sources
 * Verifiability
 * Wikiquette
 * Civility
 * Conflict resolution
 * Neutral point of view
 * Pages needing attention
 * Peer review
 * Bad jokes and other deleted nonsense
 * Brilliant prose
 * List of images
 * Boilerplate text
 * Current polls
 * Mailing lists
 * IRC channel

Feel free to contact me personally with any questions you might have. The Village pump is also a good place to go for quick answers to general questions. You can sign your name by typing 4 tildes, like this: ~.

Be Bold!

Sam [Spade] 12:10, 9 Oct 2004 (UTC)

Image:John0.jpg
If you could please add a copyright tag to your image, visit Image_copyright_tags for all of them. Thanks --Admrboltz 4 July 2005 07:30 (UTC)

Invariance theorem
John,

I took a look at the article on the invariance theorem in Algorithmic information theory, and as you see, it needs some work. Apparently the original editors simply lifted the definition out of Planet math, which might be better than nothing.

As I recall, the statement, an informal proof, and a formal proof appeared in Li and Vitanyi's book. Since you are in Paul Vitanyi's group (and I am not), I don't feel fully confident in fleshing out that article. (I also will not be returning to cwi until Aug 15, and I cannot seem to locate a copy of their book).

Could you be so kind as to take a look at this stub and flesh it out? I took some guesses, and a reference to their book on talk:Invariance theorem. Vonkje 15:12, 23 July 2005 (UTC)

User: stuff in articles...
If you want to cite your solution in Connect Four, plesae do so in a way that does not refer to User:. The ref to User: is a cross-namespace reference that breaks when the article exported. Fplay 01:08, 12 December 2005 (UTC)

TOO MANY CAPITAL LETTERS
It was hardly a surprise that your link to "Turing Machines" (capital initial "M"; plural) would fail to work. It now works since I created a redirect page. I also changed the link so it said Turing machines. That makes it link to the singular (and with lower-case "m"), but the reader sees the whole word, not just the part in brackets, as a clickable link.

I moved the article to binary lambda calculus, with lower-case initials, as required by WP:MOS, and fixed the links to the new redirect page. Michael Hardy (talk) 04:14, 13 March 2009 (UTC)

Connection between Goodstein sequences and Woodall numbers
Hi Tromp, you added notes claiming that all Goodstein sequences after G(4) have length equal to a Woodall number. This is interesting to me, do you have a reference/proof of it? I would be very interested in understanding more. Thanks, — sligocki (talk) 21:07, 14 October 2009 (UTC)

--

There's no reference as far as I know. I discovered it myself.

For starting numbers of at least 4, the goodstein sequence will at some point reach b^b in hereditary notation. The next step yields b'^b' - 1 which is b * b'^b + b * b'^(b-1) + .... + b, where b' = b+1 is the next base. It's a nice exercise to figure out what will be the final base. You will see how the Woodall number arises.

When you start with 3, the final base of 7 happens to also be a Woodall number, so the property holds for any input >= 3.

regards, -John —Preceding unsigned comment added by Tromp (talk • contribs) 21:05, 20 November 2009 (UTC)

--

Thanks John, actually, after asking here, I played with them a bit and discovered it myself. It is interesting. Do you know if this connection shows any properties? For example, do you know if there are interesting properties or uses of Woodall numbers that might be used for the Goodstein sequences? Cheers, — sligocki (talk) 02:30, 21 November 2009 (UTC)

Proof-of-work system Cuckoo Cycle : Conflict of interest
"Cuckoo Cycle" lacks Verifiability. I've removed it from the list of proofs of work. Furthermore it appears you have a strong Conflict_of_interest on that subject. Please read and consider both of those articles before adding more content. Thanks, Chris Arnesen 14:54, 27 January 2014 (UTC)
 * Hi, Chris. Some comments on your undoing of my PoW entry: As to verifiability, my paper has the same status as some other PoWs listed there. Since its original announcement in early January, it has been looked at by many people in the cryptography and cryptocurrency people, including people who designed their own PoWs, and none have found any flaw in it. It has also just been published on the cryptology eprint server at http://eprint.iacr.org/2014/059, just like e.g. the Hokkaido PoW listed there. As to conflict of interest, it would be limited to "Citing yourself", which, quoting "is allowed within reason, but only if it is relevant, conforms to the content policies, including WP:SELFPUB, and is not excessive. Citations should be in the third person and should not place undue emphasis on your work." I see you are very interested in bitcoin yourself. You should be able to assess the paper's qualities. Let me know if you find any problems with it. regards, -John — Preceding unsigned comment added by Tromp (talk • contribs) 14:29, 28 January 2014 (UTC)
 * Welcome to Wikipedia, by the way! We can always use more folks around here who have both in-depth content knowledge and good writing skills, like yourself. The Wikimedia software is pretty deficient when it comes to talk page discussions. I find it's easiest to keep the conversation on one person's talk page (let's use yours). You can alert me to a new comment by adding markup to beginning of your post. It renders like this : . Also, please sign your posts with four tildes, ~ . Conventionally, a comment on a comment is proceeded by an extra colon for indentation. If at some point we get too far indented, you can

Anyway, as for verifiability, "Self-published and questionable sources may be used as sources of information about themselves, usually in articles about themselves or their activities". I read that to mean that I could add as a reference to an article about YOU, something YOU had self-published. A self-published reference on the proof-of-work page isn't that thing. As for COI, the last sentence of the paragraph that you quoted from is, "When in doubt, defer to the community's opinion." The Hokkaido reference, like yours, is self-published. Though that citation doesn't properly verify that content, a Google search indicates to me that the content probably is verifiable. (Remove it if I'm wrong). In your case, that doesn't appear to be true yet. Heck the preprint was just posted two days ago. I hope this helps. Cheers, Chris Arnesen 15:05, 28 January 2014 (UTC)

Cryptocurrency task force Invite
-- 1Wiki8 ........................... (talk) 09:49, 29 September 2015 (UTC)

ArbCom elections are now open!
MediaWiki message delivery (talk) 12:52, 23 November 2015 (UTC)

Nomination of Binary lambda calculus for deletion
A discussion is taking place as to whether the article Binary lambda calculus is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Articles for deletion/Binary lambda calculus until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article.--greenrd (talk) 23:18, 29 December 2016 (UTC)

Proposed deletion of MimbleWimble


The article MimbleWimble has been proposed for deletion&#32;because of the following concern: "No evidence of notability. No coverage that I could find in RSes on a WP:BEFORE - all coverage is primary or crypto sites. No suitable redirect targets."

While all constructive contributions to Wikipedia are appreciated, pages may be deleted for any of several reasons.

You may prevent the proposed deletion by removing the notice, but please explain why in your edit summary or on the article's talk page.

Please consider improving the page to address the issues raised. Removing will stop the proposed deletion process, but other deletion processes exist. In particular, the speedy deletion process can result in deletion without discussion, and articles for deletion allows discussion to reach consensus for deletion. David Gerard (talk) 23:22, 23 July 2020 (UTC)

Nomination of MimbleWimble for deletion
A discussion is taking place as to whether the article MimbleWimble is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Articles for deletion/MimbleWimble until a consensus is reached, and anyone, including you, is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. David Gerard (talk) 22:03, 26 July 2020 (UTC)