...discoveries

We will not discuss the computational difficulties here but there are many non-trivial mathematical and computer--related issues involved in this project.

...meta--language

This may not be a fanciful dream as the Computer Algebra Systems (CAS) of today are beginning to provide just that.

...mistake

There is no evidence that Euclid ever made such a statement. However, the statement does have an undeniable emotional appeal.

...matters

Simpson's paradox notes that two data sets can separately support one conclusion while the union of the data supports the opposite conclusion. Will Roger's phenomenon notes that in a medical study it is possible to transfer a patient from one group to another and improve the statistics of both groups.

...possible

It is clear that mechanisms are developing for transmitting insights within fields, even if this is only through personal communications.