Mathematics, therefore, is essentially languageless. It is the activity of effecting non-linguistic constructions out of something that is not of a linguistic nature.
http://plato.stanford.edu/entries/intuitionistic-logic-development/
Experiments, observations, and ideas: tech tools, AI, books, media, daily systems