Difference between revisions of "Mathematical Semantics"
Jump to navigation
Jump to search
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{WikiEntry|key= Mathematical semantics|qCode=1189746}} is also known as {{WikiEntry|key=denotational semantics|qCode=1189746}}, which implied that this is a form of [[Data Science]]. This field has been attributed to Dana Scott<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref> and Christopher Strachey. | |||
<noinclude> | <noinclude> | ||
| Line 8: | Line 8: | ||
*[[logically related::Meta physics]] | *[[logically related::Meta physics]] | ||
[[Category:Meta physics]] | [[Category:Meta physics]] | ||
[[Category:Scale-free]] | [[Category:Scale-free]] | ||
[[Category:Symmetry]] | [[Category:Symmetry]] | ||
[[Category: | [[Category:Lattice]] | ||
[[Category:Category Theory]] | |||
[[Category:Verification]] | [[Category:Verification]] | ||
[[Category:Validation]] | [[Category:Validation]] | ||
[[Category:Combinatorial Physics]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 15:18, 1 February 2022
Mathematical semantics(Q1189746) is also known as denotational semantics(Q1189746), which implied that this is a form of Data Science. This field has been attributed to Dana Scott[1] and Christopher Strachey.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
Related Pages