Skip to content

Code related to calculatibility: The optimal scientist (aka Goedel machine), probabilistic lambda-calculus, computational cognitive neuroscience, QECCs (quantum error-correcting codes) etc.

Notifications You must be signed in to change notification settings

dohmatob/calculability

Repository files navigation

calculability

Code related to calculatibility: The optimal scientist (aka Goedel machine), probabilistic lambda-calculus, computational cognitive neuroscience, QECCs (quantum error-correcting codes), etc.

Dependencies

I try to keep the dependencies minimal. Please let me know if you think a dep is superficial. Viz:

Useful links

About

Code related to calculatibility: The optimal scientist (aka Goedel machine), probabilistic lambda-calculus, computational cognitive neuroscience, QECCs (quantum error-correcting codes) etc.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published