Weird thoughts in my head these days. Are mathematics as a whole a system in the terms of 'Systemtheorie'? If so, how is this compatible with Gödelian externalization/metaization? If I only had the time to explore such issues.. I don't even know where to begin reading. This is on my list -just to get a grip-, can anybody make recommendations?

I just used the tool for the fun of it. It wasn’t harmful, I hope, but I suppose I was disappointed. I wanted to see something magical happen, and it didn’t.
(…)
To really use a wiki, the participants need to be in control of the content- you have to give it over fully.

Heather James on her brilliant failure.

Stimmhorn at Apart Fribourg. Hilarious duet of horn and overtone chant. LISTEN.