The diagonalization of a normal matrix by a unitary transformation.    From Wordnet, Princeton University. 

Continuing down the list, this mathematical method called "diagonalization" generates a real number p between zero and one that, by its construction, differs from every real number on the list in at least one decimal place.    From Wordnik.com.  [Strange but True: Infinity Comes in Different Sizes | Impact Lab] Reference

U onto F and a contradiction could be derived by diagonalization.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

By diagonalization, self-reference or the like we can get a sentence C such that.    From Wordnik.com.  [Curry's Paradox] Reference

The proof of part (a) is an application of Gödel's technique of diagonalization.    From Wordnik.com.  [Alfred Tarski] Reference

In the proof of this theorem, Tarski applies arithmetization and diagonalization, hence following the Gödelian pattern.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

Just as there can be no set of all sets, there can for diagonalization reasons also not be a proper class of all proper classes.    From Wordnik.com.  [Philosophy of Mathematics] Reference

Gödel's construction was soon given a general form, as a general diagonalization lemma, which refers to arbitrary definable properties.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

The problem of identifying the bearer of narrow content is obviously closely related to the problem of what to hold constant when employing the diagonalization strategy.    From Wordnik.com.  [Narrow Mental Content] Reference

Realizing that most people would require more than experimental phenomenology to be convinced I went back to the beginning and began computing the properties of the interacting 2-dimensional electron gas problems by the exact-diagonalization method.    From Wordnik.com.  [Robert B. Laughlin - Autobiography] Reference

It is also important to stress that a few years later (1938) an analog of the diagonalization lemma (the so-called second recursion theorem) was discovered by Kleene and was soon to become a basic tool in the foundations of recursion theory and computability theory.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

On the diagonalization strategy, we make use of our preexisting grasp of ordinary content to determine what ordinary content the thought would express if it were located at the center of a particular centered world, and then determine whether that ordinary content is true at that centered world.    From Wordnik.com.  [Narrow Mental Content] Reference

These include: providing preventive and primary care services; developing a health workforce; devising equitable financing arrangements; regulating the private sector; and leveraging vertical programs (such as malaria control) to strengthen, rather than distort, the overall health system ( "diagonalization".    From Wordnik.com.  [PLoS Medicine: New Articles] Reference

The re-ordered rational diagonalization is self-contradictory.    From Wordnik.com.  [ScienceBlogs Channel : Life Science] Reference

To understand this, let's do a quick review of Cantor's diagonalization.    From Wordnik.com.  [ScienceBlogs Channel : Life Science] Reference

What our author is proposing is to take Cantor's diagonalization, and do two things to it.    From Wordnik.com.  [ScienceBlogs Channel : Life Science] Reference

Back at the beginning of the post, I said he almost avoids the usual problem of ignoring the diagonalization.    From Wordnik.com.  [ScienceBlogs Channel : Life Science] Reference

By the definition of the diagonalization, the value of the diagonal must be different from the value of any of the rows by at least one digit.    From Wordnik.com.  [ScienceBlogs Channel : Life Science] Reference

The energy spectrum of a quantum system can be accurately calculated by the numerical diagonalization of the space-discretized matrix of its evolution operator, that is, the matrix of its transition amplitudes.    From Wordnik.com.  [WN.com - Articles related to WHAT AN IDEA,3G] Reference

In his discussion of the structure theory of finitely generated modules over a pid, he gives the concrete proof using diagonalization of matrices, that will actually be applied later to linear transformations, rather than some abstract existence proof that will be useless later, as many other authors do.    From Wordnik.com.  [AvaxHome RSS:] Reference

These findings suggest that M213 oxidation, besides changing the flexibility, impacts on the general dynamical properties of the protein, enhancing the motional correlation between regions playing an important role in the conversion of PrP ED analysis reduces the dimensionality of the covariance matrix by diagonalization.    From Wordnik.com.  [PLoS ONE Alerts: New Articles] Reference

Paradoxes: between metamathematics and type-free foundations (1930 “ 1945) 5.1 Paradoxes and diagonalization.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

“what is held constant” problem for the diagonalization strategy also poses problems for the epistemic strategy.    From Wordnik.com.  [Narrow Mental Content] Reference

“there is no algorithm whose output contains all true statements of arithmetic and no false ones” without appealing to diagonalization.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

In ch. 10, section 102, Russell also gives a form of Cantor's theorem, which captures the logical essence of diagonalization (this version is by now folklore): no binary relation can parameterize all unary predicates over a given domain U (i.e., no binary relation.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference

To see this, we can again use diagonalization.    From Wordnik.com.  [Computability and Complexity] Reference

I am somewhat acquainted with diagonalization ... ".    From Wordnik.com.  [Scientific Blogging] Reference

(4) The subtraction strategy also shares with the diagonalization strategy the problem that it gives us a method of identifying narrow contents only if we already have an independent method of identifying contents in general.    From Wordnik.com.  [Narrow Mental Content] Reference

5.1 Paradoxes and diagonalization.    From Wordnik.com.  [Paradoxes and Contemporary Logic] Reference