# A Critique of the Diagonal Method

But let us remember that we are dealing with infinities and indivisibles, both of which transcend our finite understanding...

Galileo Galilei

This is the introduction to the first iteration of my critique of the diagonal method. When I wrote the first iteration of the article, I simply wished to make a little fun of the meta lords who dictate from ivory towers. The third iteration (A Tale of Two Paradoxes has a more complete version of my views on the subject.

Those readers wishing to learn the party line should read David Foster Wallace's new work Everything and More,

# Original Presentation

From the vantage of descriptive mathematics, I find myself siding with those rejecting the theory. The standard presentation of transfinite theory is marred with paradoxes and confusing terms. For example, it is physically impossible to "count" an infinite set, yet we classifly infinite sets as "countable" and "uncountable."

The ideal of Descriptive Mathematics is that we use mathematics to communicate our ideas. The extremely confusing use of terms in the standard introduction to transfinite theory does the opposite. It hinders our ability to communicate ideas. It injects into the foundations of mathematics incomprehensibles and twisted definitions that boggle the mind and, in most cases, simply add to the epidemic of math anxiety.

The main hope of this article is that mathematics professors will actively read this article and look for ways to improve the introduction to transfinite theory so that it is more conducive to learning and growth of a student, and less of an exercise in the black art of cleverness.

This article is in two parts: In the first part, I refute the standard presentation of the diagonal method. In the second part, I suggest an alternative method for discussing the infinite. This second method starts with an exploration of arbitrarily large sets and the power set.

Unfortunately, it is almost impossible to talk about transfinite theory without coming across as a madman. Even the biographers of Georg Cantor seem to question the man's sanity. Likewise, mathematicians such as Henri Poincare and LEJ Brouer have had their formidable contributions to science sullied simply by trying to address this difficult issue.

Since it is impossible to discuss the theory without coming off as a diatribe, I accepted the inevitable and will try to make this work an entertaining diatribe. Although I sympathize with the intuitionists and others who described transfinite theory as a disease, I also believe that there is a great deal of value to Cantor's work, and it is worth the effort to correct the terminology and fix the gaping holes in the theory. I dislike the present state of mathematics where transfinite theory creates a great deal of rancor and feeds math anxiety.

In the final essay, Rich Theory, I will start to piece together my answer to the problem. My goal is not simply to "cure" transfinite theory, but trying to find ways to enrich our understanding of large sets.

Anyway, infinity has always been a area full of mad ranting. So please, sit back and enjoy and enjoy my brief diatribe.