<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="wordpress.com" -->
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd"><url><loc>http://xorshammer.com/2011/12/24/generating-functions-as-cardinality-of-set-maps/</loc><lastmod>2011-12-24T21:20:38+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2011/12/15/mathematica-and-quantifier-elimination/</loc><lastmod>2011-12-15T13:06:38+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2011/07/09/a-logical-interpretation-of-some-bits-of-topology/</loc><lastmod>2011-10-03T03:35:37+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2010/09/18/the-spectrum-from-logic-to-probability/</loc><lastmod>2010-09-19T20:05:58+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2010/02/22/two-interesting-observations-about-voting-i-hadnt-seen-until-recently/</loc><lastmod>2010-06-15T15:37:18+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/</loc><lastmod>2010-03-13T16:39:24+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2010/02/17/quantish-physics-a-discrete-model-of-quantum-physics/</loc><lastmod>2011-04-12T20:08:48+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2009/07/19/functions-with-very-low-symmetry-and-the-continuum-hypothesis/</loc><lastmod>2010-07-11T15:44:08+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/about/</loc><lastmod>2011-04-19T20:39:53+00:00</lastmod><changefreq>weekly</changefreq><priority>0.6</priority></url><url><loc>http://xorshammer.com/2009/05/14/a-suite-of-cool-logic-programs/</loc><lastmod>2009-07-20T23:29:47+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2009/04/09/an-interesting-puzzle-in-propositional-logic/</loc><lastmod>2009-04-09T14:20:18+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/10/13/what-would-the-world-look-like-if-everything-was-computable-an-introduction-to-hylands-effective-topos/</loc><lastmod>2010-11-08T02:18:47+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2009/03/23/what-happens-when-you-iterate-godels-theorem/</loc><lastmod>2010-09-03T11:17:47+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/15/axs-theorem/</loc><lastmod>2011-03-08T15:56:47+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/12/20/trigonometric-series-and-the-beginnings-of-set-theory/</loc><lastmod>2011-03-31T13:20:40+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/12/11/a-simple-introduction-to-quantum-groups/</loc><lastmod>2009-02-04T21:19:12+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/11/14/doing-calculus-on-the-rationals-with-the-help-of-nonstandard-analysis/</loc><lastmod>2010-09-06T21:42:48+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/11/09/games-which-are-impossible-to-analyze/</loc><lastmod>2008-11-09T14:38:35+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/10/16/two-puzzles-in-recursion-theory-verbose-sets-and-terse-sets/</loc><lastmod>2008-11-06T11:17:47+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/11/03/how-to-show-that-games-are-hard/</loc><lastmod>2010-07-10T23:10:29+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/09/21/avoiding-set-theoretic-paradoxes-using-symmetry/</loc><lastmod>2008-11-04T04:14:59+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/10/26/another-puzzle-in-recursion-theory-n-enumerable-sets/</loc><lastmod>2008-10-26T17:23:40+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/10/13/when-are-the-real-numbers-necessary/</loc><lastmod>2009-06-17T07:39:08+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/10/07/term-inference/</loc><lastmod>2008-10-17T22:41:36+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/</loc><lastmod>2011-07-16T17:20:25+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/09/29/playing-games-in-the-transfinite-an-introduction-to-ordinal-chomp/</loc><lastmod>2008-10-02T11:08:13+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/09/04/a-geometrically-natural-uncomputable-function/</loc><lastmod>2008-09-27T00:14:37+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/09/14/the-undecidability-of-identities/</loc><lastmod>2010-04-16T16:46:18+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/09/04/integrability-conditions-guest-post/</loc><lastmod>2008-09-05T23:16:37+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/29/non-rigorous-arguments-1-two-formulas-for-e/</loc><lastmod>2012-01-18T18:13:09+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/29/lots-of-fun-math-papers/</loc><lastmod>2008-08-29T19:18:16+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/25/a-curious-application-of-ambiguity-with-respect-to-the-possessive-form/</loc><lastmod>2008-08-25T22:54:58+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/25/almost-a-number-theoretic-miracle/</loc><lastmod>2011-01-17T06:50:29+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/13/loebs-theorem/</loc><lastmod>2008-08-25T04:44:53+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/22/supertasks-and-ordinals/</loc><lastmod>2008-10-02T11:23:35+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/19/great-intro-to-intuitionistic-logic/</loc><lastmod>2008-08-23T16:13:43+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/11/smooth-infinitesimal-analysis/</loc><lastmod>2010-03-05T02:36:50+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/13/kreisels-no-counterexample-interpretation/</loc><lastmod>2008-08-23T16:09:45+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/13/high-school-identities/</loc><lastmod>2008-08-23T16:06:46+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/16/smooth-infinitesimal-analysis2/</loc><lastmod>2008-08-23T16:03:03+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/16/two-different-solutions/</loc><lastmod>2009-02-19T23:06:19+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/18/hardest-logic-puzzle-ever/</loc><lastmod>2010-07-14T20:25:52+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/19/original-goedel/</loc><lastmod>2008-08-23T15:56:22+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/2008/08/21/compute-definite-integral/</loc><lastmod>2008-08-30T12:07:42+00:00</lastmod><changefreq>monthly</changefreq></url><url><loc>http://xorshammer.com/</loc><changefreq>daily</changefreq><priority>1.0</priority><lastmod>2012-01-18T18:13:09+00:00</lastmod></url></urlset>

