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 (1300x1000).
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 sequence variation.
The puzzle software can be found at the
following link: Towers
of Chicago The software was
programmed using Java 20;
from here, the JDK installer
(Windows 10 version) can be downloaded.
Run this batch file after installing
Java. Also, adjust the High DPI settings for the
Javaw executable
located in the system folder. Here is the JDK
documentation. 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.
Furthermore, here is a scholarly
paper about
the mathematics behind Multipeg Towers of Chicago.
Also, I wrote software that solves
problems in Boolean Logic: Meta
Theorem
Curiously enough, 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 Project (Research Project #289).
It was used to
resolve some important hypotheses in
mathematics:
Continuum Hypothesis
Twin Primes Conjecture
Rationality of Pi to
the Pi
My math applets are generating 500
Gigawatts of D-D-T Fusion Power:
The mass of neutrinos has been
verified to be zero by Multipeg Towers of
Chicago.
The 3D volume of neutrinos has been observed to
be10 times smaller than
that of photons;
according to the ancient neutrino-photon graph,
at this factor, the neutrino mass is
insignificant.
85% of
the mass of the universe is
thought to consist of dark
matter.
Since neutrinos are massless, therefore dark
matter cannot be composed of neutrinos.
Perhaps the inertial field of space has mass,
and thus holds the universe together.
This field (the aether) would be a continuous
manifold that produces effects
such as the centrifugal force.
North America has an inexhaustible
power source that can be used to run high speed
trains.
Here is a map of the proposed High
Speed Rail System; this system shall be powered by
nuclear fusion.
These trains, TGV or Maglev, will run at 150 mph
or greater, and will cover all regions of the
continent.
In order to build a national high
speed rail system, we need the U.S. military to
withdraw from a variety of foreign lands and restore
development on American soil.
The Federal infrastructure package is insufficient
in terms of intercity high speed rail;
electrification needs to proceed westward of the
northeast corridor for us to compete
with China. For example, Amtrak's Lincoln
Service, Borealis, and Wolverine Routes
should be Electrified. At least $50 billion
needs to be appropriated in order to fund
the entire Acela High Speed Rail System.