Towers of Chicago
I am a mathematician and computer programmer from
Chicago. I have a BA in Mathematics from Northeastern
and I am also Sun Certified. Since 2000, I've been working
on the Towers of Chicago; I programmed the multipeg version in
The multipeg version involves 4 or more pegs, as opposed to the
usual 3. These pegs are enumerated as follows: the
the final peg, and 2 or more auxiliary pegs. My algorithm
for solving this puzzle is recursive and dynamic. This
algorithm is an
example of Automated Reasoning, especially since it has a reverse
feature. The puzzle software can be found at the following
Chicago. The software was programmed using Java
The original version of my Towers of Chicago software won fifth
prize in the Quest
for Java Contest.
Here are some screenshots, and here
is an applet
that calculates the number of moves in the multipeg problem.
Also, I wrote software that solves problems in Binary Logic: Meta Theorem
It turns out that any statement in mathematics can be reduced to a
statement of Binary Logic.
My treatment of Binary Logic includes 64 variables,
truth constants, 6 operations, and
perfect syntax checking.
Meta Theorem was used to crack P vs NP, one of the ClayMath
My math applets are
generating 500 Gigawatts of DDT Fusion Power:
D + D ==> T + H + 4.0 MeV
D + T ==> He + n + 17.6 MeV
This power source will last for 50 million years!
Here is the Federation
battle song, and here is the imperial city
skyline, Chicago, USA.
For my girlfriend Diana Lanza. We're Emperor and Emperess!
By the way, China has Intercity
Maglev Railways! America doesn't?
That will change shortly; see Edict #1.
Index of Directories