Eric Hehner Replies

Eric Hehner apparently could not figure out how to post this reply to my blog because of some character limit, so he asked me to post it. Here it is. I'll reply below.

---

Wow! I merit a tirade by Jeffrey Shallit. Thank you, Jeffrey. I hope your blog piques interest in my upcoming lectures. You have kindly included links to the work in question, so I hope people will read the work and judge for themselves, rather than accept your opinion.

I'll pass over the parts where you ridicule me by associating me with fraudulent archaeology and people who think 1>2 and circle-squarers. Your first direct volley is aimed at my paper “Beautifying Gödel”. The title comes from the fact that the paper was a contribution to a book titled Beauty is our Business. I set out to write the simplest, most elegant presentation that I could of one of Gödel's theorems. The paper does not suggest that there is anything wrong with Gödel's theorem. The simplifications come from our modern familiarity with the character string data type (so we don't have to encode programs as integers) and with programming language interpreters; these were unknown to Gödel. My presentation has been used by various authors and textbook writers (e.g. What Computing is All About, a textbook used at CalTech).

I am a fan of Torkel Franzén and his wonderful book Gödel's Theorem: an Incomplete Guide to its Uses and Abuses. His criticism of my paper was very mild (especially compared to his pointed criticisms of almost everything else). It seems to arise because he, like most mathematicians, is a platonist (he believes mathematical objects exist, independent of people; we just try to find out some truths about them) whereas I am a formalist (I believe mathematics is a formal language created by people to describe some aspects of the world). In particular, soundness is stated differently. Perhaps formalist mathematicians are “fringe”; if so, it's an august group that I am happy to be part of.

You cite my paper “the Size of a Set” as fringe mathematics. You say I deny “that it is reasonable to say that a set A is the same size as set B if A is equipollent with B”. Then a few sentences later, you say “But who cares what Prof. Hehner thinks is “reasonable”?”. When you quote the word “reasonable”, you are quoting yourself, not me; the word “reasonable” does not appear in the paper. You say “There are other problems with Hehner's paper”. First, I “present the minor technicality of some numbers having two different base-k representations as something that has to be “repaired”, when in fact this problem simply does not occur in Cantor's proof when correctly presented”. Your comment is entirely unfair. I first present the popular form of the proof, point out the problem, and repair it. I agree that the problem does not occur when the proof is correctly presented.

The next problem, you say, is that I “claim the proof is informal when in fact formalizing it is trivial”. The wordy proof is informal, and I formalize it. How is that a problem?

Finally, you say I “confuse the notions of cardinality and computability”. I most certainly do not. I present two analogous arguments, and point out the important difference that one talks about “having” a list, and the other about “generating” a list. Your criticisms are false and unfair.

Here is the conclusion of my paper; judge it, remembering that I speak from a formalist point of view: “It is popularly believed that Cantor's diagonal argument proves that there are more reals than integers. In fact, it proves only that there is no onto function from the integers to the reals; by itself it says nothing about the sizes of sets. Set size measurement and comparison, like all mathematics, should be chosen to fit the needs of an application domain. For all application domains that I know of, Cantor's countability relation is not the most useful way to compare set sizes.” How does that conclusion draw such ire?

Now let's get to the papers that upset you most: my claim that Turing's proof of the incomputability of the Halting Problem has serious flaws. You say: “If Prof. Hehner claims that this proof is flawed, then he must point to the exact line of the proof that he disagrees with.”. Yes! That is precisely the content of the paper (although it's not just a single line that I find fault with). Continuing, you say “Instead, what he does is translate this simple proof into his own private language in a flawed way, and then raise several objections to his own translation.”. By “translate” you mean formalize the proof. The “own private language” is the assignment statement, if-then-else, and while-loop. They are the basis for all current popular languages. I chose the language because it is standard. As for “in a flawed way”, formalization makes clear one's understanding of an informal, English-language proof, and one can never be sure that one has formalized correctly. After I had done my formalization, I read the formalization in Boyer and Moore's paper “a Mechanical Proof of the Unsolvability of the Halting Problem” JACM 31, 3, 441-458, 1984. I was delighted to see that they had formalized the problem the same way I had (except that they used LISP). That gave me confidence in my formalization. I added a section on the Boyer and Moore formalization and proof to my paper.

You say I “seem a bit confused” about what the computability hierarchy is. The paper begins with a very clear construction of the hierarchy. [Dear reader: judge for yourself.]

You cite a paper by Huizing, Kuiper, and Verhoeff, “which generously takes his work seriously and points out the flaws. If Prof. Hehner has a response, I have not seen it.”. So here is my response. I was the (one and only) referee for this paper; I accepted it. It makes good, valid points, and does not invalidate my paper, although they thought then that it did. I spent some time talking with them at the Turing100 celebration in Manchester last year. They suggested another way I could present my case; it became the paper “Reconstructing the Halting Problem”, which you cited.

How can I know if I am a crackpot? On the one hand, a person whose work and opinions I respect, Jeffrey Shallit, tells me so. On the other hand, there's a wonderful book named the Experts Speak by Navasky and Cerf that has a long list of major scientific achievements that were ridiculed by the reigning scientists (the “experts”) of the time. Usually, one is not called a “fringe” scientist just for making a mistake (I don't think I have made a mistake, but I can't be sure). You call me “fringe” because I am challenging an established result of computer science. One way science is distinguished from religion, at least in principle, is by not having any sacred truths that must not be challenged. Unfortunately, I am discovering, some scientists treat some of their truths as sacred, and become quite upset when they are challenged. Challenging sacred truths can be dangerous to one's reputation and career: the priests who protect their truths will attempt to assassinate your character by writing insulting blogs. That's why I waited until retirement to pursue this topic. Here is the real danger: if challenging basic accepted results becomes too costly (it's not easy to bear the insults), science loses its self-correcting character that distinguishes it from religion.

“It is our unfortunate duty to host this nonsense at the University of Waterloo at 4 PM on Thursday, November 28, in DC (Davis Centre) 2585.” See you there!

---

My reply:

Eric Hehner:

You seem confused. I didn't call your work "fraud" in my post, I did not use the word "crackpot" there, and I never said a word about your "character", much less "assassinate" anything. For all I know you're probably a nice guy who is kind to your pets. My post was about your work, not you. I think your work on the topic of Cantor and Turing is junk, and I said so.

I'm certainly uninterested in a long back-and-forth about this, but I will say a few things. Your work (and the venue you publish it in) speaks for itself, I think. You also confuse "ire" with "amusement"; I think your criticism of Cantor's work is trivial, silly, and is likely to be completely ignored for those reasons and others.

Your presentation of the proof of the unsolvability of the halting problem (on page 1 of "Problems with the Halting Problem") is not the one I present in class. It is also not the one in any standard textbook on the subject that I looked at (e.g., Sipser, Hopcroft and Ullman, etc.). You certainly do not take the standard proof and point to the exact line that you disagree with. That is your obligation, and you didn't fulfill it.

Blogs are not the place to reply to the Huizing et al. paper. If you contest their conclusions, publish a paper specifying exactly where they went wrong. That's the "self-correcting" nature of science you seem to think highly of.

the priests who protect their truths will attempt to assassinate your character by writing insulting blogs: oh, please. I'm not a priest, just a guy with a blog who is pointing out your silly claims and is sorry that my university is giving you a venue. I didn't say anything about your character. By the way, you forgot to compare yourself to Galileo.

science loses its self-correcting character: you're confused. The self-correcting character is precisely that you offered a bogus refutation of the standard proof, and I'm pointing out that your refutation is bogus.

Eric Hehner's Fringe Computer Science

Fringe science -- making claims, with little evidence, that nearly everyone who works in the field recognizes as wildly wrong -- is nothing new. In archaeology, fringe science includes promotion of artifacts like the Vinland Map (now completely discredited) and the Kensington Runestone (likewise discredited). There are two very good books discussing fringe archaeologists and their "methods": Stephen Williams, Fantastic Archaeology and Kenneth Feder's Frauds, Myths, and Mysteries: Science and Pseudoscience in Archaeology.

You would think that in a field like mathematics, it would harder to be fringe. People don't normally debate whether 1 > 2, or whether ½ is a rational number. Nevertheless, there is a surprising amount of fringy mathematics. I'm thinking, for example, of circle-squarers, who continue to try to construct π with straightedge and compass long after Lindemann's proof that it cannot be done. In 1977, the Journal für die reine und angewandte Mathematik published a fringy proof of Goldbach's conjecture that, needless to say, is not widely accepted.

While most people engaged in fringe mathematics are amateurs, there are a few professionals. It used to be pretty hard to publish fringe mathematics in journals, but with the rise of open access journals of questionable credentials, it has become a lot easier. Not all fringe mathematics is wrong, but most of it is.

Up until now, I hadn't seen too much fringe computer science. But now I have. And to make things worse, we have apparently asked the author of these fringe works to come speak at our university.

The work in question is that of Eric C. R. "Rick" Hehner, an emeritus professor at the University of Toronto. Hehner worked in what is called "formal methods", which concerns logical formalisms for computer science constructs, such as those in programming languages. On his web page, you can find a list of his publications.

Hehner seems to have done some reasonable work in the past, although I'm probably not the very best judge. Some other people apparently disagree. For example, Hehner lists a paper called "Beautifying Gödel" as among his very best; yet the late Torkel Franzen, an expert on Gödel's theorem who published an eponymous book on the subject, said that Hehner's paper "contains some odd misunderstandings" and exhibits "some standard confusion regarding the soundness condition needed".

Lately, however, Hehner's work can, I think, fairly be characterized as "fringe computer science". For example, he claims that our modern understanding of uncomputable problems, such as the halting problem is completely wrong and that the standard proof of unsolvability, taught in nearly every undergraduate course on the theory of computation, is bogus. (Another version of Hehner's claims is here.) As a result, Hehner denies the existence of something he calls the "computability hierarchy" (although he seems a bit confused about what that is). At the end of this piece, Professor Hehner reveals that his focus on the halting problem dates from the 1980's.

Prof. Hehner has recently branched out into another favorite of the fringe mathematician, Cantor's proof of the uncountability of the reals. Prof. Hehner's paper is not the worst anti-Cantorian work I have read --- it seems that, at least, Hehner does accept that Cantor's proof is correct. He just denies that it is reasonable to say that a set A is the same size as set B if A is equipollent with B. (There are other problems with Hehner's paper, such as (1) presenting the minor technicality of some numbers having two different base-k representations as something that has to be "repaired", when in fact this problem simply does not occur in Cantor's proof when correctly presented; (2) claiming the proof is informal when in fact formalizing it is trivial; (3) confusing the notions of cardinality and computability.) But who cares what Prof. Hehner thinks is "reasonable"? There's a lot of beautiful and interesting mathematics that arises from this definition, and mathematicians find it useful. If Prof. Hehner does not, he is free to make a case for a better definition. But he does not, not in any serious way. In this sense, his case is entirely a negative aesthetic one: he doesn't like Cantor's definition, and can't imagine why anyone else would. This is not a basis for good science.

The reception of Prof. Hehner's claims about computability and Cantor -- which would be revolutionary if accepted -- has been, I think it is fair to say, silent or negative. There are only a handful of citations of the relevant papers, mostly self-citations. One exception is this paper by Huizing, Kuiper, and Verhoeff (behind a paywall, probably, if you aren't at a university) which generously takes his work seriously and points out the flaws. If Prof. Hehner has a response, I have not seen it.

Professor Hehner seems unhappy that his work is not treated seriously, and that some people who object to it do not always point out specific problems with his reasoning. But I think he's got it exactly backwards. The uncomputability of the halting problem has a proof, and we teach that proof in most introductory courses in theoretical computer science. The proof doesn't have many steps, the steps are very simple, and it is accessible to any bright junior-high school student. If Prof. Hehner claims that this proof is flawed, then he must point to the exact line of the proof that he disagrees with. Instead, what he does is translate this simple proof -- as in this video -- into his own private language in a flawed way, and then raise several objections to his own translation. This tactic is well-known as the "straw man". It is not a serious scientific attack on our understanding of the problem.

It is our unfortunate duty to host this nonsense at the University of Waterloo at 4 PM on Thursday, November 28, in DC (Davis Centre) 2585. The public is welcome. If it had been up to me, I would not have extended an invitation to Prof. Hehner to speak on this topic because (1) I am not convinced, based on what I've read, that he has a deep understanding of the material and (2) I do not think, based on what I've read, that he has anything interesting to say. But a great feature of a university is that all kinds of ideas, from the well-supported to the fringe, can be discussed.

Sometimes, though, we pay the price.

They Offer Nothing But Lies, 4

I only had the chance to catch about 15 minutes of Stephen Meyer on the Michael Medved show today (and of that 15 minutes, probably about half the time was devoted to ads -- how do people stand listening to that?), but in that brief time I heard three lies.

Meyer made his usual false claim about "information" and how it can't be generated through evolution. Of course it can; any random process will generate "information" in the sense used by mathematicians and computer scientists. The creationist version of "information" espoused by Meyer is different, but even there it is easy to see that mutation can generate it (take a program that does something and change one character so it doesn't compile; then a mutation that restores the function will create creationist information).

Meyer made a false claim about Dawkins only being interested in genes and not being interested in organisms. Of course, that's a lie, and anyone who has read Dawkins (e.g., The Extended Phenotype) knows this to be the case.

Meyer also repeated his usual lie about how "Darwinists" expected there to be junk DNA and how recent findings by "ID scientists" (as if there is such a thing!) show the Darwinists to be wrong. (Larry Moran has discussed this false claim many times, so there's no point to discussing it again.)

Three lies in 15 minutes. That's pretty good, even for Meyer.

Suspect Journals

The new "open access" movement has spawned too many doubtful journals. Here's a useful list of suspect journals and publishers.

Local 9/11 "Truthers" Make Documentary

I'm sorry I missed the event last week where the local 9/11 truthers presented their truther "documentary".

It amazes me that there are folks who are still flogging their silly conspiracy theory, and that some people actually take them seriously. That Osama bin Laden was responsible for 9/11 is documented in great detail in books like The Looming Tower and is established beyond reasonable doubt.

To get some idea of the ragtag bunch of people who endorse this crap, take a look here: a professor of public administration, a professor of economics, a professor of physics, a professor of economics, a professor of mathematics, and a professor of English. Not a single person with any expertise in politics, Middle East studies, architecture, or building design among the endorsers.

Pathetic.

Discovery Institute Hires World's Worst Journalist™

Exciting news! The Discovery Institute, not content with such luminaries as Casey Luskin, John G. West, and David Klinghoffer, has reached even further into the bottom of the barrel.

Yes, believe it or not, they've hired Denyse O'Leary, the world's worst journalist™, to write for them.

We can look forward to hours of fun: mangled syntax, clichés, punctuation chosen at random, repetition of signature buzzwords like "Brit toff" and "tenure bore", unfounded accusations of racism and Nazism against reputable scientists, neologisms that only O'Leary understands, and a thorough misunderstanding of anything she discusses -- not to mention that Denyse never ever interviews anyone she disagrees with.

Congratulations to both the DI and Denyse! You definitely deserve each other.

The Pleasures of Editing a Journal

The following exchange is fictional, but not by much. It is based on several different experiences I've had as editor of the Journal of Integer Sequences.

From Joe Smith:

Here is my submission, entitled "1 + 1 = 2", to the Journal of Integer Sequences. It gives a simple, new, and cute proof of this famous theorem which I know you will want to publish.

My response:

I'm sorry, this is simply too trivial to publish in the Journal.

Smith's response:

How disgraceful that an honest person seeking to publish their work in a forum belonging to an elite that think they hold the absolute truth, and deliver their decision based on an incredibly deprecatory pseudo review, are frustrated by your dishonest response!

I will give you one week to accept this paper. If not, I will destroy the reputation of the Journal.

My response:

I'm sorry, the decision stands.

Smith's response:

Can you please suggest another journal where I can publish my result?

Oath to Queen Upheld Even Though It Violates Free Speech

Bad news for those who want to become Canadian citizens but can't bring themselves to swear an oath to support "the Queen, her heirs and successors": a suit to end this silly practice has failed in a ruling by Justice Edward Morgan.

Morgan found the practice does violate free-speech rights, but is a "reasonable limit on the right of expression".

Despite the ruling, it's time to end the requirement. It could be replaced by an oath to defend Canada and uphold the Charter of Rights and Freedoms.

Someday Canada will grow up and ditch the monarchy, but it looks like it's not going to be soon.

"By the Usual Compactness Argument"

It's a sad truth, but the mathematics research literature is very tough going for beginners. By "beginners" I mean bright high-school students, or university students, or beginning graduate students, or even professional mathematicians who are trained in an area different from the article he/she is trying to read.

As a high-school student, I used to go to the mathematics library at the University of Pennsylvania to look up and try to read articles articles in number theory. Usually I couldn't understand them at a first reading, so I'd photocopy them and take them home to puzzle over. I remember being completely flummoxed by a paper on Bell numbers that used the "umbral calculus"; I just didn't understand that you were supposed to move the exponents down as indices. That is, in an equation like
B₄ = (B + 1)³
you were supposed to expand the right hand side, getting
B³ + 3B² + 3B¹ + 1
and then magically change this to
B₃ + 3B₂ + 3B₁ + 1 .

I had nobody to ask about stuff like that. Although my high-school teachers were great, they didn't know about the umbral calculus.

Things like this permeate the mathematical literature. Take compactness, for example. Compactness is a marvelous tool that lets you deduce -- usually in a non-constructive fashion -- the existence of objects (particularly infinite ones) from the existence of finite "approximations". Formally, compactness is the property that a collection of closed sets has a nonempty intersection if every finite subcollection has a nonempty intersection; alternatively, if every open cover has a finite subcover.

Now compactness is a topological property, so to use it, you really should say explicitly what the topological space is, and what the open and closed sets are. But mathematicians rarely, if ever, do that. In fact, they usually don't specify anything at all about the setting; they just say "by the usual compactness argument" and move on. That's great for experts, but not so great for beginners.

I really wonder who was the very first to take this particular lazy approach to mathematical exposition. So far, the earliest reference I found was in a 1953 article by John W. Green in the Pacific Journal of Mathematics 3 (2), 393-402. On page 400 he writes

By the usual compactness argument ([2, p.62]), there does exist a minimizing curve K.

Can anybody find an earlier occurrence of this exact phrase?

Silly Journal Title of the Month

It seems that every month there's a new silly journal title out, where by "silly" I mean ridiculous and/or ungrammatical.

This month's is the International Journal of Advance Innovations, Thoughts & Ideas.

It doesn't get much sillier than that. Then again, some of the titles of the articles they publish are silly in the same way:

• "Structural Facilities Criteria for Anti-Terrorism (A Defensive Approach towards Safer Nation on Building Sciences)"
• "Computer Forensic: An Evidence of various analytical tools for legal constitution"
• "What is Data Warehouse?"

Creationists' Real Agenda Revealed

The fun thing about creationists (and I include ID proponents there) is that if you wait long enough, their real agenda gets revealed. Here's an example: the ID folks are fond of claiming they don't want to suppress the teaching of evolution; they just want the "evidence against evolution" taught as well. But Denyse O'Leary gives away the store! She admits that she wants to ban discussion of evolution in textbooks.

We all know why, of course. If people accept evolution, they'll be less likely to follow Jeebus.

Yet More Bizarre Conference Spam

I really don't understand it! If you don't speak English as a native language, and you're running an international conference, why don't you bother to check to see if the name of your conference is grammatically correct?

---

The 1st International Conference on Computer Science and Application
(ICOCSA 2014)
January 10 to 11, 2014, in Indiana, USA

Dear Author,

ICOCSA 2014 aims to provide a comprehensive global forum for experts and participants from academia to exchange ideas and present results of ongoing research in the most state-of-the-art areas of computer science and application. Click here to know more about ICOCSA 2014: http://www.icocsa.org/

All accepted papers in English will be published by International Journal of Computer Science and Application (IJCSA) which has been indexed by ULRICHSWEB, ckan, WorldCat, Rice St, Yandex, AcademicKeys, dogpile, WIPO, Google Scholar, getCITED, JournalTOCs, etc.

Topics include but not limited to:
Computer science
Computational mathematics
Software and hardware manufacturers
Machine Intelligence
Diagnostic and Decision Supporting Systems
Data and Web Mining
Fuzzy Systems
Chaos Theory and Evolutionary Algorithms
Knowledge Extraction and Knowledge Management
Applications of Computer Science in Modeling
Visualization and Multimedia
Data and Information Systems
Internet and Distributed Computer Systems
Graphics and Imaging
Natural Language Processing
Computational Mathematics
Robotics and Micro-Robotics
Theoretical Informatics
Quantum Computing
Software Testing
Computer Vision
Digital Systems
Pervasive Computing
Computational Topology
Human-Computer Interaction
Signal Processing
Digital Forensics

Important Dates
Submission Deadline: October 24, 2013
Acceptance Notification Date: November 7, 2013
Conference Date: January 10 to 11, 2014

Submission
Online Submission System: http://www.icocsa.org/paperSubmission.aspx

Call for Attendees
If you want to present your research result at conference, but do not wish to publish a paper, you can simply submit an abstract to our submission system.

Call for TPC Members
This conference is calling for TPC Members. If you wish to serve the conference as a TPC Member, please send an email to us with your CV attached.

Best regards,
ICOCSA 2014 Organizing Committee
Email: icocsa2014@hotmail.com
Website: http://www.icocsa.org/

---

In addition to the ungrammatical title, there is the ridiculously broad coverage of the subject matter, and the extremely vague conference location of "Indiana, USA".

Why would anyone submit to this conference?

They Offer Nothing But Lies, 3

Darwin was insane? And a sadist? Those are the nutty claims of Colorado "pastor" Kevin Swanson.

Swanson also thinks Mark Twain was possessed by demons.

People like Swanson offer nothing but lies, because their whole world view is based on lies.

Clumsy Russian Moose

From reader D. S., we have this video of a clumsy Russian moose.

In Canada we teach our moose at Arthur Murray dance studios.

I Feel Sorry if Any Boring Arising From This Posting

Recent conference spam:

We feel sorry if any boring arising from this message, you can click to Unsubscribe

2013 International Conference on Intelligent Materials and Mechatronics (IMM2013)

November 1-2, 2013, Hong Kong, China

2013 International Conference on Intelligent Materials and Mechatronics (IMM 2013) will be held in Hong Kong, November 1-2, 2013. The forum aims to bring together researchers, developers, and users from around the world in both industry and academia for sharing state-of-art results, for exploring new areas of research and development, and to discuss emerging issues facing Intelligent Materials and Mechatronics.

And they thought this was appropriate to send to me?

Apparently I am an Expert in Robotics, Too

Received in today's e-mail:

Dear Dr.Jeffrey Shallit,

OMICS Publishing Group successfully publishing quality open access journals with the support from scientists like you.

We are aware of your reputation for quality of research and trustworthiness in the field of "Journal of Advance Robotics and Automation "

and that is why you have been chosen as an Editorial Board Member of our Journal of Advance Robotics and Automation

... We may again assure you of international quality and standards of our articles published in our journals, Using state-of-the-art prominent reviewers and editorial board. We also assure you of our best co-operation always...

Well, you could start by having a grammatical title for your journal.

An Unusual Hotel

We stayed in a hotel near Providence, RI, with the following strange set of choices of elevator buttons:

There are apparently two different floors numbered 4 -- on different levels -- and no floor 3. And why do the restrooms need their own floor?

Atheist Elixir

Spotted in a store in Charlottesville, Virginia.

I Get Email

My name is E*** S****** and I am a communication Engineering student from United Arab Emirates. I was trying to integrate some difficult integral and I really spent a lot of time trying to work it out using different software and referring to different table of integrals books, however all my trials failed. So I thought that the mathematicians from the University of Waterloo will help me to work it out, so if you can please help me with this.

The integral is attached as a pdf file ...please have a look at it.

Thank you so much and sorry for the inconvenience.

Hint to students: don't do this! This kind of message is appropriate only if you are addressing a question that is directly in the specialty of the person you are writing to. I am not a specialist in integrals.

More Bizarre Journal Spam

I like this one!

• It is addressed, not to me, but to another professor in the department.
• I am somehow an "Excellency".
• It is a "strictly intellectual journal". Glad to see there aren't any distracting centerfolds like those other journals.
• It has "an internationally recognized Editorial Board Members", who are "well-built"!

Dear Professor

It is with pleasure to invite your Excellency to take part in an academic opportunity through submitting your research paper for possible publication in a strictly intellectual journal named "International Journal of Advanced Science and Engineering Technology" (IJASET),(ISSN: 2225-9686). Our journal here is a peer reviewed scholarly kind of bulletin which in its natural existence devoted for publishing high-quality papers with an internationally recognized Editorial Board Members. The well-built editorial board welcomes all kind of papers regardless of their academic tendency in a way that transcends all the scientific and theoretical concepts into a new era of enlightenment and insight; the journal is issued on bi-monthly bases and supports all kind of topics and streams including:

- Research and Reviews Articles, Scientific Commentaries in the Fields of Applied and Theoretical Sciences, Biology, Chemistry, Physics, Zoology, Medical Studies, Environmental Sciences, Geology, Engineering, Short Communications, Computer Science, Technological Sciences, Medicine, Industrial, Mathematics, Statistics in addition to all other Applied and Theoretical Sciences

For author Instructions http://www.ijaset.com Indexed/ Abstracted in

EBSCO
Ulrich's
DOAJ
J-Gate
Index Copernicus

Awaiting your papers.

Yours sincerely,
Editor-In-Chief
======================
International Journal of Advanced Science and Engineering Technology
Website: http://www.ijaset.com
Article submitted through E-mail: editor@ijaset.com ; info@ijaset.com; or online submission visit www.ijaset.com

Moose Picture of the Day

From my friend A. G. comes this nice picture of two moose in British Columbia.

CFI Canada has a new web page

CFI Canada has a new web page. Are you a member yet?

Canada Shouldn't Honor Pope John Paul II

Here's Canada's national treasure, Udo Schuklenk, weighing in on why there should not be a special day devoted to honoring Pope John Paul II in Canada.

Schuklenk, by the way, is an respected ethicist whose clear thinking contrasts sharply with the muddled views of people like Margaret Somerville.

Barry Arrington to the Rescue! And Sal Cordova, Breathless Liar

How cute! Lawyer and certified public accountant Barry Arrington thinks that there is something called "design theory", and furthermore, I am just too stupid to understand it.

I hate to be the bearer of bad news, Barry, but there's no such thing as "design theory". Yes, there's the pseudoscience of intelligent design, but there's no coherent body of knowledge (much less science) about intelligent design that remotely approaches a "theory". That's why intelligent design advocates like yourself are unable to respond to even the most basic challenges concerning your pretend "theory" and why even your own vanity "journal" can hardly find anything to publish, even though it almost exclusively publishes the droolings of its creationist editorial board.

As for understanding, Barry, let me just note that I have published an article (with Elsberry) in a philosophy journal on intelligent design in which we spell out, in detail, what's wrong with it, and why the math is bogus. You could try reading it. I know it's a bit of intellectual effort, but heck, knock yourself out.

While you're at it, you may want to admonish your friend Sal Cordova (who for some strange reason is sometimes referred to as "Slimy Sal") for lying on the same blog entry. Dembski did not "dedicate" his first book to me. Yes, it's true that he tried to gain some intellectual respectability by dropping a whole bunch of names and thanking them, but that's not the same as a dedication; it's an acknowledgment.

100 Years Ago Today - Conclusion

When we last left the story of the journey of my grandmother, Zipporah Levintan, from her home in Velizh, Russia, to the USA, she had just boarded the Merion in Liverpool for the transatlantic trip, accompanied by her three children and one stepchild.

A hundred years ago today, she arrived, at a dock at the foot of Washington Avenue on the Delaware River in Philadelphia. The newspapers of the day were not concerned with her arrival, but they were full of another story: the 50th anniversary of the Battle of Gettysburg. Veterans from both sides of the battle converged on the small Pennsylvania town 100 miles west of Philadelphia, for remembrance and reconciliation. My grandmother never told me about her arrival, so I have to reconstruct it from short accounts from others.

Here is what my uncle Si had to say about it: I cannot remember my own arrival at the Pier. I was just a tot being carried in my mother's arms. My father had come here about a year ahead to get things ready for the rest of the family. I'm told that Mom couldn't recognize the Old Man. For horror of horrors...the yeshivah bocher who left Vitebsk with a luxuriant, black beard had shaved it off. When this "stranger" took us in his arms and murmured "meine kinder", we cried. We'd never seen this beardless character before!

And, if all goes well, on the hundredth anniversary of my grandmother's arrival in Philadelphia, I will be walking the streets of Velizh, the little town where she was born. (I have written this post ahead of time, as I anticipate no internet access for a few days.)

I am not expecting much in the way of historical finds related to my family, since Velizh was directly in the path of the brutal German invasion of Russia in 1941. I once asked my father if he still was in contact with relatives in Russia. He replied that there were some letters up to 1941, but nothing after that. And according to a 1942 dispatch from the Jewish Telegraphic Agency, any relatives left behind in Velizh were probably murdered by the Germans:

Only Seventeen Jews Escape Massacre by Nazis in Russian Town of Velizh
September 9, 1942
A harrowing account of how the German occupation forces in the town of Velizh, in the Vitebsk district, used machine guns, the noose and fire to murder all but seventeen of the 1,440 Jewish residents of the village is related in a letter from one of the seventeen – a young half-Jewish girl – shown to this correspondent today.

The letter, written by Lida Grigorieva to her father, a Red Army man at the front, tells how the Germans drove all the Jews of the town into a ghetto as soon as they occupied Velizh. Nine hundred of them were confined in a pigsty. Every day groups of Jews were led to the outskirts of the town and shot, while others were hanged in the town itself, Miss Grigorieva writes.

When the Nazis were forced to abandon Velizh, they locked all the Jews in the pigsty, sprayed kerosene over it and set it afire, the letter discloses. Those who tried to escape were mowed down by machine guns. Only seventeen Jews remained alive.

My grandmother probably found her new life baffling and difficult. She had to adjust to new customs, a new language, and a new name. (Upon his arrival, my grandfather had his name arbitrarily changed to "Shaltz" by a confused immigration agent. With an anglicized first name, my grandmother then became "Celia Shaltz".)

My grandmother and my uncles and aunts were fortunate to leave when they did. I am very grateful to their determination to find a better life in America; I only wish they had told their stories in more detail. I have only been able to reconstruct a pale shadow of their experiences and journeys.

Confusion Everywhere

Over at the creationist blog, Uncommon Descent, there's a discussion where, remarkably, everybody is confused - both the intelligent design advocates and those arguing against them.

The example is given of flipping a presumably fair coin 500 times and observing it come up heads each time. The ID advocates say this is clear evidence of "design", and those arguing against them (including the usually clear-headed Neil Rickert) say no, the sequence HH...H is, probabilistically speaking, just as likely as any other.

This is an old paradox; it goes back as far as Samuel Johnson and Pierre-Simon Laplace. But neither the ID advocates nor their detractors seem to understand that this old paradox has a solution which dates back more than 15 years now.

The solution is by my UW colleague Ming Li and his co-authors. The basic idea is that Kolmogorov complexity offers a solution to the paradox: it provides a universal probability distribution on strings that allows you to express your degree of surprise on enountering a string of symbols that is said to represent the flips of a fair coin. If the string is compressible (as 500 consecutive H's would be) then one can reject the chance hypothesis with high confidence; if the string is, as far as we can see, incompressible, we cannot. It works because the proportion of compressible strings to noncompressible goes to 0 quickly as the length of the string increases.

So Rickert and his defenders are simply wrong. But the ID advocates are also wrong, because they jump from "reject the fair coin hypothesis" to "design". This is completely unsubstantiated. For example, maybe the so-called "fair coin" is actually weighted so that heads come up 999 out of 1000 times. Then "chance" still figures, but getting 500 consecutive 1's would not be so surprising; in fact it would happen about 61% of the time. Or maybe the flipping mechanism is not completely fair -- perhaps the coin is made of two kinds of metal, one magnetic, and it passes past a magnet before you examine it.

In other words, if you flip what is said to be a fair coin 500 times and it comes up heads every time, then you have extremely good evidence that your prior belief about the probability distribution of flips is simply wrong. But ID advocates don't understand this and don't apply it to biology. When they view some biological structure, calculate the probability based on a uniform distribution, claim it is "specified", and then conclude "design", they never bother to consider that using the uniform distribution for probabilities is unfounded, because the causal history of the events has not been taken into account. Any kind of algorithmic bias (such as happens when random mutation is followed by selection) can create results that differ greatly from the uniform distribution.

Elsberry and I discussed this in great detail in our paper years ago, but it seems neither side has read or understood it.

A Hundred Years Ago Today - Part III - On Board the Merion

One hundred years ago today, a Rembrandt portrait sold at auction for $104,000. William Jennings Bryan temporarily blocked plans to create the US Federal Reserve banking system. And Harvard beat Yale 4-3, in 14 innings of baseball.

But for me, this is the hundredth anniversary of the day -- June 18 1913 -- that my grandmother, Zipporah Levinton, boarded the ship in Liverpool, England that would take her to her new life in America.

As I imagine it, it must have been an interesting sight. Hundreds of steerage passengers lined up, clutching their belongings from little towns in Russia, Poland, Romania, and elsewhere, and holding kosher provisions for the voyage that were kindly supplied to them by relief agencies... my grandmother trying to keep her young children happy and occupied, while the first-class passengers boarded in luxury. The first-class passengers would have even received a little guidebook, detailing the many services of the ship and the names of the other first-class passengers, like the one shown here. First-class passengers would have eat breakfast at 8 AM, lunch at 12:30, dinner at 6 PM and 7:15 PM, and supper at 9 PM. But passengers like my grandmother probably had a menu something like this one.

The name of the ship was the S. S. Merion, built in 1902 in Scotland. It was 162 meters long and 18 meters wide, and had her maiden voyage on March 8 1902. For most of her career, she sailed for the American Line from Liverpool. Although most people have a picture in their minds of all immigrants arriving at Ellis Island in New York, in fact many arrived elsewhere, including Baltimore and (in my grandmother's case) Philadelphia.

My family did not save any records of that trip, or if they did, they are long gone now. But I managed to find a postcard of the Merion, and here it is:

If you look closely at the postcard, you can see what appears to be a rabbi in the front left section of the card.

And here is my grandmother and her children (and one from my grandfather's first marriage) listed in the Outwards Passenger Lists from the Records of the Board of Trade and of successor and related bodies, The National Archives, Kew, Richmond, Surrey, England: Transatlantic ship travel was not completely safe. Of course, it was just the year before that the Titanic hit an iceberg in the north Atlantic and went down. (My grandfather emigrated on the Pisa in February-March 1912; just a month later, the Pisa encountered ice and was in the general vicinity of the Titanic when it sank.) And the Merion herself had several accidents, including a collision with a tanker on December 24 1912, off the coast of Delaware.

In August of 1913, the ship's commander would have been J. Beattie Hill, and the outgoing passenger records indicate he was the commander for my grandmother's trip, too. The ship records show that the Merion stopped on August 19 in Queenstown (now Cobh), Ireland to pick up more passengers. All together there were (from the records I have access to) 1,036 passengers on the Merion headed to Philadelphia.

In 1914, the Merion was sold to the British navy, where it was used as a "decoy", and outfitted to look like the British battleship Tiger. On May 29 1915 this decoy ship was sunk by a German submarine.

For now, I'll leave my grandmother on the Merion, as the whistle sounds and the ship slowly leaves the port in Liverpool...

A Hundred Years Ago Today - Part II: Liverpool

Previously I wrote about my grandmother's trip to Hamburg on her way to the United States. There, she boarded the Stockport for the ten-day trip to Liverpool.

A hundred years ago today, she arrived in Liverpool. The ship from Hamburg stopped in Grimsby, on the east coast of England, before traveling to the west coast and Liverpool.

What else was happening in the world at that time? In Stamford, Connecticut, a train accident killed 5 and injured 17. In New York City, a subway cave-in crushed 12 laborers to death. And in Canada, the Atlantic Navy was disbanded.

But my grandmother didn't know about any of that. Like thousands of others, she was fleeing persecution in Russia, and (according to the Merseyside Maritime Museum), "Liverpool was the most popular port of departure for emigrants from Europe to the Americas and Canada."

As in Hamburg, my grandmother would have been assisted by Jewish emigrant groups. According to the Jewish Chronicle, "The Mansion House Relief Committee, convened by the Lord Mayor of London and supported by the Archbishop of Canterbury, Charles Darwin and others, raised what in today’s terms would be millions of pounds to assist the journeys of Jews to America... People lodged in a hall ["Hachnasath Orechim"] capable of holding 400 and were provided with kosher food, clothing if needed and money. Many stayed, building Liverpool into at one time the most populous regional Jewish community. For others who passed through, preserved kosher meat was sent on to steamships for passengers — and letters of thanks in Hebrew for the good treatment the Jews on the boats received were presented to captains." Famous passengers who passed through Liverpool include movie mogul Samuel Goldwyn and comedian Henny Youngman.

My grandmother would have had to wait several days to board the ship to Philadelphia and her new home. (to be continued...)

Alice Walker is Bonkers

From Jonathan Kay in the National Post, we learn that writer Alice Walker is a lunatic, apparently having bought into David Icke's claim that "Earth is secretly controlled by giant inter-dimensional lizards who have taken human form".

Icke is also an anti-Semite, claiming that the Protocols of the Elders of Zion are genuine. Walker herself apparently refuses to allow her book The Color Purple be translated into Hebrew.

Creationists Get Their Book Published

When intelligent design advocates recently tried to get their creationist conference proceedings published by a major academic publisher, they got a rude surprise. Once they realized what was up, Springer apparently cancelled their acceptance.

So the creationists apparently moved to a different publisher, World Scientific Press. Although many books published by World Scientific are OK, they also publish some real dreck. In fact, I recommend that they add "real dreck" to the keywords for this new book.

One Hundred Years Ago Today

A hundred years ago today -- June 4 1913 -- a British suffragette, Emilie Wilding Davison, threw herself in front of the King's horse at the Epsom Derby, and was gravely injured. She died 4 days later. On the same day in France, Aristide Briand, a former Premier, almost died in a car accident. You can read about these events here.

But in Hamburg, Germany, another event took place that you won't find in any newspaper: my grandmother, Zipporah Levintan, boarded the Stockport to Liverpool, on the middle leg of a journey that would take her to join her husband (my grandfather) in Philadelphia.

In Hamburg she was likely helped by Jewish groups that assisted emigrants. Between 1901 and 1906, the Hamburg-Amerikanische Packetfahrt-Actiengesellschaft built an emigrant city in Veddel (the port area of Hamburg) with a canteen, a sleeping hall, and a synagogue. This wonderful page has pictures of the city and its buildings. Note the inscription "Mein Feld ist die Welt" on the wall in the emigration hall.

How she got to Hamburg, I don't know for sure. In 1912 she was living on Pokvrovske Street in Vitebsk (now in Belarus), according to a ship manifest for my grandfather, who had already emigrated the year before. ("Pokrovske" was the Yiddish name for "Pokrovskaya", the celebrated street where Chagall lived; today there is a museum honoring him there.) In 1913, according to a bank record, she was living in the small town where she was born: Velizh, Russia. Perhaps she would have travelled by land; the German government had set up immigrant checkpoints at Eydtkuhnen, on the border with Lithuania (now Chernyshevskoye in the Kaliningrad Oblast, Russia) and Ruhleben (near Berlin). Or perhaps she made her way to Lithuania or Latvia, and then caught a boat along the Baltic Sea to Hamburg. I only know that the manifest of the Stockport, which lists her previous place of residence (Bisheriger Wohnort) as "Kowno" (now Kaunas in Lithuania).

I haven't found a picture of the Stockport, but there is a postcard that shows its sister ship, the Bury, here. And this page tells more about the ship, which was owned by the Great Central Railway Company, one of a number of "feeder" ships that brought emigrants to ports like Liverpool for the longer transatlantic voyage that awaited them.

The ship manifest shows that my grandmother was accompanied by four children: Schmuel, age 9; Dwoire, age 7; Salman, age 3; and Mendel, age 17. I would know them by different names: Sam, who died four years before I was born; my Aunt Dorothy, my uncle Si, and my father's half-brother, Max, who died ten years before I was born. Like many Russian Jews of the period, they were leaving to escape persecution (my grandmother's grandfather was falsely imprisoned in the Velizh blood libel incident) and for a better life in America. As my uncle Si once wrote, "What if Washington Avenue was a dirty, grimy street? What if freight cars loaded with soot chugged up and down? What if the streets were not paved with gold as they had told us back in our little ghetto town in Russia? Here we had found something far more precious: freedom!"

The voyage to Liverpool took 10 days. I don't know for sure what the conditions must have been like, but since my grandparents were terribly poor, I imagine they were pretty awful. Unable to read or write, my grandmother must have found the trip baffling and frightening. She died in 1964, when I was only 6, so I never had the chance to ask her for her memories of the trip. For now, I leave her here in Hamburg, about to board the ship...

(To be continued...)

More Academic Spam

Lately, I'm being spammed every day by journal announcements from Science and Engineering Publishing Company. Today I got one as follows:

Call for Papers

- Vehicle Engineering

Dear professor,

You are cordially invited to submit or recommend articles to Vehicle Engineering (VE, ISSN Print: 2328-1677), which is an open access journal dedicated to publishing the latest advancements in vehicle engineering research. The goal of this journal is to record the latest findings and promote further research in these areas. More relevant areas of this journal can be found at the VEhomepage.

About Open Access Publishing

Researchers around the world have full access to all the published articles, and download them for free. What is more, an open access article stands more chances to be used and cited than does one behind subscription barriers of traditional publishing model. Therefore your article's impact will be improved once you become an OA author.

Paper Submission Online

All manuscripts to be considered for publication in VE have to be submitted online. To submit a manuscript please visit the above website, select Submission and follow the appropriate prompts. 


Upon submission an editor will be assigned and s/he will make due arrangements to have the manuscript peer reviewed. Please do not hesitate to contact us if you have any questions.

Relevant Areas
(not limited to the following fields)

Vehicle structure
Friction clutch
Manual gearboxes and overdrives
Hydrokinetic fluid coupling and torque converters
Automatic transmission
Transmission bearings and constant velocity joints

More

Contact US

E-mail: ve@seipub.org

I complained to the person listed as the Editor-in-Chief of this journal, Ahmed Elmarakbi, and he replied as follows:

"Please note that I have nothing to do with this journal. I have requested to get my name off the editorial board but it seems that my name still there. I will contact the people at Science and Engineering Publishing Company on Monday again to make sure that my name is off. Any issues with this journal you need to contact them directly. If they do not take my name out I will take further actions with them."

Sounds like a great journal when the editor-in-chief claims he has nothing to do with it.

No, Denyse, Frank Church is not a Geneticist

Denyse "Sneery" O'Leary apparently thinks that the late Frank Church, long-time Democratic senator from Idaho, is a "pioneering professor of genetics".

Pic, because probably it will get silently corrected or deleted:

The real geneticist is George Church. Why he would endorse creationist Stephen Meyer's book is an interesting question, but one I can't answer for now.

As for the other endorsers, who is surprised that longtime ID advocate Russell Carlson would endorse Stephen Meyer's book? After all, Carlson was apparently not astute enough to detect all the problems with Dembski's claims about information.

Who is surprised that J. Scott Turner would endorse the book? Like Carlson, he's on the editorial board of the intelligent design vanity journal, Bio-Complexity. And, in the past, Turner has shown himself less than perceptive about the ID movement.

Who is surprised that creationist Wolf-Ekkehard Lönnig, also on the board of Bio-Complexity, would endorse the book?

As for the other endorsers, anyone who would accept Dean Koontz or George Gilder's opinion about a scientific issue gets exactly what he deserves.

Boycott Australian National University

I announce that I am boycotting Australian National University (ANU) for one year, unless the Vice-Chancellor resigns or apologizes. I strongly encourage other academics to join me and do likewise.

ANU's student newspaper, the Woroni, published a satirical cartoon about Islam, one in a series of similar cartoons that had already been published about Catholicism, Scientology, Mormonism, and Judaism. The cartoon can be found here. Of these five groups, apparently only Islam had adherents that couldn't handle the rather gentle satire in the cartoon, and complained to the Vice-Chancellor's office.

The Vice-Chancellor, Ian Young, took the most heavy-handed route possible, threatening the students unless the cartoon was removed. His rationale was a textbook example of the heckler's veto, in which speech is restricted because of the claimed potential for inducing violent behavior in others.

The Woroni issued a statement in which more details can be found about the incident.

This kind of censorship is utterly reprehensible in my view. No sensible or reasonable person could see that cartoon and believe it was over-the-top. I urge everyone to write Ian Young directly to let him know your view of his authoritarian and irresponsible action, and join the boycott of ANU.

Denyse The Incompetent

As I predicted, Denyse O'Leary's return to Uncommon Descent just keeps giving and giving.

Here she cites an article in the Washington Post about the distribution of atheists worldwide. Not bothering to even read the article carefully, Denyse opines, "Canada is a pretty “free” nation, but I doubt you’d get five percent to say they were definitely atheists."

Screenshot, in case it goes the usual way of stupidity on Uncommon Descent and vanishes without a trace:

Had Denyse bothered to follow the link right in the article she cites, she would have found that the figure for Canada is 9%.

But, you know, responsible journalism is what we can expect from that old stupid "legacy media".

Denyse Doesn't Fail to Amuse

I'm really enjoying the return of Denyse O'Leary to Uncommon Descent!

One of her recurring fantasies, as RationalWiki puts it, is that "New York Times subscribers [will be] tuning out of print media and tuning on to her bottom barrel blog sites."

Take a look at this one. Why, it's just the thing for New York Times subscribers! Or at least those subscribers who don't care about

• the bizarre fantasy that "Arun Smith [is] a heroic censor". (Heroic to whom? And why would a university "administration [love] him"?)
• the raving incoherence that "Today’s journalist thinks you mean that women should be stoned to death for adultery". Who the heck is the "you" here, and what does it refer to?
• the lack of punctuation at the end of sentences. I guess those periods are just for "legacy media".

Yes, it's amusing. But I really wonder why would anyone in their right mind hire this deluded hack to write anything?

One Million Views

This blog finally hit a milestone: a million page views:

Recursivity                         
                      (s22recursivity)                      

                    -- Site Summary ---                     
          Visits

            Total ...................... 696,357            
            Average per Day ................ 316            
            Average Visit Length .......... 1:04            
            This Week .................... 2,213            

          Page Views

            Total .................... 1,000,155            
            Average per Day ................ 404            
            Average per Visit .............. 1.3            
            This Week .................... 2,825  

Strange to think that I reach so many more people through this blog than I do with my "real" work: mathematics and computer science.

Sneery O'Leary Returns to Uncommon Descent

I am very happy to see that Denyse "Sneery" O'Leary, the world's worst journalist™, is back as a daily contributor to the creationist site, Uncommon Descent.

We can now look forward to months of mangled syntax, non sequiturs, sneers and defamation against legitimate scientists, vapid and effusive praise of anyone she thinks is a Darwin denier, and relentless plugging of her books. It promises to be a real cornucopia of stupidity.

In just her first week back, she

• thinks that the fact that the brain can "rewire itself" is a "conundrum" for materialists (although she doesn't explain why, of course)
• compares critics of philosopher Thomas Nagel to Nazis;
• apparently thinks there is a certain length of time that species should survive and any deviation from this falsifies "Darwinism". She also apparently thinks that Darwin is somehow paying the salaries of today's evolutionary biologists.

What you will never see, however, is Denyse actually interviewing anyone other than her favorite anti-evolutionary crackpots. Because that, you know, would actually involve real journalism. Why do real work when you can just summarize pop science?

Welcome back, Denyse! Get the popcorn.

New Bike Rack in Kitchener

Here's a new bike rack that just went up on Gaukel Street in downtown Kitchener. I like the design!

Moose in Connecticut

From reader RM comes this story about moose in Connecticut, and this warning for drivers.

Now, if they would only warn the moose about the cars...

Earthquake!

Today at about 9:45 AM, there was a mild earthquake in Waterloo Region. No damage in my building.

Now it's confirmed: Automatic detection of seismic event: magnitude 4.8 - 17 May 9:43 EDT - BRAESIDE, ON region.

Friday Moose Pool

Recommended by son #2, this nice (but probably faked?) view of a moose family relaxing by the pool:

Happy Mother's Day

Mourning doves nesting with young on top of our porch light again this year....

Who Does He Sound Like?

The Christian Right likes to suggest that atheists are secretly Muslims. Some Muslims, on the other hand, like to claim that no real Muslim could be a terrorist.

But when you listen to the guy recently charged in planning an attack on VIA trains here in Canada, Chiheb Esseghaier, who does he sound like?

“First of all, my comment is the following because all of those conclusions was taken out based on Criminal Code,” he said.

“All of us we know that this Criminal Code is not holy book, it’s just written by set of creations and the creations – they’re not perfect because only the Creator is perfect so if we are basing our judgment … we cannot rely on the conclusions taken out from these judgments.”

That sounds like it could have come directly out of the mouth of a Christian reconstructionist, doesn't it?

Ten Common LaTeX Errors

I am the editor for an electronic journal, the Journal of Integer Sequences. We only accept submissions in LaTeX format, which are then converted to ps, dvi, and pdf files for publication.

While most authors do a reasonable job preparing their papers in LaTeX, a reasonable fraction do not. After more than ten years of editing this journal, I've noted the following ten common LaTeX errors that authors make again and again.

1. Failure to use built-in LaTeX commands when they are available. Don't reinvent the wheel. There are lots of useful constructs available in the packages amsmath, amssymb, amsfonts, and amsthm, so your LaTeX file should include the following line in the preamble:

\usepackage{amsmath,amssymb,amsfonts,amsthm}

For example, theorems should be done using \begin{theorem} ... \end{theorem}. Remarks should be done with \begin{remark} ... \end{remark}, and conjectures should be done with \begin{conjecture} ... \end{conjecture}. The easiest way to do this is to put the following text in the preamble:

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

And of course, don't forget to use \begin{proof} ... \end{proof} for proofs.

2. Failure to follow basic conventions of mathematical exposition. For example, a common convention is that one-letter functions should be given in the italic font (which in LaTeX can be achieved with, say $f(x) = y$), while multi-letter functions are typically given in the roman font (and can be achieved, for example, with \sin, \cos, \tan, \log, \ln, \exp, \min, \max, etc.). But what to do when faced with a function like "lcm" for which there is no built-in definition? Then you just say

\DeclareMathOperator{\lcm}{lcm}

in the preamble, allowing you to write, for example, $\lcm(x,y) = z$ and have it appear correctly.

3. Failure to use "mod" correctly. If it is used as an equivalence relation, then you can write (for example)

$$ x \equiv y \pmod z $$

which displays correctly for centered equations. In-line, however, you should write $x \equiv y$ (mod $z$) to get the proper spacing. Sometimes, however, you want to do this all in-line without moving in and out of math mode. Then you need a definition in the preamble like

\def\modd#1 #2{#1\ ({\rm mod}\ #2)}

which can be used like $x \equiv \modd{y} {z}$. I find it very useful and wish it were built-in in LaTeX.

If you use mod as a function, then the syntax is different. Write $x = y \bmod z$ in this case.

4. Failure to do multiple citations correctly. Don't write \cite{ref1}, \cite{ref2}, \cite{ref3}; write \cite{ref1,ref2,ref3} instead.

Similarly, don't write

\cite{ref1}, Thm. 6, p. 10.

Instead write

\cite[Thm.\ 6, p.\ 10]{ref1}.

Note the backslash-space after the m and p; you need those because of the TeX convention that lower-case letters followed by a period are interpreted as the end of a sentence, which is conventionally followed by a double-space. If this is not the case, then you need to escape the space with the backslash.

5. Incorrect case statements. Sometimes writers use an array environment to make these, instead of the built-in case environment, which can be used as follows:

x = \begin{cases}
y, & \text{if $t = 1$;} \\
z, & \text{otherwise.}
\end{cases}

Note the use of the \text{...} command, which makes sure the enclosed material is in the default (roman) font.

6. Failure to use labels. Mathematicians are intimately familiar with the concept of variables; yet it is really amazing that they often do not use them when preparing LaTeX documents, preferring to "hard-wire" references to theorems, lemmas, and so forth. Everything in a document that is referred to later on should get a label: theorems, lemmas, corollaries, remarks, tables, figures, sections, and so forth. Doing so makes rearranging or inserting new results trivial.

7. Using the wrong quote marks. TeX distinguishes between left-quotes, which must be written ``, and right-quotes, which can be written either " or ''. Using the wrong left-quotes looks ugly.

8. Using the wrong kinds of dots. Never ever write "$x,...,y$". Instead write $x, \ldots, y $. Similarly, write $x y \cdots z$ for a product. The rule for distinguishing when to use \ldots and when to use \cdots is pretty easy: if the syntax to the left and right of the dots has a center of mass at the bottom of the line, use \ldots. If the syntax to the left and right of the dots has a center of mass at the center of the line, use \cdots.

9. Page ranges. Page ranges should be written with --, not -. So write 234--456, not 234-456.

10. Obsessive tweaking of the spacing. If your file contains lots of invocations of commands like \\, \noindent, \newpage, \bigskip, \medskip, \smallskip, \newline, \pagebreak, \linebreak, you're probably doing something wrong. LaTeX's own choice of spacing is usually pretty good, and the need to tweak it should be rather rare. In particular, I've had authors submit papers with \\ at the end of every paragraph!

And, for lagniappe, here's number 11:

11. Wrong angle brackets.. Use \langle and \rangle for left and right angle brackets, for example, in group presentations. Don't use < and >, which result in ugly output.

If you have other pet peeves about lousy LaTeX usage, feel free to add them here.

Second Story Moose

From Eric Rowland, a pair of moose at College and Bellevue in Toronto.

The Weird Journal Solicitations Continue to Pour In

Here's another one:

Invitation to Submit your Paper

Dear Authors,

We would like to invite you to submit quality ResearchPapers [sic] by e-mail editor@ijcsiet.com or ijcsiet@yahoo.com or both. The International Journal of Computer ScienceInformation and Engineering Technologies (IJCSIET) currently acceptingmanuscript for the following subjects ComputerScience and Engineering, Electrical Communication Engineering, ElectricalElectronics Engineering, Civil Engineering, Mechanical Engineering etc.,. As per the guidelines submit aresearch paper related to one of the themes of the Journals, as per theguidelines.

For more details visit us @ URL: www.ijcsiet.com

Last Date ofPaper Submission: 25 May 2013

Regards,

Editor-in-chief

IJCSIET

I wonder what "ResearchPapers" are. Maybe they're about "ScienceInformation". I sure hope they're "acceptingmanuscript". Those guidelines sound pretty important, too.

Yet Another Strange Journal Solicitation

Dear Jeffrey O. Shallit ,
 
This is Journal of Computer Science, Technology and Application (ISSN 2155-7969) is a new scholarly, peer-reviewed, and interdisciplinary journal focusing on theories, methods and applications in computer science, published worldwide by Academic Star Publishing Company, New York , NY, USA. We have learned your paper'Subword Complexity and k-Synchronization' at 17th International Conference on Developments in Language Theory .We are very interested to publish your latest paper in our journal. If you have the idea of making our journal a vehicle for your research interests, please send the electronic version of your paper to us through email attachment in MS word format. All your original and unpublished papers are welcome.

Hope to keep in touch by email and publish some papers or books from you and your friends in USA. As an American academic publishing group, we wish to become your friends if necessary. We also want to invite some people to be our reviewers or become our editorial board members. If you are interested in our journal, you can send your CV to us. Expect to get your reply soon.

 

Best regards,

 

Amy 

Journal of Computer Science, Technology and Applicatio

Academic Star Publishing Company

betty@academicstar.us, computer@academicstar.us
228 East 45th Street Ground Floor #CN00000267 New York NY 10017 USA  
TEL: 347-566-2153, 347-230-6798 Fax: 646-619-4168, 347-426-1986k

 

  Call for Paper      n

Description

Journal of Computer Science, Technology and Application (ISSN 2155-7969) is a scholarly, peer-reviewed, and interdisciplinary journal focusing on theories, methods and applications in computer science. It is published in English by Academic Star Publishing Company, USA. It aims to provide an international forum and an authoritative source of information in the field of Computer Science, Technology and Applications and related Information Technology. It also aims at establishing channels of communication between Centers of Excellence for computer applications, computer manufacturers, software developers and users worldwide. It covers a wide range of topics of current concern in computer science. Each issue will contain a variety of articles, essays, and book reviews and so on.

The journal welcomes publications of high quality papers on theoretical developments and practical applications in computer science. Original research papers, state-of-the-art reviews, and high quality technical notes are invited for publications.

We would welcome manuscripts on (but not limited to):

•  Computer applications in engineering and technology

•  Computer control system design

•  CAD/CAM, CAE, CIM and robotics

•  Computer applications in knowledge-based and expert systems

•  Computer applications in information technology and communication

•  Computer-integrated material processing (CIMP)

•  Computer-aided learning (CAL)

•  Computer modelling and simulation

•  Synthetic approach for engineering

•  Man-machine interface

•  Software engineering and management

•  Management techniques and methods

•  Human computer interaction

•  Real-time systems

•computational mathematics

•other topics related to computer

 

Information for Authors
1. The manuscript should be original, and has not been published previously. Do not submit material that is currently being considered by another journal.

2. The manuscript should be in MS Word format, submitted as an email attachment to our email box.

3. Manuscripts may be 5000-12000 words or longer if approved by the editor, including an abstract, texts, tables, footnotes, appendixes, and references. The title should be on page 1 and not exceed 15 words, and should be followed by an abstract of 100-200 words. 3-5 keywords or key phrases are required.

4. The title of the paper should be on the cover sheet as well as the top of the first page of text. Author names and affiliations should be on the cover sheet only.

5. Authors of the articles being accepted are required to sign the Transfer of Copyright Agreement form.

6. Authors will receive 2 hard copies of the journal within their papers.

7. It is not our policy to pay authors.

 

Peer Review Policy

Journal of Computer Science, Technology and Application is a refereed journal. All research articles in this journal undergo rigorous peer review, based on initial editor screening and anonymised refereeing by at least two anonymous referees.

 

Editorial Procedures

All papers considered appropriate for this journal are reviewed anonymously by at least two outside reviewers. The review process usually takes 4-6 weeks. Papers are accepted for publication subject to no substantive, stylistic editing. The Editor reserves the right to make any necessary changes in the papers, or request the author to do so, or reject the paper submitted. A copy of the edited paper along with the first proofs will be sent to the author for proofreading. They should be corrected and returned to the Editor within seven days. Once the final version of the paper has been accepted, authors are requested not to make further changes to the text.

 

Submission of Manuscript

All manuscripts submitted will be considered for publication. Manuscripts should be sent online or as an email attachment to: computer@academicstar.us, computer_academicstar@yahoo.com.

 

Address: Academic Star Publishing Company, 70 West 86th Street, #CN0267, New York, NY 10024, USA  

TEL: 347-230-6798  Fax: 347-426-1986

Email：computer@academicstar.us, computer_academicstar@yahoo.com 
Journal of Computer Science, Technology and Application

I'm really glad that they have "learned [my] paper", but the MS word format requirement just is too onerous for me. As for "we wish to become your friends if necessary", that sounds a bit ominous. Maybe it isn't necessary.

Another Weird Journal Solicitation

Here's yet another weird academic journal solicitation:

Dear , [sic]

WatchPlus as a major international publisher with its main focus on Journals spanning broad based interdisciplinary subjects presented in English Language [sic], is currently accepting manuscript(s) for publication. WatchPlus has a unique and effective way to capture expertise, tacit knowledge and research findings. Unlike other publishers, WatchPlus focuses on improving papers instead of only publishing them.

We welcome a timely submission of Original [sic] articles, Case studies, Expert reviews, surveys, opinions, commentaries and essays in all fields covered by our journals.

We accept papers from both academic and industrial contexts, thereby creating a unique community of experts, researchers, practitioners and thought-leading [sic] people. The creative and constructive atmosphere built by WatchPlus is highly productive. We are also working progressively to improve and increase our readership base by indexing our various journals in professional and academic indexes, libraries and large academic repositories and databases/ electronic archives.

Benefits

All submissions will benefit from a constructive iteration process prior to its publication. In this process, authors receive feedback and suggestions for their work where necessary. Papers will be reviewed in deep detail by experts and peers from the same or related domains and authors will get feedback and comments based on the outcomes of the review process.

Authors will receive high quality feedback in a constructive way. The comments and suggestions can be used to improve submitted papers for final publication. Submitted papers will be published along side the next issue proir to the acceptance of the paper by professional Editors. Selected papers will be published in the WatchPlus Digital Archive.

Journals

We are currently accepting papers under the following headings:

    Journal of Advances in Agricultural Science and Technology.
    International Journal of Mathematics and Engineering Research.
    International Journal of Medical and Biomedical Sciences.
    International Journal of Accounting and Business Management.
    Journal of Education, Arts and Humanities.
    International Journal of Biological and Physical Sciences.

Manuscript Format

Please note that we accept manuscript in .doc, .docx and rtf formats. Figures and table should be submitted alongside the main manuscript or attached as supporting documents. Please see our Instruction for Authors.

All manuscript(s) as well as supporting documents should be submitted as e-mail attachment(s) to submit@watchpub.org.

Editors and Reviewers

We are also looking for focused, dedicated and time conscious scholars, to serve as Editors and Reviewers in our various Journals. If you are interested, please submit a detailed Curriculum Vitae to our Editorial Office at editorials@watchpub.org, stating your research interest and the journal your [sic] are interested in working with.
We are looking forward to publishing your manuscript. 

Regards,

Prof. Abeer Al-Ghananeem
Editor-in-Chief
International Journal of Medical and Bio-Medical Sciences
http://www.watchpub.org

I would be very interested to see how my manuscripts could be improved by this publisher. Perhaps they can insert random capitalizations "in English language". But since I am not "time conscious", I don't think I qualify to serve as a capital-E Editor or even a capital-R Reviewer.

They Offer Nothing But Lies, 2

This could be a regular feature!

Over at Uncommon Descent, the bizarre ravings of Gordon E. Mullings (aka "kairosfocus") included this gem:

FSCO/I is routinely intuitively used to identify artifacts of unknown cause, as IIRC, WmAD has pointed out regarding a room in the Smithsonian full of artifacts of unknown purpose but identified to be credibly human.

No, the Smithsonian does not have a "room...full of artifacts" like that. That bogus claim was debunked back in 2002.

Word Puzzle

What do each of the following words have in common?

chef
facade
hotshots
microscope
racketeering
indivisibility
unpremeditatedly

Answer: if you let a = 1, b = 2, and so forth, then each of these words has the property that the first half of the word sums to the same number as the second half.

My Talk at Eschaton 2013

Here's the video of my talk at the Eschaton 2013 conference. I hope you can stand to watch it, because I can't!

They Offer Nothing But Lies

Here we have a yet another example of the scholarship and devotion to truth of the creationist movement. Lawyer Barry Arrington posts a quote which he ascribes to Margaret Sanger in 1922:

"Slavs, Latin, and Hebrew immigrants are human weeds ... a deadweight of human waste. Blacks, soldiers, and Jews are a menace to the race."

The quote has three suspicious aspects which would make any reasonable person think twice before posting. First, the ellipsis. Have two unrelated quotes been grafted together? Second, the lack of a detailed attribution. Where, precisely, did she say this? What speech or journal? Third, the longstanding record of quote fabrication by political and religious extremists; see, for example, They Never Said It or The Quote Verifier.

When Arrington is informed by a contributor that the quote is apparently bogus, how does he respond? Does he withdraw it, or at least say he will do more research to make sure it is accurate? No, so far he has completely ignored this information. Arrington's efforts were applauded by co-blogger V. J. Torley.

Whether it concerns biology, or climate science, or history, all they have to offer is lies.

Safeway Not Safe for Moose

Here is the sad story of a moose that wandered into a Safeway and ended up getting killed.

Everyone knows that Sobey's is the only safe place for moose to shop.

Another Liar for Jesus

Creationist Bill Randall is another liar for Jesus.

In his barely literate Washington Times piece, filled with gems like "Modern contemporary teachings", there is scarcely a single sentence that is truthful.

I don't have the time or interest to fisk the whole thing, so here is just a single example:

The following are quotes from proponents of evolution: “Many examples commonly cited, such as the evolution of the horse family or of sabertooth tigers can be readily shown to have been falsified and not to be really othogenic.” (G. G. Simpson, “Evolutionary Determinism and the Fossil Record”, Scientific Monthly, Vol. 71, Oct. 1950, pg 264

(Yes, the delightful lack of a closing parenthesis is in the original.)

Now, I happen to have Simpson's article right in front of me. Here is what he actually said:

"The crucial point here is whether evolution is in fact orthogenetic, whether orthogenesis is its law. There are many definitions of orthogenesis, but the pertinent one in this connection is that orthogenesis designates not only full determination of evolution but also rigid and unique predetermination. Orthogenetic evolution is supposed to proceed undeviatingly in a single direction, regardless of environment, organic activity, or such factors as natural selection. Discussion of this point has been so lengthy and extensive that it has, frankly, become boring. There is at present a clear consensus of paleontologists that orthogenesis, in this sense, is not real. There is no known sequence in the fossil record that requires or substantiates such a process. Many examples commonly cited, such as the evolution of the horse family or of sabertooth "tigers," can be readily shown to have been unintentionally falsified and not to be really orthogenetic. All supposed examples are more simply and fully interpreted as due to some other cause, such as natural selection. The fossil record is now usually cited in support of orthogenesis mainly by those least familiar with that record."

See the differences? Randall has deleted the word "unintentionally", has mangled the word "orthogenetic", and has removed the quotes around "tigers". But more importantly, he doesn't even remotely understand what he is quoting. Simpson is not arguing against evolution at all; he is arguing against teleology and a predetermined direction to evolution.

To see this, we can turn to another quote of Simpson, from his 1964 book This View of Life: The World of an Evolutionist:

"If a sect does officially insist that its structure of belief demands that evolution be false, then no compromise is possible. An honest and competent biology teacher can only conclude that the sect's beliefs are wrong and that its religion is a false one. It is not the teacher's duty to point this out unnecessarily, but it is certainly his duty not to compromise the point."

Simpson had Randall's number 49 years ago.

Stop Homeopathic "Vaccines"

Here's a site set up by Bad Science Watch to stop the sale of bogus homeopathic vaccines. Please give them your support, especially if you live in Canada.

Doug Groothuis Demonstrates His Intellect Again

Everybody laughed when creationist Ray Comfort thought "bibliophile" was an insult. But it was hardly the stupidest thing said by a creationist this week. I nominate this gem from "Douglas Groothuis, Ph. D.".

I'm not sure which is funnier: that he thinks that a scientific theory could possibly be disproved by a "moral argument", or that he thinks that biologists believe that "various races of humans may be more evolved than other races".

Friday's Passport Moose

From longtime blog reader DS comes this moost excellent innovation in passport design: the flipbook moose.

I hope the government of Canada is listening. We don't want to be left behind.