dohmatob / calculability Goto Github PK
View Code? Open in Web Editor NEWCode related to calculatibility: The optimal scientist (aka Goedel machine), probabilistic lambda-calculus, computational cognitive neuroscience, QECCs (quantum error-correcting codes) etc.