Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
For Each Mathematical Statement, Only Finitely Many Of Its Generalizations Are Useful: A Formal Proof Of E. Bishop's Idea, Olga Kosheleva, Vladik Kreinovich
For Each Mathematical Statement, Only Finitely Many Of Its Generalizations Are Useful: A Formal Proof Of E. Bishop's Idea, Olga Kosheleva, Vladik Kreinovich
Departmental Technical Reports (CS)
Generalization is one of the main mathematical activities. Some generalizations turn out to be useful for working mathematics, while many other generalizations have so far been not very useful. E. Bishop believed that most fruitless-so-far generalizations are hopeless, that every mathematical statement has only a few useful generalizations. In this paper, we show that, under a natural definition of the notion of useful generalization, Bishop's belief can be proven -- moreover, it turns out that for each mathematical statement, only finitely many of its generalizations are useful.