all roads lead to... (where Google finds my wild ideas)

[gusl]

I often have wild ideas, and do Google searches on them. For example, I'll think of a research area that should exist, like "combinatorial proof theory".

Googling often leads me to:

* rbjones.com, especially if my search is about formalization. (see his "The Automation of Reasoning")
* The KLI (Konrad Lorenz Institute) Theory Lab, especially if my search is about evolution.
* assorted webpages containing the word "cybernetics", often The Center Leo Apostel (CLEA)
* Cosma's notebooks
* my own site, perhaps unsurprisingly.