The need for diverse criteria of progress and success How neural networks and evolution avoid getting stuck in local optimaTuring completeness, Popper completeness, and other forms of universalityHuman cogni...

We discuss:Process-oriented fields like economics, evolution, and epistemologyLevels of abstraction and explanation vs. interacting domains of thoughtDifferent measures of complexity - of programs, ideas, organisms...

Godel, Escher, Bach & Hofstadter's focus on self-reference vs. David Deutschs focus on universalityComparing knowledge about what to do vs. what is true, and whether you should ever give adviceWhy the Blind Watchmaker...