The most recent version of "Hegel and Modern Topology" includes a new 4 page section: "Formalization of Hegel's Logic of Concept".
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Copyright © 2023 -2026 Clarence Lewis Protin. All Rights Reserved
Subscribe to:
Post Comments (Atom)
Is Idris 2 the ultimate proof assistant and foundation of logic?
Our dream is to devise a proof assistant which combines the best aspects of Coq/Rocq and Agda. The idea is to have a core minimalist versio...
-
No, a mathematical model of consciousness is not possible. First we must distinguish between the natural consciousness of Dasein studied acc...
-
It is difficult to evaluate the quality of mathematical work or the particular destiny of mathematics in the 20th century. We have already g...
-
https://www.researchgate.net/publication/385750025_Pierre_Cartier_A_Visionary_Mathematician
No comments:
Post a Comment