Difference between revisions of "Paper/Outline of a Mathematical Theory of Computation"
| (9 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
|first=Dana | |first=Dana | ||
|last=Scott | |last=Scott | ||
|author-link=Dana Scott | |||
|url=https://www.cs.ox.ac.uk/publications/publication3720-abstract.html | |url=https://www.cs.ox.ac.uk/publications/publication3720-abstract.html | ||
|date=January 1, 1970 | |date=January 1, 1970 | ||
| Line 15: | Line 16: | ||
|width=960 | |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 | {{#widget:Google Document | ||
| Line 21: | Line 30: | ||
|height=600 | |height=600 | ||
}} | }} | ||
=Related Pages= | |||
[[Authored by::Dana Scott]] | |||
[[Category:Logic]] | |||
[[Category:Computation]] | |||
[[Category:Lambda Calculus]] | |||
[[Category:Lattice]] | |||
[[Category:Poset]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 07:36, 13 June 2022
Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
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[1] The Most Obvious Secret in Mathematics on this matter. Further more, you can try to visit the page:What is a Thing?[2][3].
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 partial ordering may contain physical meaning, please read the paper:Time, Clocks, and the Ordering of Events in a Distributed System[4] 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.
Related Pages
- ↑ Bradley, Tai-Danae. The Most Obvious Secret in Mathematics. local page: math3ma.com. Retrieved Feb 24, 2022. Tai-Danae Bradley
- ↑ Döring, A.; Isham, C. (2010). "What is a Thing?". local page: 753–937. ISBN 978-3-642-12821-9.
- ↑ Heidegger, Martin (1967). What is a Thing?. local page: Regenery/Gateway.
- ↑ Lamport, Leslie (July 1978). "Time, Clocks, and the Ordering of Events in a Distributed System" (PDF). 21 (7). local page: Communication of ACM.