mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 ·...
TRANSCRIPT
![Page 1: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/1.jpg)
Mathematical practice, crowdsourcing, and social machines
Ursula Martin
University of Oxford
supported by a UK EPSRC Senior Fellowship 2014-‐2017, invesBgaBng the collaboraBve
producBon of mathemaBcs
![Page 2: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/2.jpg)
Formal proofs and crowdsourcing are changing MATHEMATICAL PRACTICE. This project uses SOCIAL SCIENCE methods to analyse CROWDSOURCED MATHEMATICS, with the long term goal of developing a MODEL of the process and building be@er tools to support it
![Page 3: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/3.jpg)
Polymath 8 towards twin primes Live now!!! hSp://Bnyurl.com/k6cuclt Polymath -‐ deep interdisciplinary collabora4ons
Nature 461,15 Octob
er 2009
![Page 4: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/4.jpg)
What next?
![Page 5: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/5.jpg)
Polymath 8 http://tinyurl.com/ktdjgkb
Improve the bound on the least gap between consecu4ve primes that is aDained infinitely oFen, by developing the techniques of Zhang. Bound from 70,000,000 (4/6/13) to 246 (14/4/14) …. a kinda dead end (11/6/13-‐18/6/14) hDp://4nyurl.com/lqfwowc … 4dy up loose ends (14/4/14-‐17/5/14) hDp://4nyurl.com/k6cuclt …. Now wriDen up as two papers on arxiv
![Page 6: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/6.jpg)
Computer proof
Russell and Whitehead, Principia Mathematica, Vol II p79
![Page 7: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/7.jpg)
![Page 8: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/8.jpg)
![Page 9: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/9.jpg)
![Page 10: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/10.jpg)
NASA Formal Methods, Lecture Notes in Computer Science Volume 7226, 2012, pp 85-‐99
![Page 11: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/11.jpg)
![Page 12: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/12.jpg)
![Page 13: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/13.jpg)
![Page 14: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/14.jpg)
Formal proofs and crowdsourcing are changing MATHEMATICAL PRACTICE. This project uses SOCIAL SCIENCE methods to analyse CROWDSOURCED MATHEMATICS, with the long term goal of developing a MODEL of the process and building be@er tools to support it
![Page 15: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/15.jpg)
Face to face collaboraBon Ethnographic study at a research ins4tute • Variety of collabora4ons and outcomes • What makes it work (or not) • Role of shared and private spaces • Nature of informa4on flows • Use of physical and virtual space • Measures of success
![Page 16: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/16.jpg)
![Page 17: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/17.jpg)
![Page 18: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/18.jpg)
Next steps
• Con4nuing study of collabora4on • Philosophy • Ethnography • HCI • Cogni4ve science • AI/computer science
• Model using argumenta4on theory/LCC • Real-‐4me tracking of polymath
![Page 19: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/19.jpg)
![Page 20: Mathematicalpractice,crowdsourcing,! andsocialmachines! · 2020-04-24 · Formal!proofsand!crowdsourcing! arechanging MATHEMATICAL) PRACTICE.!Thisproject!uses SOCIAL)SCIENCE)methodsto!](https://reader033.vdocuments.site/reader033/viewer/2022050607/5fae7e80dda477200079b93b/html5/thumbnails/20.jpg)
Mathematical production 2050??