Hello there, welcome to the 'pedia! I hope you like the place and decide to stay. If you need pointers on how we title pages visit Wikipedia:Naming conventions or how to format them visit our manual of style. If you have any other questions about the project then check out Wikipedia:Help or add a question to the Village pump. Cheers! --maveric149
- 1 Twin Paradox
- 2 Many-sorted logic, category theory
- 3 Translation from English to Polish
- 4 Notification of automated file description generation
- 5 ArbCom elections are now open!
- 6 ArbCom Elections 2016: Voting now open!
- 7 ArbCom Elections 2016: Voting now open!
- 8 ArbCom 2017 election voter message
Hi. Do you think you could look at my question that I listed at the bottom of the Twin Paradox discussion page? I would be very interested in your answer! Thanks. See: []
Wodan 21:51, Aug 28, 2004 (UTC)
Many-sorted logic, category theory
Thank You for Your letter. I used the term “sort” in the sense as it is used in the field of “many-sorted logic”. It was a surprise also for me, that there is no Wikipedia article from many-sorted logic yet. Many-sorted logic is also for me a fresh area. I try to learn it with searching keywords like “many-sorted logic”, “many-sorted”, I found till now such materials like Many-Sorted Logic, the first chapter in Lecture notes on Decision Procedures, written by Calogero G. Zarba.
Have much luck to learn category theory! I began it with
- Toposes, Triples and Theories written by Michael Barr and Charles Wells
Learning category theory can be even more funny if joined with categorical programming, see e.g. Charity programming language. But also Haskell (programming language) has many category theory related materials and oportunities.
Physis 20:47, 28 November 2006 (UTC)
New article: many-sorted logic
Thank You for Your letter, and also for the suggestion in the physics topic (the topic is not mine, just I saved it from deletion by copying it onto my user page. In childhood I wanted to be a physicist, it is a wonderful science).
To make Your efforts easier in learning many-sorted logic, I have just created such an article, but it is very embryonic. and contatin only new one reference that I have not mentioned yet to You (because I have found that book just now).
Much success and best wishes to You,
Physis 23:22, 28 November 2006 (UTC)
Translation from English to Polish
Hi there. I like to ask for your support in translation. It might be a short recreative break from computing topics. :-) If you like please have a look at a short article about an international music award which should be available in several important languages like Polish as there already have been Polish participants. It's already published in English, French, and German. You wouldn't have to bother with the tablet and the references as I would prepare both for Polish. I just need the appropriate Polish terms (nationalities etc.) for it. Just let me know. Many thanks in advance. Best regards ArcCan (talk) 18:23, 2 October 2010 (UTC)
Notification of automated file description generation
Your upload of File:Code Co-op.png or contribution to its description is noted, and thanks (even if belatedly) for your contribution. In order to help make better use of the media, an attempt has been made by an automated process to identify and add certain information to the media's description page.
This notification is placed on your talk page because a bot has identified you either as the uploader of the file, or as a contributor to its metadata. It would be appreciated if you could carefully review the information the bot added. To opt out of these notifications, please follow the instructions here. Thanks! Message delivered by Theo's Little Bot (opt-out) 15:01, 15 May 2014 (UTC)
You appear to be eligible to vote in the current Arbitration Committee election. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to review the candidates' statements and submit your choices on the voting page. For the Election committee, MediaWiki message delivery (talk) 08:53, 23 November 2015 (UTC)