User talk:Bartosz

From Wikipedia, the free encyclopedia

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

[edit] 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: [[1]]

Wodan 21:51, Aug 28, 2004 (UTC)

[edit] 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.

Best wishes

Physis 20:47, 28 November 2006 (UTC)

[edit] 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)