Comments on: Abstraction, Beauty, Math and Applied Category Theory
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory/
Comments on MetaFilter post Abstraction, Beauty, Math and Applied Category TheoryTue, 01 Jan 2019 05:50:31 -0800Tue, 01 Jan 2019 05:50:31 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Abstraction, Beauty, Math and Applied Category Theory
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory
<a href="http://www.mathisintheair.com/eng/2018/12/30/a-quest-for-beauty-and-clear-thinking-interviewing-john-baez/">A quest for beauty and clear thinking. Interviewing John Baez</a> - "John Baez is an American mathematical physicist, and a professor of mathematics at the University of California Riverside, and an activist for the environment. I have been in touch with him via email and through his online course on category theory. Recently, I had the pleasure to met him in person in London, during a conference about Physics and Philosophy dedicated to Emmy Noether."[<a href="https://johncarlosbaez.wordpress.com/2018/09/12/noethers-theorem/">1</a>,<a href="https://twitter.com/johncarlosbaez/status/1076334037726199808">2</a>,<a href="https://www.metafilter.com/175064/Linking-symmetry-and-conservation-laws-she-changed-physics-forever">3</a>] <br /><br /><blockquote>Mathematics seems to attract people who enjoy patterns, who enjoy precision, and who don't want to remember lists of arbitrary facts, like the names of all 206 bones in the human body. In math everything has a reason and you can understand it, so you don't really need to remember much. At first it may seem like there's a lot to remember - for examples, lists of trig identities. But as you go deeper into math, and understand more, everything becomes simpler...
[M]athematicians, like everyone else, need to think about global warming and what we can do about it: it's the crisis of our time. I spent some time learning the basics of climate science and working on some projects connected to that. It became clear that to do anything about global warming we need new ideas in politics[<a href="https://twitter.com/vhollenstein/status/1078788810488627205">4</a>] and economics.[<a href="https://twitter.com/asgeirbt/status/1073562556986482688">5</a>,<a href="https://www.nytimes.com/2018/12/11/fashion/weddings/paul-romer-wins-nobel-prize-and-marries-on-same-day.html">6</a>] Unfortunately, I'm not especially good at those things. So I decided to do something I can actually do, namely to get mathematicians to turn their attention from math inspired by the physics of the microworld - for example string theory - toward math inspired by the visible world around us: biology, ecology, engineering, economics and the like. I'm hoping that mathematicians can solve some problems by thinking more abstractly than anyone else can...
If this were a war, and these were humans dying, this would be the worst war the world has ever seen! But these changes will not merely affect other species; they are starting to hit us too. We need to wake up. We will either deliberately change our civilization, quite quickly, or we will watch as our cities burn and drown. Isn't it better to use that intelligence we humans love to boast about, and take action?</blockquote>
<a href="https://johncarlosbaez.wordpress.com/2018/12/14/applied-category-theory-seminar/">Mathematics in the 21st century</a> - "I'll give an updated synthesized version of these earlier talks of mine, so check out these slides and the links."
<ul><li><a href="http://math.ucr.edu/home/baez/planet/planet_massey.pdf">The mathematics of planet Earth</a>.</li>
<li><a href="http://math.ucr.edu/home/baez/balsillie/balsillie_what.pdf">What is climate change?</a></li>
<li><a href="http://math.ucr.edu/home/baez/ACT2018/">Props in network theory</a>.</li></ul>
also btw, brute force, logic and evolution...
<a href="http://nautil.us/issue/49/the-absurd/chaos-makes-the-multiverse-unnecessary">Chaos Makes the Multiverse Unnecessary</a> - "Rather than looking at the real numbers as central and the octonions as strange larger number systems, think of the octonions as fundamental and all the other number systems as just special subsets of octonions."[<a href="https://twitter.com/johncarlosbaez/status/1038236473810538497">7</a>,<a href="https://motls.blogspot.com/2018/12/readers-unhappy-about-aaronsons-correct.html">8</a>]
<a href="https://www.newyorker.com/magazine/2018/12/10/the-friendship-that-made-google-huge">The Friendship That Made Google Huge</a> - "Jeff and Sanjay gave Google what was arguably its biggest single upgrade in the course of four months in 2003. They did it with a piece of software called MapReduce. The idea came to them the third time they rewrote Google's crawler and indexer. It occurred to them that, each time, they had solved an important problem: coördinating work in a vast number of geographically distributed, individually unreliable computers. Generalizing their solution would mean that they could avoid revisiting the problem again and again."
<a href="https://www.technologyreview.com/s/611568/evolutionary-algorithm-outperforms-deep-learning-machines-at-video-games/">Evolutionary algorithm outperforms deep-learning machines at video games</a> - "It starts with code generated entirely at random. And not just one version of it, but lots of versions, sometimes hundreds of thousands of randomly assembled pieces of code... The evolved code has another advantage. Because it is small, it is easy to see how it works. By contrast, a well-known problem with deep-learning techniques is that it is sometimes impossible to know why they have made particular decisions, and this can have practical and legal ramifications."post:www.metafilter.com,2019:site.178517Tue, 01 Jan 2019 02:34:16 -0800kliulessabstractionbeautymathmathsmathematicsnumbersnetworkscategorytheoryprobabilitystatisticscomputationcomplexitysystemsbiologychemistryphysicsphilosophyecologynaturesciencecausationbruteforceprogramprogrammingprooflogicevolutionJohnBaezBy: sammyo
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7598701
Arrows arrows everywhere, we are all essentially arrows, <a href="https://www.youtube.com/watch?v=43ey8s8EALU">get the point.</a>comment:www.metafilter.com,2019:site.178517-7598701Tue, 01 Jan 2019 05:50:31 -0800sammyoBy: Betelgeuse
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7598725
Cool. I knew John Baez first as the author of the <a href="http://math.ucr.edu/home/baez/crackpot.html">Crackpot Index</a> which is one of those niche things that really rings true if you've spent any time as a professional scientist (particularly in physics or astronomy). He also has written some excellent descriptions of <a href="http://math.ucr.edu/home/baez/physics/Relativity/GR/energy_gr.html">complex physics topics</a>.comment:www.metafilter.com,2019:site.178517-7598725Tue, 01 Jan 2019 07:30:40 -0800BetelgeuseBy: ocschwar
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7598996
I'm committing in 2019 to learn category theory as a stepping stone to being versed in formal verification tools and thus stay relevant and employabvle as a QA-oriented programmer.
So these links are relevant to my interests and I would like to subscribe to your newsletter.comment:www.metafilter.com,2019:site.178517-7598996Tue, 01 Jan 2019 17:25:24 -0800ocschwarBy: atoxyl
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7599066
I'm just here to confirm that John Baez <em>is</em> related to Joan Baez, via <a href="https://en.m.wikipedia.org/wiki/Albert_Baez">Albert Baez</a>. Maybe everybody else already knew that.comment:www.metafilter.com,2019:site.178517-7599066Tue, 01 Jan 2019 20:48:51 -0800atoxylBy: iffthen
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7599130
I've found John Baez to be one of the most approachable mathematicians to read, perhaps because like he mentions, he tries to make his efforts directly and immediately relevant to pressing social / environmental / engineering problems. Not only is his writing enjoyable, his approach to math in society is arguably seen much too infrequently.
And the crackpot index is desperately funny. (It reminds me of a similar "index" floating around maybe the sci.crypt newsgroup a long time ago, where points were awarded for claiming an unbreakable encryption method that wasn't a one-time pad, points were awarded for claiming an unbreakable encryption method but refusing to provide algorithms or source code, and so on.)comment:www.metafilter.com,2019:site.178517-7599130Wed, 02 Jan 2019 03:17:05 -0800iffthenBy: zompist
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7599603
Don't miss <a href="http://math.ucr.edu/home/baez/">John Baez's homepage</a>... there is surely something there for everyone to get lost in all day.
I remember Baez from sci.math and sci.physics back in the '90s— always very smart and understandable.comment:www.metafilter.com,2019:site.178517-7599603Wed, 02 Jan 2019 15:56:36 -0800zompistBy: kliuless
http://www.metafilter.com/178517/Abstraction-Beauty-Math-and-Applied-Category-Theory#7618386
<a href="https://twitter.com/johncarlosbaez/status/1088519045211508737">Applied Category Theory 2019 School</a> :P
"If you attend the Applied Category Theory 2019 school you'll have a chance to work with the one and only BARTOWSZ MILEWSKI, author of Category Theory for Programmers!"comment:www.metafilter.com,2019:site.178517-7618386Thu, 24 Jan 2019 19:03:40 -0800kliuless