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 puzzle; 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 (1300 x 900).
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
feature.
The puzzle software can be found at the following link:
Towers
of Chicago. The software was
programmed using Java 16; from here, the JDK installer
(Windows version) can be downloaded.
Run this batch file
after installing Java. Also, adjust the High DPI
settings for the Java, Javap, and
Javaw execuatables located in the system folder. The
original version of my Towers of Chicago
software won 5^{th} 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. Here is a list of logical
sentences that can be used to test Meta Theorem.
Meta Theorem was developed at Argonne National Laboratory under
the
Automated Reasoning research project. It was used to
resolve 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:
As Emperor
of North America, I proclaim the following concerning
Acela,
which will be the national high speed rail
corporation:
North America has an inexhaustible power source (D-D-T Fusion)
that 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
continent. Intercity electric
high speed trains, like the Acela Express, get power from 25000
volt AC catenary. The
Midwest is the next logical region to get this rail service,
after the Northeast. Here are
some of the railroads that should be electrified in order to run
at high speed:
(1) Lincoln Service—Chicago―St. Louis―Kansas
City (TGV)
(2) Hiawatha—Chicago―Milwaukee―Minneapolis (TGV)
(3) Lake Shore Express—Chicago―Cleveland―New
York (LGV)
(4) Crescent—New Orleans―Atlanta―Charlotte
(TGV) (5)
Coast Starlight—San Fransisco to Los Angeles
(LGV) (6) Pacific Cascades—
Seattle to Portland (TGV) (7)Texas TGV—
Dallas to Houston(TGV)
Of course, the flagship high speed railroad will be
Chicago to New York!
In order to build a national high speed rail network, we need
the U.S. military to
withdraw from a variety of foreign lands and restore development
on American soil.
The Biden infrastructure package is insufficient in terms of
intercity high speed rail;
$12 billion is not enough to compete with China. At least
$200 billion needs to be
appropriated in order to build a national rollout.