« Lambda 5: Modal Logic Inpsires a "Distributed" Programming Language |
| Typographical values »
When selecting research technology, it is often a major exercise to discover what exact assumptions the researcher made. ...
In Control Theory, for a long time, researchers were convinced that practitioners did not want to use their research because there was too much complex math in it. It turned out however that the research was largely irrelevant in practice because it didnâ€™t model a realistic world. The moment researchers started to produce work that explicitly took uncertainty into account, their work was rapidly adopted by engineers and architects. Ironically the math has only grown more complexâ€¦