View source for Paper/Outline of a Mathematical Theory of Computation

{{cite journal
|title=Outline of a Mathematical Theory of Computation
|first=Dana
|last=Scott
|author-link=Dana Scott
|url=https://www.cs.ox.ac.uk/publications/publication3720-abstract.html
|date=January 1, 1970
|publisher=Oxford University Computing Laboratory Programming Research Group
|location=[[Paper/Outline of a Mathematical Theory of Computation|local page]]
}}

<noinclude>
{{#widget:PDF
|url=https://www.cs.ox.ac.uk/files/3222/PRG02.pdf
|height=800
|width=960
}}

As one read this seminal paper/book, it should be noted that this idea is profoundly simple. To help better perceive this simplicity, [[Tai-Danae Bradley]] has a blog entry<ref>{{:Web/The Most Obvious Secret in Mathematics}}</ref> [[Web/The Most Obvious Secret in Mathematics|The Most Obvious Secret in Mathematics]] on this matter. Further more, you can try to visit the page:[[What is a Thing?]]<ref>{{:Paper/What is a Thing?}}</ref><ref>{{:Book/What is a Thing?}}</ref>.

=Assign physical meaning to data=
Once order relationship can be expressed, data can be used to represent causal structures and therefore define decisions and event-based interactions. In other words, it is then possible to assign physical meaning to data. To see how [[order|partial ordering]] may contain physical meaning, please read the paper:[[Paper/Time, Clocks, and the Ordering of Events in a Distributed System|Time, Clocks, and the Ordering of Events in a Distributed System]]<ref>{{:Paper/Time, Clocks, and the Ordering of Events in a Distributed System}}</ref> by [[Leslie Lamport]].

=A personal 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.

{{#widget:Google Document
|id= 1yRD3hYPNsvjeyugoSDl-6x3QeAFRbXaOUNH1nh4bIP8
|width=800
|height=600
}}

=Related Pages=
[[Authored by::Dana Scott]]
[[Category:Logic]]
[[Category:Computation]]
[[Category:Lambda Calculus]]
[[Category:Lattice]]
[[Category:Poset]]
</noinclude>