https://www.diva-portal.org/smash/get/diva2:532943/FULLTEXT01.pdf
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Subscribe to:
Post Comments (Atom)
Principia Logico-Mathematica
https://mally.stanford.edu/principia.pdf Zalta uses second-order logic extended with what might be called 'third-order' predicates w...
-
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://hal.science/hal-02977750v7/document Girard’s philosophical motivation for the transcendental syntax is to establish a whole new arch...
-
The following account needs to be greatly expanded, revised and clarified in the light of transcendental philosophical consciousness. A the...
No comments:
Post a Comment