Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Subscribe to:
Post Comments (Atom)
Prop. 1 of Proclus' Elements of Theology and Brouwer's intuitionism
The proof of the first proposition of Proclus' Elements of theology is among the most difficult to understand from a formal point of vie...
-
The relationship between the concepts of determinism, predetermination, computability, cardinality, causality and the foundations of the cal...
-
Gödel, criticizing a paper by Turing, remarked on how 'concepts' are grasped by the mind in different ways, that certain concepts c...
-
To us a central problem of philosophy is to elucidate the relationship between the following three domains of (apparent) reality /experience...
Music does not come from the violin, vibrations from the string,
ReplyDeleteBut they do not manifest without them. Just like thoughts without frontal lobes. These are all just artifacts .... :)))