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
To us a central problem of philosophy is to elucidate the relationship between the following three domains of (apparent) reality /experience...
