This is a minimal package for a pure Julia implementation of tools used in Computability Theory. This is the science involving mathematical models of what it means to compute. This naturally progresses to the idea of complexity: how much memory is used in computing? How long will it take? Does it halt?
-
Notifications
You must be signed in to change notification settings - Fork 1
Pure Julia implementation of tools used in Computability Theory
License
jakewilliami/ComputabilityTheory.jl
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Pure Julia implementation of tools used in Computability Theory
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published