Orcmid's Lair |
||||
|
2004-01-17MSN Tech & Gadgets. Here's a John Borland article on bridging between P2P networks and the problems of adopting FastTrack in one of its reverse-engineered open-source versions. A number of different products and organizations are named, so there is more to look up. Re: [HM] natural numbers by William Tait. This is a mail note on a history of mathematics list, where Bill Tait (on 2001-12-13) observes that Cantor didn't deal with the null set and that Zermelo, in 1930, had the intersection of disjoint sets lead to urelements and that each von Neumann ordinal sequence had one starting with a different urelement, instead of the single null set. It is odd to think of this as a way of typing empty things -- e.g., an empty carton of eggs, and so on, but I don't think it is worth pursuing. If the goal was to avoid the empty set, I think the cure was worse than the disease. William W. Tait's Home Page. Tait has a collection of his papers here, including one on Cantor and the paradoxes of set theory. The use of urelements in place of the empty set (?) is discussed. Belcher: KP & Admissible Sets. This is an interesting paper except I can't figure out how to get the typography of mathematical symbols to work. It will probably take trying to work out the font usages. FOM: Rigidity. Here's a note by Allen Hazen on FOM that suggests urelements can be introduced in a variety of ways. (I think the SourceForge.net: Project Info - X-Logic. The X-Logic work is in Alpha and the 1.0 files were released in 2000. Still, something to be aware of and pay attention to. The X-Logic Home Page. Well, here's Galactic Set Theory and Proof Power as X-Logic, a sourceForge open-source initiative. Urelement -- from MathWorld. Here's a definition of urelement from Wolfram Research's mathworld site: "An urelement contains no elements, belongs to some set, and is not identical with the empty set (Moore 1982, p. 3; Rubin 1967, p. 23). 'Ur' is a German prefix which is difficult to translate literally, but has a meaning close to 'primeval.' Urelements are also called 'atoms' (Rubin 1967, Moore 1982) or 'individuals' (Moore 1982). In 'pure' set theory, all elements are sets and there are no urelements. Often, the axioms of set theory are modified to allow the presence of urelements for ease in representing something. In fact, before Paul Cohen developed the method of forcing, some of the independence theorems in set theory were shown if urelements were allowed. Empty Set, Set Theory References Moore, G. H. Zermelo's Axiom of Choice: Its Origin, Development, and Influence. New York: Springer-Verlag, 1982. Rubin, J. E. Set Theory for the Mathematician. New York: Holden-Day, 1967. Eric W. Weisstein � 1999-2004 Wolfram Research, Inc." Factasia Quick Index. An interesting page on the R. B. Jones site providing links to a wide variety of topics, including the Global SuperBrain (I guess Global Brain wasn't brainy enough). There is probably a link here to ProofPower but it is hard to tell off hand. MainFrame:Axioms for galactic set theory.. This appears to be a typed set theory where urelements are injected (from somewhere) and identity of urelements is determined by their origins. I don't know about this case except it looks like this might be intended to operate in a prover or proof checking system. Philip Wadler's home page. Professor of Theoretical Computer Science at Edinburgh, is involved in Java, XML, and Functional Programming. I found this page because I am looking up urelement (though I just found it in the Handbook of Mathematical Logic). Harvey Friedman just raised it in regard to the objectivity of mathematical objects (is this circular?) inside a response to a question by Thomas Forster. Well, urelements (familiar to LISPers as whatever it is that atoms represent) do seem to have some popularity in computer science circles. Let's see what else there is ... 2004-01-15Yahoo! News - Oracle's Linux Push: Mozilla Browser to Front Oracle Apps. So, in terms of toolcraft, one aspect of the web situation is the browser as client platform. So long as it is about the browser implementation and not standards, we will be in this "best viewed with Mozilla 1.6" position, along with the IE 4.0 and Netscape 4 insignia. This makes my job for Situating Data more complex, but somehow nfoWare must come at this. Ideally, there is a roadmap that will support people getting beyond this. Yahoo! News - Outsourcing Contributes To IT Salaries' Downward Spiral. Indication that it is not getting better and that higher-level IT technical positions will follow. It is interesting that information security is the best haven for pure techies right now, and business analysts, system architects, and project managers are better positioned for quasi-management employment in the near term at least. Search for books and compare prices at isbn.nu. I haven't figured out what the "nu" TLD is for, so I suppose I should find out. Meanwhile, this site is very useful for finding text books and other materials through a variety of sources. This site was recommended on the KIT eLearning Student Chat by Kimberley Stosiak. Glenn Fleishman. Unsolicited Pundit. Glenn operates the www.isbn.nu experiment and is also based here in Seattle. I like how he set up his site entrance and also all of the activities he links to. Something to do for an orcmid.com facelift and also new entrances to NuovoDoc and nfoWare. 2004-01-14Cygwin Information and Installation. This support for Gnu/Linux applications on Windows is accomplished with a special DLL and a number of other elements that result in a Cygwin environment. I originally installed Cygwin to be able to run ssh so that I could access souceforge.net as a developer for activeODMA. I might still need to do that, but I was not that pleased with Cygwin and its integration with the Windows platform. This is another to look at again as part of nfoWare toolcraft. I want to avoid it if possible. I should review this integration model, though, to see how to deal with it. The use of global parameters by so much of Unix toolcraft does raise problems. My idea is not to make a Windows box work like a Unix box. That doesn't work. the NDOS and 4DOS approach is closer to what I would do, creating platform fit and a sort of hybrid toolcraft, wherever possible. That might not work for people, so I get to look at that as a toolcraft topic, also. GnuWin32. This open-source project is also focused on creation of native Windows ports for GNU tools and libraries. The list of applications is growing rapidly, there being many more ports than I saw on my last visit. These are also great choices for ToolCraft at the C Language level, console-application level. I need to look at these too. MinGW. MinGW is an approach to supporting GNU applications on Windows using some windows-specific header files and GNU toolsets so that one can produce Windows programs without relying on any 3rd-party runtime DLLs. The Microsoft Services for Unix (SFU) 3.5 release might be a candidate for fitting into this approach as well. The advantage of MinGW is that all of its mating is open-source. I haven't completely fathomed the licensing aspects, nor the packaging and integration model. What I find suggests that there has been due care to those issues and what remains for me to do is (1) recognize this as a Toolcraft resource for nfoWare and also (2) spend some time analyzing this and its peers to come up with a nice "situating" scenario that provides for confirmable use and interoperability. InformationWeek > Microsoft > Microsoft Offers Linux-Interoperability Software For Free > January 13, 2004. Microsoft has what are known as Services for Unix, and version 3.5 is being made available for free as a download. Microsoft says that the objective is to make Windows (servers?) the platform for interoperability, making it easier to port Unix applications to Windows. It seems that side-by-side and multi-platform applications may be easier to develop. I am looking at choices of toolcraft, and discussion of toolcraft, on my nfoWare initiative, and this provides a new angle. I also hadn't thought of this as a way to develop versions of Unix utilities that can be hosted as Windows (console) applications without having to rely on weird hosting techniques (e.g., CygWin and the like). I favor having specific shims for use of Standard C and Posix libraries and switching the implementations if necessary for hosting on different platforms. SFU 3.5 might be an instrument that already does the job. Personal Firewall DayTomorrow, January 15. I think it is also the birthday of Martin Luther King, Jr., to be celebrated on Monday, January 19. IN any case, this is a good reminder to get Zone Alarm for Vicki's computer as the first thing installed after the initial fire-up of Windows XP Pro on that computer. Cahiers du centre de logique, volume 10. Here's the correct link to Holmes Elementary Set Theory with a Universal Set. I am going to go looking for this on amazon.com and see what I can find. New Foundations Summary. Here's more from Randall Holmes on New Foundations, including some discussion of NFU with equality and Elementary Set Theory with a Universal Set. I am not sure of all of this, except that it may tie to my work on Miser in ways I hadn't thought to consider. Randall Holmes Home Page. Randall Holmes has done some work on the untyped lambda calculus and an equivalence to NF (!). In addition, he had developed a theorem prover in the area. This and other connections are fascinating to me and I must explore this further at some point. Buy these and make me rich, famous and universally loved. That is the title of the page this link goes to, I kid you not. The book is on an interesting topic and I am going to recommend it to folks on the Phi-logic list who are repelled by the transfinite. New Foundations Home Page. This is a home page on Quine's "New Foundations" approach to set theory, maintained by Randall Holmes. I found this link from Thomas Forsters's list of interests. This is very nice to have and a resource that I should tie to my readings in logic page. Dr T.E. Forster. Dr. Forster just asked an interesting question on the FOM discussion list and so I went to look him up. 2004-01-13Verisign TLC Link. Here is a link, from a follow-on e-mail, that provides a overview of the digital signature process and what looks like a tutorial and FAQ level treatment. VeriSign Inc. - www.verisign.com. Although the digital ID that I just renewed is not for code signing, there is a link to the all-about-code-signing page, and this appears to be it. This is an interesting problem. The current price of these puppies, and their short life-span, makes me want to use something around OpenPGP and that web of trust, since that is probably good enough for any code that I am inclined to sign (mostly to establish authenticity of the build). VeriSign Support. I just renewed a digital ID and the confirmation page says that the Learning Center can be found here. Maybe. 2004-01-12Faculty and Staff: Thomas McKay. This is the Syracuse University Philosophy Department home page for professor Thomas McKay. McKay is working on a book on Plurals and Non-Distributive Predication that Dean Buckner recommends. I am looking at some of the material that is available in draft. 2004-01-11Abstract for CSLI-97-202. This is for "Searle's Chinese Room and its Aftermath" by Vincent John Mooney III. What caught my interest (while looking for something else) is the question whether "syntax causes semantics." I would think not, but I have no technical basis for that. Here's something to look int, if I can find the actual paper. The formal approach to meaning. I wasn't looking for this. It popped up in a search for something else. I definitely want to return to it for a closer look. Terry Winograd publications. I blogged this because there are a bunch of broken links on Winograd material that use www-pcd.stanford.edu, apparently a defunct server. Stanford Interactive Workspaces. This is a cross-disciplinary exploration of "new possibilities for people to work together in technology-rich spaces with computing and interaction devices on many different scales". Something to look at with regard to collaboration and coordinated work, though I am not so keen on the arbitrary range of devices. Mostly because I currently think in terms of PCs and tablets, but not smaller. Maybe that would change if I could get seamlessness, but I don't see that right now. One thing about looking for rowing machines is that I want to find out why they are not so common any longer, and who has inexpensive ones. The prices I see are in the $199-$299 range for what look like the kind I want, but they don't seem to provide for position reversal. I wonder why. Stamina Precision Rower and Rowing Machines at MegaFitness. Here's a low-end one. It might work. I would love to find one a better way (must remember to check amazon.com!) Rowing Machines Overview - See our rowers and learn about resistance! - Rowing Machines - Rowing machines from Tunturi, Wynne, Kettler, WaterRower & Stamina. Yup, I'm looking for a rowing machine. I have what I need for Yoga, but I need to do something for weight and abs, and this has been an in-door exercise I have enjoyed in the past. I had a very simple machine years ago. Now I have a place to keep it ready to use in my office and I can take breaks on it. I want to try that without going into expensive options. There are a couple that work here. I liked a cheap one that I had that also had a bench that I could add to the rails so that I could reverse myself and do overhead pulls and also leg exercises, knee presses and such.
|
|||
