User talk:Txa
From Wikipedia, the free encyclopedia
I noticed you were new, and wanted to share some links I thought useful:
- M:Foundation issues
- Wikipedia:Tutorial
- Wikipedia:Cleanup resources
- Wikipedia:Help desk
- Wikipedia:Five pillars
For more information click here. You can sign your name by typing 4 tildes, like this: ~~~~.
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)
