User talk:Bartosz

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 Naming conventions or how to format them visit our manual of style. If you have any other questions about the project then check out Help or add a question to the Village pump. Cheers! --maveric149

Twin Paradox
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
Dear Bartosz,

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 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.
 * Toposes, Triples and Theories written by Michael Barr and Charles Wells

Best wishes

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)

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