After this preliminary study on the practice of definition in antiquity and in modern mathematics
Modern Definition and Ancient Definition
we present a proposal for an axiomatic system to capture the topoi in Aristotle's Topics:
Arguing for logical realism and discussing the logical structure and constitution of the world.
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt.
Please do not use material posted here without referencing and giving credit to this blog. Thank you.
After this preliminary study on the practice of definition in antiquity and in modern mathematics
Modern Definition and Ancient Definition
we present a proposal for an axiomatic system to capture the topoi in Aristotle's Topics:
The pure categories (captured by higher order categorical logic, etc.) must be unfolded and specified via schematism and regional ontologies...
No comments:
Post a Comment