Difference between revisions of "Paper/Outline of a Mathematical Theory of Computation"
Jump to navigation
Jump to search
| Line 17: | Line 17: | ||
}} | }} | ||
=An important note= | |||
I manually transcribed the whole document into Google Doc. In theory, this can also be automatically converted to any other document format using [[Pandoc]]. An important point about this document is in its title. If we were to replace the term, [[Computation]] to [[Decision]], this paper would have immediately mean a lot more to mere mortals without any loss of its correctness. | I manually transcribed the whole document into Google Doc. In theory, this can also be automatically converted to any other document format using [[Pandoc]]. An important point about this document is in its title. If we were to replace the term, [[Computation]] to [[Decision]], this paper would have immediately mean a lot more to mere mortals without any loss of its correctness. | ||
Revision as of 08:22, 29 January 2022
Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
An important note
I manually transcribed the whole document into Google Doc. In theory, this can also be automatically converted to any other document format using Pandoc. An important point about this document is in its title. If we were to replace the term, Computation to Decision, this paper would have immediately mean a lot more to mere mortals without any loss of its correctness.