Second, the method that is used, called diagonalisation was already present in the work of du Bois-Reymond for building real functions growing faster than any function in a given sequence of functions.    From Wordnik.com.  [Type Theory] Reference

A recent paper, Periods and elementary real numbers claims to exhibit one by means of a kind of diagonalisation argument.    From Wordnik.com.  [A Neighborhood of Infinity] Reference

The theoretical groundings of the recursive mathematics of Gödel can be found in famous diagonalisation method of Cantor.    From Wordnik.com.  [Recently Uploaded Slideshows] Reference

Applying the usual diagonalisation argument (as in the proof of the.    From Wordnik.com.  [What's new] Reference