Your SlideShare is downloading.
×

- 1. Alan Dix http://alandix.com/papers/ICTCS-QQ-2021/ @alanjohndix @CompFoundry Qualitative–Quantitative Reasoning thinking informally about formal things
- 2. Tiree Tiree Tech Wave https://tireetechwave.org/
- 3. the foundry building mission community
- 4. today I am not talking about … • physicality and product design • intelligent internet interfaces • long tail of small data • deep digitality • digital thinking • now • digital light • digital humanities • virtual crackers and slow time • modeling dreams, regret and the emergence of self
- 5. Number theory and things …
- 6. arithmetic mathematics ?
- 7. the qualitative understanding of quantitative phenomena
- 8. Formal models of interactive systems
- 9. Oxymoron? 𝛌 ? = https://en.wikipedia.org/wiki/File:The_Adicts_2011_SO36_03.jpg
- 10. PIE model – abstract properties predict e.g. predictability:
- 11. undo
- 12. more complex undo – the cube
- 13. PIE model – abstract properties predict e.g. predictability:
- 14. Insight! Formal model often not complete or accurate … but still gives insight predict
- 15. Fully Charged
- 16. Electrostatically-charged crop sprays
- 17. Above canopy model ground at 0 V open boundary condition complex sprayer at high voltage + 1000s V charged spray drops model path, speed and space voltage due to drop cloud ?
- 18. Within Canopy Model crop modelled as straight sides ground at bottom +V – charged spray enters crop canopy from above; speed and charge determined by above canopy model.
- 19. Within Canopy Model crop modelled as straight sides ground at bottom +V – charged spray enters crop canopy from above; speed and charge determined by above canopy model.
- 20. Misses crop (Class I)
- 21. Good spread (Class II)
- 22. All at the top (Class III)
- 23. Connect and re-parameterise + 1000s V above crop model within crop model dimesionless parameters
- 24. Design/engineering interventions X
- 25. Order of magnitude day to day Ocean and drops Covid and climate change
- 26. an ocean is made of drops Covid – masks, etc. – action action minimal impact – together reduce growth climate & pollution – each car ride, plastic cup, … minimal difference – together, each year … 1.2 trillion tonnes of ice melt 8 million tonnes of ocean plastic
- 27. Order of magnitude formal Algorithmic complexity Linear programming and sorting What is computation?
- 28. what is computation? information theory entropy independent of mechanism algorithmic complexity measures are system dependent sorting? – n log n lower bound information proof – works for oracles Galois theory feels connected?
- 29. standard Galois field extension ℚ ℝ ℚ(√2) computational Galois sets ℚ0(√2) ℚ∞(√2) ℚ2(√2) ℚ1(√2) ℚ3(√2) … = = reals rationals rationals extended with solution of x2=2 three √2 allowed plain rationals two √2 allowed one √2 allowed any number of √2 allowed
- 30. Numerical models As well as crop spraying … Covid serial interval
- 31. Viral metrics R – how many? Serial interval – how long? time
- 32. Viral metrics R – how many? Serial interval – how long? not plain disease metrics … • about disease in a particular setting: housing, social culture, precautions • interlinked time
- 33. Serial interval – 3 measures Forward (standard) – How long to next infection Backward – How long since infected Effective – During exponential growth R t SI
- 34. Infection time not uniform ⇒ during growth (R > 1) backward SI < effective SI < forward SI
- 35. Monotonic reasoning Shops to politics
- 36. Monotonic arguments Change in shop A – b < A 2D – Poincare property
- 37. Factory Automation
- 38. ↑ more automation ↓ less labour needed ↑ higher productivity ↑ higher prosperity ↓ less employment ↓ lower wages ? people better off ↑ ↓
- 39. ↑ more automation ↓ decline of other companies ↑ more competative ↑ growth of company ↓ less jobs elsewhere ↑ more jobs there ? overall employment ↑ ↓
- 40. Formalising QQR Fuzzy logic, Bayesian methods Allen’s interval algebra
- 41. A B A B precedes meets A B A B starts finishes A B A B contains overlaps A B equal Allen's interval algebra
- 42. Call to arms
- 43. climate change Brexit QQR critical for understanding … in short …. being a C21 citizen covid
- 44. Alan Dix http://alandix.com/QQR/ @alanjohndix @CompFoundry Qualitative–Quantitative Reasoning thinking informally about formal things