Ars Mathematica » PeterMcB http://www.arsmathematica.net Dedicated to the mathematical arts. Sat, 28 Feb 2015 21:39:47 +0000 en-US hourly 1 https://wordpress.org/?v=4.1.41 Topological semantics of computer programs http://www.arsmathematica.net/2006/09/02/topological-semantics-of-computer-programs/ http://www.arsmathematica.net/2006/09/02/topological-semantics-of-computer-programs/#comments Sat, 02 Sep 2006 12:59:31 +0000 http://www.arsmathematica.net/archives/2006/09/02/topological-semantics-of-computer-programs/ The latest issue of the e-journal, Electronic Notes in Theoretical Computer Science, has a nice summary article by Michael Huth on his work using topology for computer program semantics (vol. 161, pp. 3–23, 2006).

]]> http://www.arsmathematica.net/2006/09/02/topological-semantics-of-computer-programs/feed/ 0 Hold the front page! http://www.arsmathematica.net/2006/08/16/hold-the-front-page/ http://www.arsmathematica.net/2006/08/16/hold-the-front-page/#comments Wed, 16 Aug 2006 11:20:42 +0000 http://www.arsmathematica.net/archives/2006/08/16/hold-the-front-page/ Continue reading →]]> Today’s Guardian, one of Britain’s leading national daily newspapers, has a front-page story and photo about Grigory Perelman’s proof of a generalization of the Poincare Conjecture.  The article is more about the man than the mathematics, but I guess this is the price of a Page-1 story.

]]> http://www.arsmathematica.net/2006/08/16/hold-the-front-page/feed/ 0 Logic and computer science http://www.arsmathematica.net/2006/08/16/logic-and-computer-science/ http://www.arsmathematica.net/2006/08/16/logic-and-computer-science/#comments Wed, 16 Aug 2006 11:13:11 +0000 http://www.arsmathematica.net/archives/2006/08/16/logic-and-computer-science/ Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science.  It seems that this influence was wider than just that between cylindrical algebras and relational database theory.

]]> http://www.arsmathematica.net/2006/08/16/logic-and-computer-science/feed/ 0 Laws of Form and Bigraphs http://www.arsmathematica.net/2006/07/29/laws-of-form-and-bigraphs/ http://www.arsmathematica.net/2006/07/29/laws-of-form-and-bigraphs/#comments Sat, 29 Jul 2006 13:46:58 +0000 http://www.arsmathematica.net/archives/2006/07/29/laws-of-form-and-bigraphs/ Continue reading →]]> Alerted by a post of sigfpe, I learnt about George Spencer-Brown’s 1972 book Laws of Form.  Reading Louis Kauffman’s account of the theory, I was struck by the similarity to Robin Milner‘s theory of bigraphs (see here for papers). From a talk I heard him give a few years ago, I believe that Milner’s theory was originally intended as a rigorous category-theoretic account of hyperlinks in computer networks.  Has anyone explored the connections between these two mathematical theories?

]]> http://www.arsmathematica.net/2006/07/29/laws-of-form-and-bigraphs/feed/ 0 Data visualization software http://www.arsmathematica.net/2006/06/29/data-visualization-software/ http://www.arsmathematica.net/2006/06/29/data-visualization-software/#comments Thu, 29 Jun 2006 17:19:17 +0000 http://www.arsmathematica.net/archives/2006/06/29/data-visualization-software/ Continue reading →]]> Statisticians among us may be interested in Gapminder, free data visualization software from Sweden developed originally to assist in communicating information about global development. The software makes use of web animation tools such as Flash.

amateur teen sex amateur teen sex video amature teen sex anal sex teen asian teen sex black teen sex blonde teen sex clip of teen sex ebony teen sex free gay teen sex free pre sex teen video free sex teen free sex teen gallery free sex teen video free teen sex free teen sex clip free teen sex gallery free teen sex movie free teen sex pic free teen sex video gay teen sex girl sex teen hardcore sex teen hardcore teen sex hot lesbian teen sex hot teen sex how to have teen sex indian teen sex interracial teen sex lesbian teen sex little teen sex lolita pre teen sex nude teen sex petite teen sex pre teen have sex pre teen incest sex pre teen sex pre teen sex pic redhead teen sex rough teen sex russian teen sex sex education for teen sex teen sex teen video sex teen young teen anal sex teen ass sex teen boy sex teen dog sex teen gay sex teen girl having sex teen girl sex teen group sex teen hardcore sex teen having sex teen homemade sex video teen incest sex teen lesbian have sex teen lesbian having sex teen lesbian sex teen lesbian sex for free teen oral sex teen porn sex teen pussy sex teen sex teen sex chat teen sex clip teen sex forum teen sex gallery teen sex guide teen sex kitten teen sex movie teen sex party teen sex photo teen sex pic teen sex picture teen sex porn teen sex pussy teen sex russian way teen sex site teen sex story teen sex video teen sex vids teen sex xxx teen titans cartoon sex teen titans having sex teen titans sex teen virgin sex thai teen sex under age teen sex young teen sex young teen sex video
]]> http://www.arsmathematica.net/2006/06/29/data-visualization-software/feed/ 0 Plus magazine #39 http://www.arsmathematica.net/2006/06/16/plus-magazine-39/ http://www.arsmathematica.net/2006/06/16/plus-magazine-39/#comments Fri, 16 Jun 2006 09:22:24 +0000 http://www.arsmathematica.net/archives/2006/06/16/plus-magazine-39/ The latest issue of Plus Magazine is now out, with articles about Godel and NASA.

]]> http://www.arsmathematica.net/2006/06/16/plus-magazine-39/feed/ 0 Wanted: game theorists http://www.arsmathematica.net/2006/06/13/wanted-game-theorists/ http://www.arsmathematica.net/2006/06/13/wanted-game-theorists/#comments Tue, 13 Jun 2006 19:28:02 +0000 http://www.arsmathematica.net/archives/2006/06/13/wanted-game-theorists/ Continue reading →]]> The University of Liverpool (UK) has a vacancy for a post-doc researcher and for a PhD student, both in automated mechanism design. The expertise we are looking for includes game theory, mechanism design and auction theory, mathematical economics, and computational versions of same.  These posts are part of a major UK research project on market-based control of complex computational systems.

Details here and here.

]]> http://www.arsmathematica.net/2006/06/13/wanted-game-theorists/feed/ 0 LMS Popular Math Lectures http://www.arsmathematica.net/2006/05/31/lms-popular-math-lectures/ http://www.arsmathematica.net/2006/05/31/lms-popular-math-lectures/#comments Wed, 31 May 2006 11:15:23 +0000 http://www.arsmathematica.net/archives/2006/05/31/lms-popular-math-lectures/ For readers in the UK, the London Mathematical Society (LMS) is offering two lectures on popular mathematics in London and Birmingham this summer.   

]]> http://www.arsmathematica.net/2006/05/31/lms-popular-math-lectures/feed/ 0 Mathematics and art http://www.arsmathematica.net/2006/05/31/mathematics-and-art/ http://www.arsmathematica.net/2006/05/31/mathematics-and-art/#comments Wed, 31 May 2006 11:10:59 +0000 http://www.arsmathematica.net/archives/2006/05/31/mathematics-and-art/ The AMS has a new page devoted to mathematics and art.

]]> http://www.arsmathematica.net/2006/05/31/mathematics-and-art/feed/ 1 Win an iPod for writing about math http://www.arsmathematica.net/2006/05/09/win-an-ipod-for-writing-about-math/ http://www.arsmathematica.net/2006/05/09/win-an-ipod-for-writing-about-math/#comments Tue, 09 May 2006 14:14:31 +0000 http://www.arsmathematica.net/archives/2006/05/09/win-an-ipod-for-writing-about-math/ Plus Magazine has a competition for new writers about mathematical subjects.

]]> http://www.arsmathematica.net/2006/05/09/win-an-ipod-for-writing-about-math/feed/ 0