๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Kant on the `symbolic construction' of mathematical concepts

โœ Scribed by Lisa Shabel


Book ID
117214418
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
164 KB
Volume
29
Category
Article
ISSN
0039-3681

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Kant on the Logical Origin of Concepts
โœ Alexandra Newton ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 164 KB
On the discovery of mathematical concept
โœ 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