From Wikipedia, the free encyclopedia
Jump to: navigation, search
I do not dual-license my work Heckert GNU white.svg
en-4 This user can contribute with a near-native level of English.
C-3 This user is an advanced C programmer.
Perl-3 This user is an advanced Perl programmer.
HTML-2 This user is an intermediate HTML user.
Ada-2 This user is an intermediate Ada programmer.
for-3 This user is an advanced Fortran programmer.
Search user languages
WikiProject Logic task list
  • This list should be actively updated: Discuss

Since the nickname "Nahaj" isn't that informative, and I assume you are reading this to look up who reallly authored some article or correction...

*** Warning... I sometimes go months between logins ***

Who am I?[edit]

My home page [1] is much more likely to be updated and current than this page.

Name: John Halleck, Born in Europe, back in the early 1950's some time.

Sr. Systems' Programmer and Analyst for the University of Utah (Office of Information Technology)

Webmaster for the Utah Logic Group webpages. *Warning* those pages require a good "tongue in cheek" tolerance. (Besides being somewhat out of date lately)

Interests: Needlepoint, surveying, mathmatics, logics (especially modal logics), cave rescue, computer ethics instruction, SHA, Cryptography, Division free factoring, Block Given's Rotations, Orthogonalization methods, Making Arrowheads, "Primitive" rope making, Lava fields, historical "different" bicycle designs that haven't survived, Non-standard arithmetic algorithms, minimal non-blocking switch networks, and other topics in common with them.

I am the author of an open source, government validated, SHA-1 implementation. (It was the *only* open source validated SHA-1 from September 2000 until July 2005, when OpenSSL was validated) It was the third implimentation to pass the full validation suite for bit strings (out of 15 or so now), instead of just the tests for byte oriented data.

What am I doing here?[edit]

Tentitive Wikipedia "to do" list:

  • Page for Irish logician C. A. Meredith(Started stub)
  • Meredith's Condensed Detachment (particularly in light of both the historical significance,and the recent new work referencing it) [Google "Condensed Detachment Meredith" for a long list of current applicibility.] (Started stub) Need to update to a formal or at least coherent discription. Need to add text for why this is of any interest to begin with.
  • Page for Logician Hugh MacColl (C.I.Lewis credits the ideas of his early Modal Logic papers to MacColl) (started stub), which some anonymous editor has made major improvements in. Thanks anonymous.
  • Page for H. B. Smith (Early logician, his is an example an example of a (very historical) modal logic that doesn't admit to "possible world" semantics
  • Fix Modal logic history to reflect the context that Lewis' ideas came from.
  • The "Beth Salay" effect (A paradoxical result on "independent" verification in an environment of search engines). Hmm... maybe not worth it... wikipedia already has an entry for the bathtub hoax, which deals with an earlier form of the topic. (The fact that it can now get "reprinted" around the world almost immediately, and then attempts to verify it see those apparently "independent" pages, is just a change in technology.) Update: (: Beth Salay herself started a "Beth Salay Effect" page here. While it was eventually removed for reasons that include it being original research (and being more or less content free), it is humorous to me that one wikipedia editor argued there was no evidence of the hoax, and that claiming it a hoax was maligning some obscure real person that really did all those things. It is a fine hoax indeeded that is so well done that people that haven't researched it well enough leap to its defense against the charge that it is a hoax :) And I find humor in the fact that the databases that were hoaxed started removing the hoaxed entries as soon as the (later deleted) page on the hoax appeared in wikipedia.
  • Fleshing out the Program Verificaton stub with the classic "X by repeated Y" algorithm, or maybe "addition by successive incrementation/decrementation" ??? Hum... There doesn't seem to be a stub any more ???
  • An example set of Balanced Ternary algorithms
  • fillin of information on "free piston" Stirling Cycle engines
  • Create section on diaphram Stirling Cycle engines
  • Notes and corrections on Cryptology section on implementation, testing, and validation of cryptographic algorithms
  • Make templates for the shell as a programming language. The other computer languages I regularly use already have templates. The name I used ("sh") apparently refers to some human language (which, admittedly should have the stronger right to it). So at a bare minimum it will have to be called something else...
  • Make a wikipedian logicians category (Looks like someone beat me to it. Thanks!)

Categorized stuff[edit]


Why do I only see "gnu" style option processing in only a very few languages (Usually C and perl) ? I personally ship shell scripts (sh for those that care) that have [syntaticly] type checked options, plus the standard --help, --version, etc.. Could it be that the other languages are that much harder to work in then the shell? :)

Google and Wikipedia[edit]

It is bizarre to me that anything with a long publication history in the real world, but not appearing significantly in Google, really doesn't appear here either. I look at the discussions of whether pages should be deleted, and they are full of "I google'd this or I google'd that." But they don't have "I checked a reference book", or "I checked the library", or even "I looked through a book on the topic.".

I've seen cases of bogus items being intentionally put onto web pages, crafted in a manner that they are intended to be stolen, that now return LONG lists in Google that appear to verify them. (Many apparently independent sites, in many different countries, and in many languages!) [The network equivalent of the bathtub hoax.] While items of significant historical interest [particularly in the development of technologies], aren't generally written about by current workers [who, understandably, write about their cutting edge work instead].

It is also amusing to me to see how many pages on "obscure" regions and/or history are obviously written by someone with an ax to grind on some local issue. (Which I'm only aware of because I've dealt with students on both sides.) Since the other side is not well represented on the web, it being one half of a debate is invisible to folk Googling the topic. (Since the first side with a significant web presence will be the "majority" view from a Google search, the other side can safely be accused of being a fringe group, even if the local opinion is split 50/50.)

I wonder what the implications are for future historical analysis?

Update: Hmm... I just witnessed a long debate of "I googeled this", "I goodeled that", etc. without a single person checking a reference book on the topic. (Although, in my opinion, the debate would have been completely settled by just looking it up in a standard text.) I wonder how common those are.


I consider myself an advanced writer of shell scripts, but there does not seem to be a template for it that I can find. I had guessed it would eventually be called "sh". But, lo, that became the tag for some specific human language. I guessed wrong, I lose. Not a problem.

  • HOWEVER, if you look at the history of my page, wikipedia uses the new template (which didn't even exist at the times the history claims to be covering) making them look as if I had a certain language tag at the time, although anyone that saw my page at the time would not have seen any such tag. In my personal opinion, this is a programming bug...

I also note that templates are generally marking existance of an attribute, but not the non-existance of an attribute. (I.E. I don't see templates that would say, for example, "This user is certifiedably not a Bavarian Separatist", although one that said "This user is a Bavarian Separatist" might appear someday if the right political fights were around.)


I maintain an index of Modal Logics that tries to at least document the current mess of names of Modal Logic Systems, and a few of the popular ones. I think the current mess on the names of the Modal Logic Axioms is generally so bad that no order can really be made from it.