Difference between revisions of "Algebra of Systems"
Jump to navigation
Jump to search
| Line 13: | Line 13: | ||
==Always think positively== | ==Always think positively== | ||
He said the following<ref>[https://youtu.be/8zk0yS8Jp5w?t=1860 Always think positively]</ref>: | He said the following<ref>[https://youtu.be/8zk0yS8Jp5w?t=1860 Always think positively]</ref>: | ||
Only think of what can be achieved, don't think of things that cannot be done. This is the way how enumeration works. Working with the positives. | Don't think of divergence and that. ... Only think of what can be achieved, don't think of things that cannot be done. This is the way how enumeration works. Working with the positives. | ||
=References= | =References= | ||
Revision as of 05:09, 20 January 2022
Algebra of Systems[1] is a paper based on Koo's thesis[2].
A Concise Algebra for automating engineering tasks
This year 2009 paper summarized the following statement in the conclusion:
In Laws of programming[3], Hoare et al. questioned whether a small set of algebraic laws can be directly useful in a practical engineering design problem. The absence of a tool that can bridge the cognitive gap between mathematical abstractions and engineering problems may have been the main reason for their conservative attitude.
The above statement echos who Dana Scott[4] was saying in the 2018 Lambda Conference.
A lookup table as a enumerable function
He said in this lecture[5]:
If that lookup table is enumerable, that is a good definition of say that the enumeration operation is computable. ... So that computability here is on the same plane with enumerability.
Always think positively
He said the following[6]:
Don't think of divergence and that. ... Only think of what can be achieved, don't think of things that cannot be done. This is the way how enumeration works. Working with the positives.
References
- ↑ Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (Nov 16, 2021). "Algebra of Systems as a Meta Language for Model Synthesis and Analysis" (PDF). local page: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS.
- ↑ Koo, Hsueh-Yung Benjamin (31 Jan 2005). A Meta-language for Systems Architecting (PDF) (Ph.D.). local page: MIT. Retrieved July 18, 2021.
- ↑ Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. (Aug 1987). "Laws of Programming" (PDF). 30 (8). local page: ACM.
- ↑ Scott Commenting on a small algebra for combinators
- ↑ If the giant lookup table is enumerable ...
- ↑ Always think positively