1982 | OriginalPaper | Buchkapitel
Constructive and Non-constructive Methods in Mathematics
verfasst von : A. Gardiner
Erschienen in: Infinite Processes
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In the previous chapter we started by tacitly assuming that any given pair of line segments could necessarily be measured exactly by some (suitably small) common measure. But, when this assumption was applied to the pair of segments AB, AC in Figure 6, we derived a contradiction. We were thus forced by the principles of logic to admit that our tacit assumption was untenable: there clearly exist some pairs of segments (such as AB, AC in Figure 6) which have no common measure at all.