Difference between revisions of "Mathematical Semantics"
Jump to navigation
Jump to search
| 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]] | ||
</noinclude> | </noinclude> | ||
Revision as of 09:41, 3 September 2021
Mathematical semantics is also known as denotational semantics, 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.