GOEDEL MACHINE HOME PAGE
more fromwww.idsia.ch
Juergen Schmidhuber's home page - Universal Artificial Intelligence - New AI - Recurrent neural networks - Goedel Machine - Theory of everything - Algorithmic theory of everything - Computable universe - Zuse's thesis - Universal learning algorithms - Uni
more fromwww.idsia.ch
Lambda tutorial
more fromling.ucsd.edu
Abstract Stone Duality
more fromwww.cs.man.ac.uk
The Coq proof assistant
more fromcoq.inria.fr
Algebraic Set Theory
more fromwww.phil.cmu.edu
Notation: * = Private bookmark and comment|… = Clipping [?] | … = Public highlight [?]




