I am a mathematician and computer programmer from
Chicago. I have a BA in Mathematics from
Northeastern Illinois University, and I'm 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 (1250 x 850).
The Towers of
Chicago uses a dynamic
algorithm to compute the optimal partition numbers,
and then a recursive algorithm
to compute the moves. This program
is an example of
Automated Reasoning, especially since it has a reverse
The puzzle software can be found at the following link:
of Chicago. The software was
programmed using Java 15; from here, the JDK installer
(Windows version) can be downloaded.
Run this batch file after
installing Java. The original version of my Towers of
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
of Boolean Logic. My treatment of Boolean Logic includes
truth constants, 6 operations, and perfect syntax
checking. Here is a list of logical
sentences that can be used to test Meta Theorem.
Meta Theorem was developed at Argonne National Laboratory under
Automated Reasoning research project. It was used to
Twin Primes Conjecture
Odd Perfect Numbers
My math applets are generating 500 Gigawatts of D-D-T Fusion
+ D →
T + H + 4.03 MeV
D + T → He4 + n + 17.6 MeV
A supertower is an office building taller than 1000 ft.
As of 2021, Chicago has 6 of them:
Sears Tower (1450 ft), Trump Tower (1380 ft),
Vista Tower (1200 ft), Aon Center (1150 ft),
Hancock Building (1125 ft), AT&T Corporate Center (1007 ft)
It turns out
built using my Automated Reasoning software.
The United States has an inexhaustible power source (D-D-T
Fusion) which can be
used to run high
speed trains. Here is a map of the proposed high
speed rail network.
These trains will run at 150 mph or greater, and will cover all
regions of the country.
Electric high speed trains, like the Acela Express, get power
from 25000 volt AC catenary.
The Midwest is the next logical region of the country to get
this rail service,
Northeast. For example, the following routes should be
(1) Lincoln Service ―Chicago to St. Louis
(2) Great Northern―Chicago ―Milwaukee ―Minneapolis
(3) Lake Shore Express―Chicago to Cleveland