-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove optimal code length section [ci skip]
- Loading branch information
Showing
64 changed files
with
5,808 additions
and
2,812 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,204 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
|
||
<head> | ||
<!-- Global site tag (gtag.js) - Google Analytics --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WR9S0121FQ"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date());gtag('config', 'G-WR9S0121FQ'); | ||
</script> | ||
|
||
<meta charset="utf-8"> | ||
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
|
||
<title>Banach-Tarski - A basic magic of group theory</title> | ||
<meta name="description" content="The Banach-Tarski paradox is a curious theorem from group theory. I was quite taken by it when I first learned of it, and wrote up these self-contained notes..."> | ||
|
||
|
||
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css"> | ||
<script> | ||
window.klipse_settings = { | ||
selector: '.language-eval-clojure', // css selector for the html elements you want to klipsify | ||
selector_reagent: '.language-reagent', // selector for reagent snippets | ||
editor_type: 'codemirror', | ||
codemirror_options_in: { | ||
indentUnit: 2, | ||
lineWrapping: true, | ||
lineNumbers: true, | ||
autoCloseBrackets: true | ||
}, | ||
codemirror_options_out: { | ||
lineWrapping: true, | ||
lineNumbers: false, | ||
readOnly: "true" | ||
}, | ||
// clojure_cached_macro_ns_regexp: /reagent.*/, // the regexp for clojure macro namespaces that are cached | ||
// clojure_cached_ns_regexp: /reagent.*/, // the regexp for clojure namespaces that are cached | ||
}; | ||
</script> | ||
|
||
<!-- Import Vega 5 & Vega-Lite 3 (does not have to be from CDN) --> | ||
<script src="https://cdn.jsdelivr.net/npm/vega@5"></script> | ||
<script src="https://cdn.jsdelivr.net/npm/vega-lite@3"></script> | ||
<!-- Import vega-embed --> | ||
<script src="https://cdn.jsdelivr.net/npm/vega-embed"></script> | ||
<!-- FOR KATEX (https://stackoverflow.com/a/57370526/1676393) --> | ||
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous"> | ||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script> | ||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script> | ||
|
||
|
||
<link rel="stylesheet" href="/css/main.css"> | ||
<link rel="canonical" href="https://jahoo.github.io/2013/05/02/banach-tarski.html"> | ||
<link rel="alternate" type="application/rss+xml" title="jacob louis hoover" href="https://jahoo.github.io/feed.xml"> | ||
|
||
</head> | ||
|
||
|
||
<body> | ||
|
||
<header class="site-header"> | ||
|
||
<div class="wrapper"> | ||
|
||
<a class="site-title" href="/">jacob louis hoover</a> | ||
|
||
<nav class="site-nav"> | ||
<a href="#" class="menu-icon"> | ||
<svg viewBox="0 0 18 15"> | ||
<path fill="#424242" d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z"/> | ||
<path fill="#424242" d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z"/> | ||
<path fill="#424242" d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z"/> | ||
</svg> | ||
</a> | ||
|
||
<div class="trigger"> | ||
|
||
|
||
|
||
|
||
<a class="page-link" href="/">about</a> | ||
|
||
|
||
|
||
|
||
|
||
<a class="page-link" href="/posts.html">posts</a> | ||
|
||
|
||
|
||
<a class="page-link" href="/pubs.html">research</a> | ||
|
||
|
||
<!-- Add CV manually --> | ||
<a class="page-link" href="/assets/CV/jlh-academic_cv.pdf" target="_blank">cv</a> | ||
</div> | ||
</nav> | ||
|
||
</div> | ||
|
||
</header> | ||
|
||
|
||
<div class="page-content"> | ||
<div class="wrapper"> | ||
<div class="post"> | ||
|
||
<header class="post-header"> | ||
<div class="post-title" itemprop="name headline"> | ||
Banach-Tarski - A basic magic of group theory | ||
</div> | ||
<span class="post-meta"> | ||
<time datetime="2013-05-02T00:00:00-04:00" itemprop="datePublished"> | ||
2 May 2013 | ||
</time> | ||
|
||
</span> | ||
<span class="post-tags"> | ||
|
||
- note | ||
|
||
</span> | ||
</header> | ||
|
||
<article class="post-content" itemscope itemtype="http://schema.org/BlogPosting"> | ||
<!-- <div itemprop="articleBody"> --> | ||
<p>The Banach-Tarski paradox is a curious theorem from group theory. I was quite taken by it when I first learned of it, and wrote up <a href="/assets/pdfs/2013.05.02-banach-tarski.pdf">these self-contained notes (PDF)</a>.</p> | ||
|
||
<p>Banach-Tarski shows <em>how to conjure things out of thin air</em> …but not with magic, just with the <a href="https://encyclopediaofmath.org/wiki/Axiom_of_choice">axiom of choice</a>. You also need an infinitely divisible object, but only on short loan, because after you cut it up and reassemble it, you’ll have two!. Basically, it gives a method for taking a ball, cutting it up into many tiny pieces, and then putting the pieces back together to make two balls just identical the one you started with.</p> | ||
|
||
<!-- </div> --> | ||
</article><div><p><hr></p></div> | ||
<div id="disqus_thread"></div> | ||
<script type="text/javascript"> | ||
var disqus_shortname = 'jaclouhoo'; | ||
var disqus_identifier = '/2013/05/02/banach-tarski'; | ||
var disqus_title = '"Banach-Tarski - A basic magic of group theory"'; | ||
(function() { | ||
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; | ||
dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js'; | ||
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); | ||
})(); | ||
</script> | ||
<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript> | ||
|
||
|
||
</div> | ||
|
||
</div> | ||
</div> | ||
|
||
<footer class="site-footer"> | ||
|
||
<div class="wrapper"> | ||
|
||
<!-- <h2 class="footer-heading">jacob louis hoover</h2> | ||
<div class="footer-col-wrapper"> | ||
<div class="footer-col footer-col-1"> | ||
<ul class="contact-list"> | ||
<li>jacob louis hoover</li> | ||
<li><a href="mailto:jacob.hoover@mail.mcgill.ca">jacob.hoover@mail.mcgill.ca</a></li> | ||
</ul> | ||
</div> | ||
<div class="footer-col footer-col-2"> | ||
<ul class="social-media-list"> | ||
</ul> | ||
</div> | ||
<div class="footer-col footer-col-3"> | ||
<p>PhD student in linguistics at McGill University and Mila Québec AI Institute, Montréal. | ||
</p> | ||
</div> | ||
</div> --> | ||
|
||
</div> | ||
|
||
</footer> | ||
|
||
<!-- Global site tag (gtag.js) - Google Analytics --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-140260727-1"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date()); | ||
|
||
gtag('config', 'UA-140260727-1'); | ||
</script> | ||
|
||
|
||
<script src="https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js"></script> | ||
</body> | ||
<script src="https://code.jquery.com/jquery-3.3.1.min.js"></script> | ||
|
||
<!-- Load Common JS (for custom things like abstract hidden / open) --> | ||
<script src="https://jahoo.github.io/assets/js/common.js"></script> | ||
</html> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,191 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
|
||
<head> | ||
<!-- Global site tag (gtag.js) - Google Analytics --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WR9S0121FQ"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date());gtag('config', 'G-WR9S0121FQ'); | ||
</script> | ||
|
||
<meta charset="utf-8"> | ||
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
|
||
<title>An equivalence between generative automata and logical constraints</title> | ||
<meta name="description" content="I gave a presentation to MCQLL, on an an example of the duality of generative systems and constraint-based systems. The particular example I discussed was a..."> | ||
|
||
|
||
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css"> | ||
<script> | ||
window.klipse_settings = { | ||
selector: '.language-eval-clojure', // css selector for the html elements you want to klipsify | ||
selector_reagent: '.language-reagent', // selector for reagent snippets | ||
editor_type: 'codemirror', | ||
codemirror_options_in: { | ||
indentUnit: 2, | ||
lineWrapping: true, | ||
lineNumbers: true, | ||
autoCloseBrackets: true | ||
}, | ||
codemirror_options_out: { | ||
lineWrapping: true, | ||
lineNumbers: false, | ||
readOnly: "true" | ||
}, | ||
// clojure_cached_macro_ns_regexp: /reagent.*/, // the regexp for clojure macro namespaces that are cached | ||
// clojure_cached_ns_regexp: /reagent.*/, // the regexp for clojure namespaces that are cached | ||
}; | ||
</script> | ||
|
||
<!-- Import Vega 5 & Vega-Lite 3 (does not have to be from CDN) --> | ||
<script src="https://cdn.jsdelivr.net/npm/vega@5"></script> | ||
<script src="https://cdn.jsdelivr.net/npm/vega-lite@3"></script> | ||
<!-- Import vega-embed --> | ||
<script src="https://cdn.jsdelivr.net/npm/vega-embed"></script> | ||
<!-- FOR KATEX (https://stackoverflow.com/a/57370526/1676393) --> | ||
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous"> | ||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script> | ||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script> | ||
|
||
|
||
<link rel="stylesheet" href="/css/main.css"> | ||
<link rel="canonical" href="https://jahoo.github.io/2018/11/15/eq-FSA-MSOL.html"> | ||
<link rel="alternate" type="application/rss+xml" title="jacob louis hoover" href="https://jahoo.github.io/feed.xml"> | ||
|
||
</head> | ||
|
||
|
||
<body> | ||
|
||
<header class="site-header"> | ||
|
||
<div class="wrapper"> | ||
|
||
<a class="site-title" href="/">jacob louis hoover</a> | ||
|
||
<nav class="site-nav"> | ||
<a href="#" class="menu-icon"> | ||
<svg viewBox="0 0 18 15"> | ||
<path fill="#424242" d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z"/> | ||
<path fill="#424242" d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z"/> | ||
<path fill="#424242" d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z"/> | ||
</svg> | ||
</a> | ||
|
||
<div class="trigger"> | ||
|
||
|
||
|
||
|
||
<a class="page-link" href="/">about</a> | ||
|
||
|
||
|
||
|
||
|
||
<a class="page-link" href="/posts.html">posts</a> | ||
|
||
|
||
|
||
<a class="page-link" href="/pubs.html">research</a> | ||
|
||
|
||
<!-- Add CV manually --> | ||
<a class="page-link" href="/assets/CV/jlh-academic_cv.pdf" target="_blank">cv</a> | ||
</div> | ||
</nav> | ||
|
||
</div> | ||
|
||
</header> | ||
|
||
|
||
<div class="page-content"> | ||
<div class="wrapper"> | ||
<div class="post"> | ||
|
||
<header class="post-header"> | ||
<div class="post-title" itemprop="name headline"> | ||
An equivalence between generative automata and logical constraints | ||
</div> | ||
<span class="post-meta"> | ||
<time datetime="2018-11-15T00:00:00-05:00" itemprop="datePublished"> | ||
15 Nov 2018 | ||
</time> | ||
|
||
</span> | ||
<span class="post-tags"> | ||
|
||
- presentation | ||
|
||
</span> | ||
</header> | ||
|
||
<article class="post-content" itemscope itemtype="http://schema.org/BlogPosting"> | ||
<!-- <div itemprop="articleBody"> --> | ||
<p>I gave a presentation to <a href="https://mcqll.org/">MCQLL</a>, on an an example of the duality of generative systems and constraint-based systems. The particular example I discussed was a proof of the equivalence in expressive power between Finite state automata (FSA) and monadic second order logic (with a successor function; MSOL[<em>S</em>]). That is, I presented the proof that any language for which there exists an FSA can be described equivalently using constraints written in MSOL[<em>S</em>].</p> | ||
|
||
<p>My slides are <a href="/assets/pdfs/2018.11.15-generative_vs_constraint.pdf">here</a>.</p> | ||
|
||
<!-- </div> --> | ||
</article> | ||
|
||
</div> | ||
|
||
</div> | ||
</div> | ||
|
||
<footer class="site-footer"> | ||
|
||
<div class="wrapper"> | ||
|
||
<!-- <h2 class="footer-heading">jacob louis hoover</h2> | ||
<div class="footer-col-wrapper"> | ||
<div class="footer-col footer-col-1"> | ||
<ul class="contact-list"> | ||
<li>jacob louis hoover</li> | ||
<li><a href="mailto:jacob.hoover@mail.mcgill.ca">jacob.hoover@mail.mcgill.ca</a></li> | ||
</ul> | ||
</div> | ||
<div class="footer-col footer-col-2"> | ||
<ul class="social-media-list"> | ||
</ul> | ||
</div> | ||
<div class="footer-col footer-col-3"> | ||
<p>PhD student in linguistics at McGill University and Mila Québec AI Institute, Montréal. | ||
</p> | ||
</div> | ||
</div> --> | ||
|
||
</div> | ||
|
||
</footer> | ||
|
||
<!-- Global site tag (gtag.js) - Google Analytics --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-140260727-1"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date()); | ||
|
||
gtag('config', 'UA-140260727-1'); | ||
</script> | ||
|
||
|
||
<script src="https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js"></script> | ||
</body> | ||
<script src="https://code.jquery.com/jquery-3.3.1.min.js"></script> | ||
|
||
<!-- Load Common JS (for custom things like abstract hidden / open) --> | ||
<script src="https://jahoo.github.io/assets/js/common.js"></script> | ||
</html> | ||
|
Oops, something went wrong.