"The last big things that we discovered was the constructivist turn in mathematics... to understand that the parts of mathematics that work are computation. That was a very significant discovery in the first half of the 20th century. ...t hasn't fully permeated philosophy and even physics yet. Physicists checked out the code libraries for mathematics before constructivism became universal. ...Gödel himself ...didn't get it yet. Hilbert could get it. Hilbert saw that Cantor's set theoretic experiments in mathematics led him to contradictions, and he noticed that with the current semantics we cannot build a computer in mathematics that runs mathematics without crashing, and Gödel... could prove this."

“Long ago, physics and other natural sciences... had become computational.”

“When the Artificial Intelligence movement set off fifty years ago, it bristled with ideas and optimism, which have arguably both waned since. The field has regressed into a multitude of relatively well insulated domains like logics, neural learning, case based reasoning, artificial life, robotics, agent technologies, semantic web... each with their own goals and methodologies. The decline of the idea of studying intelligence per se, as opposed to designing systems that perform tasks that would require some measure of intelligence in humans, has progressed to such a degree that we must now rename the original AI idea into Artificial General Intelligence.”

“verything else are ideas about the world, and I suspect that they are relatively sparse, and also the intuitive models that we form about social interaction. ...he priors are present in most social animals ... Many domestic social animals ...have better social cognition than children.”

“It's relatively easy to build a neural network that... learns the dynamics. The fact that we haven't done it right so far doesn't mean it's hard... biological organism does it with relatively few neurons. ...ou build a bunch of neural oscillators that entrain themselves with the dynamics of your body is such a way that the regulator becomes isomorphic and it's modeled with the dynamics that it regulates, and then it's automatic. ...t's only interesting in the sense that it captures attention when the system is off .”

“MicroPsi is a cognitive model that represents the author’s attempt to contribute to the discussion of Artificial General Intelligence ...”

“Joscha Bach's home page”