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. (Leibniz)
https://github.com/owl77/agda/blob/main/zalta.agda
We grant that the Treatise may not be a entirely consistent work and that its precise aim may still be quite unclear. But this does not era...
No comments:
Post a Comment