User talk:Txa

From Wikipedia, the free encyclopedia

Welcome to the Wikipedia

I noticed you were new, and wanted to share some links I thought useful:

For more information click here. You can sign your name by typing 4 tildes, like this: ~~~~.

Be bold!

User:Sam Spade

Contents

[edit] Welcome #2

I've seen your work on Martin-Loef's type theory: glad to see someone with what I take to be your interests here. I'd love to know more about your interests. --- Charles Stewart 20:25, 23 May 2005 (UTC)

[edit] project:TCS?

Is there a wiki project on Theoretical Computer Science?

Thorsten 21:20, 16 May 2005 (UTC)

  • No, and though a few people have had the idea there should be one, I know of no credible plan for administering one, which I think is necessary since most wikiprojects fail to provide much in the way of useful coordination: compare the success of the wonderful WP Mathematics to the failure that is WP Philosophy. I think we are closer to getting a WP Logic off the ground than a WP TCS. Take a look at the invitation to contribute at Wikipedia talk:WikiProject Logic... --- Charles Stewart 20:18, 24 May 2005 (UTC)

[edit] Reply to mail

Sorry for late reply. When you are logged in via your own user, you shouldn't have a problem. Are you sure you were logged in at the time? I do remember some NTL ip was blocked briefly but I am unable to remember among so many other blocks. Respond on my talk page if you have any questions. Inter\Echo 16:35, 14 Jun 2005 (UTC)

[edit] Per Martin-Löf image caption

The image markup can be a little tricky. You just had to swap "frame" for "thumb".eg, "[[Image:MartinLoef.jpg|thumb|200px|Per Martin-Löf 2004]]<nowiki>" instead of "<nowiki>[[Image:MartinLoef.jpg|frame|200px|Per Martin-Löf 2004]]". I like the photo. Its brooding. --Commander Keane 09:29, August 5, 2005 (UTC)