Symbolic languages and natural structures. A mathematician's account of empiricism (Q2490377)

A philosophical analysis of the relation between the realm of \(L\), i.e. mind as a symbolic language, ``founded in linguistic recursive computation according to the Church-Turing thesis'', and the `Universe' \(U\), or Nature, uncountable (unlike \(L\)) and containing a ``Gray Area'' of observable phenomena. The world of \(L\) serves to mapping \(U.\) The possibility of this mapping is given by the fact that ``the Universe\dots allows for symbolic structures to be stably established and manipulated''. An interesting confrontation with Plato, St. Paul, Kant, Heidegger and many other great philosophers.