Dmytro Taranovsky

My Collected Works

While I agree with most people on most issues, those issues are already covered by other people. The value of my papers, besides the technical insight, is for the issues on which most people are ignorant or wrong.
Note: The papers were written at different times, and they are not always updated as my understanding of the subject evolves.

Special Notes provides miscellaneous useful and profound information that is not well known to the society; organized by topic.


Fundamental Rights describes, explains, and justifies fundamental human rights and their protection by the United States Constitution.

Abortion resolves the controversy about abortion and answers the fundamental question: Who is a person?

Psychology presents basic theory of human thought and behavior.

Mandatory Treatment of Alcoholics provides a solution to the problem of alcohol addiction.

Electing Presidents suggests a much better way of electing the United States President.

Copyright Laws explains that copyright laws harm the society, and that they violate freedom of the press.

Changes for the Future explains and corrects some of the flaws of the current American society.

Utilitarianism explains, justifies, and defends the correct theory of morality.

Human Rights and the Problem of Evil explains why human rights must be followed by people but are not binding on God.

Free Will explains why free will is highly philosophically problematic but must exist anyway.

An Essay about Sex discusses nature and morality of sex.


Foundations of Physics presents the foundations and philosophy of science, particularly physics, with emphasis on physical quantities.

Quantum Mechanics presents non-relativistic quantum mechanics. (Requires linear algebra and some calculus.)

General Relativity fully defines general theory of relativity. (Requires calculus)

Applications of General Relativity presents applications such as linear approximation, spherical distribution, and gravitational waves (requires some knowledge of general relativity).

Essentially Stable explains that many of the elements considered to be stable are actually radioactive but with an extremely long half-life.

Classical Mechanics formally explains explains classical mechanics of point objects.

Computer Science

Secure Operating System Architecture explains how the operating system should work to be secure.

Future Computers (2002) predicts how computers will be used in 2009.


Measure and Integration (pdf) concisely explains the topic in nine pages.

Determinacy Maximum proposes a new determinacy hypothesis for transfinite games.

Sequences of Turing Degrees applies determinacy of transfinite games to sequences of Turing degrees.

Hypercomputation and Finitism extends the language of arithmetic without using infinite sets.

Constructive Mathematical Truth defines constructive truth for arithmetical statements and also for analysis.

Extending the Language of Set Theory proposes extensions to the language of set theory.

Reflective Cardinals presents and axiomatizes higher order set theory using reflective cardinals. See Reflective Sequences for further extensions with reflective sequences of ordinals.

An Ordinal Notation System introduces a family of strong ordinal notation systems. (python module/script) implements ordinal arithmetic up to a very large ordinal (conjectured to reach full second order arithmetic); uses notation from the paper above.

Arithmetic with Limited Exponentiation presents and analyzes a hierarchy of weak theories of arithmetic and higher types

Miscellaneous Papers

Some of these papers are incomplete or problematic, but they should still contain important information.

Philosophy contains and explains basic philosophical truths; unfinished.
Consequences of Utilitarianism and Belief in God
The Nature of being a Person
A Dialog on Child Prostitution
Language explains the basic structure of human language.
Chess Composition (image)
New Axioms for Set Theory (draft)

In addition to these papers, I made a number of postings to FOM (Foundations of Mathematics) mailing list.

More Papers

About Myself

I was born on November 22, 1983 in Kiev, Ukraine. In 1996, my family and I immigrated to the United States. My father (1954-2005) was a computer programmer with a passion for artificial intelligence. He died in accident while kayaking. I have a loving and supportive mother. From July 1996 through August 2001, I lived in the village of Columbia in the state of Maryland. While I was at high school, I studied advanced topics both independently and as a concurrent student in college. In June 2002, my parents and I moved to Salt Lake City, Utah. In 2005, I received a Bachelor of Science in Mathematics from Massachusetts Institute of Technology. In MIT, I was majoring in mathematics, and also studying computer science and physics. I am interested, however, in many fields of knowledge, such as philosophy and human rights. At MIT, I completed classes in mathematical analysis and abstract algebra, topology, algorithms, advanced classical mechanics, quantum and statistical physics, and many other topics. After MIT, I continued to live in Massachusetts engaged in independent mathematical research, specifically, in foundations of mathematics, mathematical logic, and set theory. In August 2006, I obtained employment in eScription (now part of Nuance), and until June 2011, worked in speech recognition for medical transcription.

See my resume.

Here is my picture.

My Awards from High School

I had perfect GPA (all of my grades were A) when I graduated from high school.

1998 Howard County Science Fair (among high school students):
First Place in Computer Science

Physics: In 1999, I was a member of the United States Physics Team. Twenty-four high school students in the USA were selected based on their performance in the US Physics Olympiad.

University Of Maryland High School Mathematics Competition (among high school students in Maryland):
2000 First Place
1997, 1999 Honorable Mention
Howard County Mathematics League (among high school students in Howard County, Maryland):
1998 Top Score in Oakland Mills High School
1999, 2000 Third Place
2001 Second Place

You can contact me by email at
Your feedback is appreciated.

You can also contact me by mail at

Dmytro Taranovsky
110 Bow St
Lexington, MA 02420

Please include your email address to make replying easy.

Last Updated: February 25, 2015.
Last modified date for web pages was not necessarily updated when minor changes were made.
This website is hosted by Massachusetts Institute of Technology.