<div dir="ltr">So all of FRIAM after my post went to the spam folder.<div><br></div><div>It struck me that computer programs are ideal artefacts which have empirical existence.  That is, sort of like math in that they're all airy-fairy, but then sort of like rocks, too.</div><div><br></div><div>If I take a piece of gneiss and break it into pieces, I can send the pieces to all my fellow geologists and we all can perform experiments on our individual pieces and come to a Peircian conclusion about the nature of the rock.  I can do that with a computer program, too, but I just make copies and send them to my fellow nerds, and we can all perform experiments on our individual copies and come to a Peircian conclusion about the nature of the program.</div><div><br></div><div>So math proofs and scientific papers were an earlier form of this, but they don't have an empirical existence, or none that's any help.  We can come to a Peircian conclusion about the weight and number of pages and density of type in the manuscript, but we cannot make it run.  You either understand or you don't, and if you understand, you either agree or you don't.  But the only real existence of the proof or paper is the subjective experience of reading the document, which quickly discourages almost everybody.</div><div><br></div><div>That's a much different experience than gamers trading riffs to try out at tricky points in a game, or climate modelers figuring out how to squeeze another digit of signal out of the noise.  There are still issues of technical competence, but there is an object of study rather than a subject of study, and when people share an object of study, they can independently confirm and extend observations, which can be shared, and so on.  Seems like a kind of multiplier.</div><div><br></div><div>And, of course, some computer programs are just highly refined crap, like gmail's spam filter.</div><div><br></div><div>-- rec --</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Mar 2, 2021 at 4:21 PM Jochen Fromm <<a href="mailto:jofr@cas-group.net">jofr@cas-group.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="auto">Nice article. Steven Strogatz would say it is "the joy of x" - the name of one of his books and his podcast (recommendable by the way)</div><div dir="auto"><a href="https://www.quantamagazine.org/tag/the-joy-of-x" target="_blank">https://www.quantamagazine.org/tag/the-joy-of-x</a></div><div dir="auto"><br></div><div dir="auto">-J.</div><div id="gmail-m_585029040632274071composer_signature" dir="auto"><div style="font-size:85%;color:rgb(87,87,87)" dir="auto"><br></div></div><div><br></div><div align="left" dir="auto" style="font-size:100%;color:rgb(0,0,0)"><div>-------- Original message --------</div><div>From: Roger Critchlow <<a href="mailto:rec@elf.org" target="_blank">rec@elf.org</a>> </div><div>Date: 3/2/21  15:51  (GMT+01:00) </div><div>To: The Friday Morning Applied Complexity Coffee Group <<a href="mailto:Friam@redfish.com" target="_blank">Friam@redfish.com</a>> </div><div>Subject: [FRIAM] what is math? </div><div><br></div></div><div dir="ltr">This essay seems like a literate summary of discussions that Friam's chaotic orbits have visited from time to time.<div><br></div><div><a href="https://www.newyorker.com/culture/culture-desk/what-is-mathematics" target="_blank">https://www.newyorker.com/culture/culture-desk/what-is-mathematics</a><br></div><div><br></div><div>May you dream that you are awake.</div><div><br></div><div>-- rec --</div></div>
</div>- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer" target="_blank">http://friam-comic.blogspot.com/</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
</blockquote></div>