[go: nahoru, domu]

Jump to content

User talk:Brighterorange/Archive1: Difference between revisions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
Content deleted Content added
mNo edit summary
Txa (talk | contribs)
m Type Theory
Line 22: Line 22:
* Oh yeah, that's a good idea. I can't believe I didn't just think to look for those tags. I won't be able to do it until the next database dump is released, though. [[User:Brighterorange|Brighterorange]] 12:47, 24 Jun 2005 (UTC)
* Oh yeah, that's a good idea. I can't believe I didn't just think to look for those tags. I won't be able to do it until the next database dump is released, though. [[User:Brighterorange|Brighterorange]] 12:47, 24 Jun 2005 (UTC)
:* It's set for the next round of the project, which we'll do in September. [[User:Brighterorange|Brighterorange]] 15:22, 31 July 2005 (UTC)
:* It's set for the next round of the project, which we'll do in September. [[User:Brighterorange|Brighterorange]] 15:22, 31 July 2005 (UTC)

== Type Theory ==

Hi Tom-7,

nice to see somebody else around here, who is interested in Type Theory. In fact I planned for a while to start a page on LF, seems you have done this. My feeling was that TWELF isn't so closely related to Martin-Loef's Type Theory hence I didn't include it. However, if you think that it should be there than that's fine with me.

Cheers,
--[[User:Txa|Thorsten]] 19:06, 1 August 2005 (UTC)

Revision as of 19:06, 1 August 2005

You can leave me a message here, but I will probably delete it after a while.


Sam Smiths

thanks for doing the US list, I just felt that it needed at least stubbing up (like so many things...) but ddint get around to the US names thing... Justinc 23:49, 28 Apr 2005 (UTC)

  • Yes indeed, I would have been crushed to find my favorite brewery without a wikipedia article! Brighterorange 03:27, 29 Apr 2005 (UTC)

Problem Domain lar

The "Problem Domain" entry is an attempt to start creating some sanity in the computer jargon world. I'm not surprised that someone really trained in math would find this obsfucating. Unfortunately you will see tons and tons of technical documents, etc. that will create these terms on the fly. The two prosaic meanings are first that the domain is the problem being discussed and second that the writer is trying to define a domain that can be used to map his problem functions. You are correct in that there is a very weak relationship to Domain Theory and this simple definition, but the point was to illustrate that there are formal disiplines that define some of these concepts that can be explored by the curious.


Welcome

Hi Tom: saw your work on the Twelf article (via your edit on LF). I've just started to look over it: good work, and good to see you editing here. Did you know that Thorsten Altenkirch is also a Wikipedia editor (User:txa)? I'm at Yale at the moment: I guess it's likely you know Carsten Schuermann and Jeffrey Sarnat. --- Charles Stewart 20:04, 16 Jun 2005 (UTC)

  • Cool. It's good to have some type theorists here to set the record straight. ;) Jeff is a good friend of mine from CMU (I was his TA, actually!) but Carsten was outta here before I got into this stuff. Brighterorange 15:27, 17 Jun 2005 (UTC)

PeriodBot filters

I suggest that, as a basic measure to reduce false positives caused by bad wiki format (unbulleted lists et al.), we filter out any article with a cleanup/cleanupsince(?) tag or a wikify tag. This way, we can add all badly formatted articles we get a headache looking at to cleanup, and filter them out as well, and also filter all articles needing cleanup. In fact, these articles seem to be the only ones generating false positives that I have seen in any number. Falcon 03:13, 24 Jun 2005 (UTC)

  • Oh yeah, that's a good idea. I can't believe I didn't just think to look for those tags. I won't be able to do it until the next database dump is released, though. Brighterorange 12:47, 24 Jun 2005 (UTC)

Type Theory

Hi Tom-7,

nice to see somebody else around here, who is interested in Type Theory. In fact I planned for a while to start a page on LF, seems you have done this. My feeling was that TWELF isn't so closely related to Martin-Loef's Type Theory hence I didn't include it. However, if you think that it should be there than that's fine with me.

Cheers, --Thorsten 19:06, 1 August 2005 (UTC)[reply]