Oxymorons

"Pascal was a Mathematician long before he became a
programming language" -- Skiena and Revilla in the
book Programming Challenges.

Humour is defined as a correction in a line of reasoning,
a twist of words, a pun, a double entendre. A person without
humour is a dull indeed, and medically speaking without life
(no pun intended). Laughter denotes a flexible mind.

Analyse following sentences:

• Haven't I told you a million times not to exaggerate! -- Hally.
• "No truth is ever a lie" - Barbara Streisand.
• It is true that X is true -- Heard in IITB.
• He caught a cold and a bus -- Wren and Martin.

A professor once wrote a theorem on the board
and said, "The proof is trivial for large N, say 3",
he then stared at the board for half an hour
and finally said "I was right, it is trivial".
So the student asked, "Is the proof trivial or not?"
The professor replied "Yes".

It has to be a Math or CS professor,
probably a knot theorist. Which other
discipline has a concept of a proof?
EE doesn't even have the concept of correctness.

Logic of Knowledge and Time

Monk 1: "How happy are the butterflies in the meadow!"
Monk 2: "You don't know the butterflies are happy,
you think they are happy."
Monk 1: "How can you know what I don't know?"
Monk 2: "I believe in the principle of common knowlege."
A this point Monk 1 hits Monk 2 with his staff.

A host of questions come to mind:

1. Is belief different from knowledge?
2. Do you believe in what you know?
3. Do you know what you believe in?

Let us write B(X) if you believe in X,
and K(X) if you know X,
now are the following true:

1. X -> B(X)
2. B(X) -> X
3. K(X) -> B(X)
4. B(X) -> BB(X)

Is this possible:

1. B(X) & B(~(B(X))

Note that I haven't defined what is true and what is possible.
Which brings us to the epistemology and logic of beliefs.

Get some of Raymond Smullyan's popular books:

• Forever Undecided,
• What is the name of this book?
• To Mock a Mockingbird,
• Lady or the Tiger

These cheap paperbacks are very good introduction to logics, and you
can get them from Amazon or bookfinder.com

After reading Smullyan, you will believe you believe in logic of beliefs.
Smullyan opens can after can of worms, raising more questions:

• What is truth?
• What is a proof?

To evaluate statements in a language you need a
world model in which the statement will be true or false.

The first person to define the concept of
truth on a firm ground was Alfred Tarski in 1940s.
You can look up Alfred Tarski's monograph "Truth and Proof".

Enderton's "Mathematical Logic" is an
Undergraduate introduction to logic.

Barwise's "Handbook of Mathematical Logic"
is a Graduate level survey.


Modal Logics

You can model beliefs, knowledge, time and proofs in modal logic.

Modal qualifies logical statements with modalities and quantifiers:
"Sometimes it rains". Here Sometimes is a modality on the statement.
"Whenever it rains, the ground is wet" Here whenever is the
universal quantifier over time.

Boolos (The Logic of Provability),
Chellas, and Hughes and Cresswell are
some of the good books on Modal logics.

I still haven't covered Byzantine general's problem
of common knowledge and free will,
and what is "free will"? I am not talking Kant or Russell.

Real life quotes you don't want to hear:

Support engineer: "Our tool works great,
except for the crazy customers who keep crashing it."

Hiring manager asking about an employee referral: "If he
is really good, why does he want to work here?"

Problem: "tool xyz consistently crashes on my computer."
Suggestions "Reboot windows, if that doesn't work
reinstall windows."

Making (sesame) til chikki,
the ancient art from India.

Mulliner Nights

Recommended Video

P.G.Wodehouse's Mulliner series is hilarious.
Pauline Collins and John Alderton are just great actors.

Mulliner reminds me of David D'lima, former
Championite, Cathedralite and IITian.

Recommended books, see their reviews on Amazon.

The Algorithm Design Manual by Steven Skiena is an excellent
book. It complements Cormen/CLR book nicely.

Origin of Species by Charles Darwin,
Abridged and Introduced by Richard E. Leakey, 1979.

The Same and not the same, by Roald Hoffmann.

Molecules, by Atkins (no, this Author is not the diet nutcase).

The Stuff of Life, Eric P. Widmaier.

Connections by Burke.

Geometry, Geometry Revisted and Essays by Coxeter.

Recommended new software:

Kdiff3 and the new windmerge are nice diff and merge programs.
Of course, I have stuck to Gnu Emacs' Ediff/Emerge/gnu diff, because they
has been there forever.

If you need to run xfig on ms windows, just install cygwin right
off the internet. Cygwin's comes with an X server,
bash, gcc, grep, perl and everything else for windows.

With Cygwin, you can say goodbye to the buggy, out of sync ports
of perl, grep, and all other unix tools on windows.

Purity of the Turf.

Reading QT 3.3 book by Jasmin Blanchette and Mark Summerfield.
Managed to write two 2D board games using QCanvas.

The CD with the book has the free Borland 5.5
C++ compiler, very compact, fast and useful.
I didn't try the evaluation version of BCC 6.0.

The html documentation is excellent, plus the unique name qt
helped in searching relevant docs on Google. Only
QSound gets ranked 6th in the search. Most of my questions
were already asked and answered on their mailing lists.

Interestingly all google ads are about cookery when
searching for QPtrQueue, even when there are no
matches for the misspelled word QPtrQueu.

I am using tortoise CVS frontend,
highly recommended for windows users, even
if you are a season command line CVS users.
Makes it a breeze to put files under CVS control.

The other book I am reading is
"Design and Validation of Computer Protocols"
by Gerald Holzmann, a well written book
about networking and protocol verification.
The price is steep at $80. It could have been
course textbook for theory of networking.
Tanenbaum's networking classic
seems like a databook in comparison.
Of course this book too contains a large
appendix of C source printout, must be
the effect of the times (1992).

There is always the rerun of P.G.Wodehouse's
"Jeeves and Wooster" series with
Stephen Fry and Hugh Laurie. Just
finished "Purity of the Turf". The noted
newt fancier Gussie Finknottle, Spod,
Boko Fiddleworth and Barmy Fungy Fipps
are some of the characters you will meet.
Definitely worth the money.

The 1953 Julius Caesar in B&W
with Marlon Brando and John Gielgud
is also rerunning.