𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Referential Indeterminacy of Logical and Mathematical Concepts

✍ Scribed by Otávio Bueno

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
146 KB
Volume
34
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the discovery of mathematical concept
On the discovery of mathematical concepts
✍ S. L. Epstein 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 684 KB

The Graph Theorist (GT) is a system intended to perform mathematical research in graph theory. This paper focuses upon GT's ability 10 discover new mathematical concepts by varying the definitions in its input knowledge base. Each new definition is a correct and complete generator for a class of gra