I am a mathematician and computer programmer from Chicago.
I have a BA in Mathematics from
Northeastern Illinois University, and I am also Sun
Certified. Since 2000, I've been working on the
Towers of Chicago; I programmed the multipeg version in
Java. The multipeg version involves 4 or
more pegs, as opposed to the usual 3. These pegs are
enumerated as follows: the initial peg,
the final peg, and 2 or more auxiliary pegs. This applet
can display up to 50 discs by 10 pegs,
with the default window size.
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 link: Towers of
Chicago. The software was programmed using
Java
11.
The original version of my Towers of Chicago software won 5th 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. Here is another applet
that calculates the number of top-level partition
numbers in the multipeg problem.
Also, I wrote software that solves problems in Boolean
Logic: Meta Theorem.
It turns out that any statement in mathematics can be reduced to
a statement
of Boolean Logic. My treatment of Boolean Logic includes
64 variables,
truth constants, 6 operations, and perfect syntax checking.
Meta Theorem was used to crack some important hypotheses in
mathematics:
Continuum Hypothesis
Twin Primes Conjecture
Odd Perfect Numbers
My math applets are generating 500 Gigawatts of D-D-T Fusion
Power:
D + D →
T + H + 4.03 MeV
D + T →
He4 + n + 17.6 MeV
and here is the imperial city
skyline, Chicago, USA.
By the way, it's really called the Sears Tower.
This is the new symbol of Christendom.
Amtrak
has a fleet of high-speed diesel
locomotives which were designed
by Meta Theorem. Therefore, as Emperor of North America,
I order that
the following routes shall go high-speed (110 mph) by the end of
2018:
Lincoln Service --- Chicago - St. Louis - Kansas City (567 mi)
Hiawatha --- Chicago - Milwaukee - St. Paul (410 mi)
Cascades --- Seattle to Portland (187 mi)
Coast Starlight --- Oakland to Los Angeles (464 mi)
Crescent --- Atlanta to New Orleans (518 mi)
Pennsylvanian --- Pittsburgh to Philadelphia (353 mi)
