Skip to content

Commit be764a0

Browse files
postylempostylem
committed
add précis [ci skip]
1 parent 39c4d97 commit be764a0

File tree

67 files changed

+6050
-2797
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+6050
-2797
lines changed

‎2013/05/02/banach-tarski.html

Lines changed: 204 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,204 @@
1+
<!DOCTYPE html>
2+
<html>
3+
4+
<head>
5+
<!-- Global site tag (gtag.js) - Google Analytics -->
6+
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WR9S0121FQ"></script>
7+
<script>
8+
window.dataLayer = window.dataLayer || [];
9+
function gtag(){dataLayer.push(arguments);}
10+
gtag('js', new Date());gtag('config', 'G-WR9S0121FQ');
11+
</script>
12+
13+
<meta charset="utf-8">
14+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
15+
<meta name="viewport" content="width=device-width, initial-scale=1">
16+
17+
<title>Banach-Tarski - A basic magic of group theory</title>
18+
<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...">
19+
20+
21+
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css">
22+
<script>
23+
window.klipse_settings = {
24+
selector: '.language-eval-clojure', // css selector for the html elements you want to klipsify
25+
selector_reagent: '.language-reagent', // selector for reagent snippets
26+
editor_type: 'codemirror',
27+
codemirror_options_in: {
28+
indentUnit: 2,
29+
lineWrapping: true,
30+
lineNumbers: true,
31+
autoCloseBrackets: true
32+
},
33+
codemirror_options_out: {
34+
lineWrapping: true,
35+
lineNumbers: false,
36+
readOnly: "true"
37+
},
38+
// clojure_cached_macro_ns_regexp: /reagent.*/, // the regexp for clojure macro namespaces that are cached
39+
// clojure_cached_ns_regexp: /reagent.*/, // the regexp for clojure namespaces that are cached
40+
};
41+
</script>
42+
43+
<!-- Import Vega 5 & Vega-Lite 3 (does not have to be from CDN) -->
44+
<script src="https://cdn.jsdelivr.net/npm/vega@5"></script>
45+
<script src="https://cdn.jsdelivr.net/npm/vega-lite@3"></script>
46+
<!-- Import vega-embed -->
47+
<script src="https://cdn.jsdelivr.net/npm/vega-embed"></script>
48+
<!-- FOR KATEX (https://stackoverflow.com/a/57370526/1676393) -->
49+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous">
50+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script>
51+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script>
52+
53+
54+
<link rel="stylesheet" href="/css/main.css">
55+
<link rel="canonical" href="https://jahoo.github.io/2013/05/02/banach-tarski.html">
56+
<link rel="alternate" type="application/rss+xml" title="jacob hoover vigly" href="https://jahoo.github.io/feed.xml">
57+
58+
</head>
59+
60+
61+
<body>
62+
63+
<header class="site-header">
64+
65+
<div class="wrapper">
66+
67+
<a class="site-title" href="/">jacob hoover vigly</a>
68+
69+
<nav class="site-nav">
70+
<a href="#" class="menu-icon">
71+
<svg viewBox="0 0 18 15">
72+
<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"/>
73+
<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"/>
74+
<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"/>
75+
</svg>
76+
</a>
77+
78+
<div class="trigger">
79+
80+
81+
82+
83+
<a class="page-link" href="/">about</a>
84+
85+
86+
87+
88+
89+
<a class="page-link" href="/posts.html">posts</a>
90+
91+
92+
93+
<a class="page-link" href="/pubs.html">research</a>
94+
95+
96+
<!-- Add CV manually -->
97+
<a class="page-link" href="/assets/CV/jlhv-academic_cv.pdf" target="_blank">cv</a>
98+
</div>
99+
</nav>
100+
101+
</div>
102+
103+
</header>
104+
105+
106+
<div class="page-content">
107+
<div class="wrapper">
108+
<div class="post">
109+
110+
<header class="post-header">
111+
<div class="post-title" itemprop="name headline">
112+
Banach-Tarski - A basic magic of group theory
113+
</div>
114+
<span class="post-meta">
115+
<time datetime="2013-05-02T00:00:00-04:00" itemprop="datePublished">
116+
2 May 2013
117+
</time>
118+
119+
</span>
120+
<span class="post-tags">
121+
122+
- note
123+
124+
</span>
125+
</header>
126+
127+
<article class="post-content" itemscope itemtype="http://schema.org/BlogPosting">
128+
<!-- <div itemprop="articleBody"> -->
129+
<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>
130+
131+
<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>
132+
133+
<!-- </div> -->
134+
</article><div><p><hr></p></div>
135+
<div id="disqus_thread"></div>
136+
<script type="text/javascript">
137+
var disqus_shortname = 'jaclouhoo';
138+
var disqus_identifier = '/2013/05/02/banach-tarski';
139+
var disqus_title = '"Banach-Tarski - A basic magic of group theory"';
140+
(function() {
141+
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
142+
dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
143+
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
144+
})();
145+
</script>
146+
<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript>
147+
148+
149+
</div>
150+
151+
</div>
152+
</div>
153+
154+
<footer class="site-footer">
155+
156+
<div class="wrapper">
157+
158+
<!-- <h2 class="footer-heading">jacob hoover vigly</h2>
159+
160+
<div class="footer-col-wrapper">
161+
<div class="footer-col footer-col-1">
162+
<ul class="contact-list">
163+
<li>jacob hoover vigly</li>
164+
<li><a href="mailto:[email protected]">[email protected]</a></li>
165+
</ul>
166+
</div>
167+
168+
<div class="footer-col footer-col-2">
169+
<ul class="social-media-list">
170+
171+
172+
173+
</ul>
174+
</div>
175+
176+
<div class="footer-col footer-col-3">
177+
<p>Postdoc at MIT, Department of Brain and Cognitive Sciences.
178+
</p>
179+
</div>
180+
</div> -->
181+
182+
</div>
183+
184+
</footer>
185+
186+
<!-- Global site tag (gtag.js) - Google Analytics -->
187+
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-140260727-1"></script>
188+
<script>
189+
window.dataLayer = window.dataLayer || [];
190+
function gtag(){dataLayer.push(arguments);}
191+
gtag('js', new Date());
192+
193+
gtag('config', 'UA-140260727-1');
194+
</script>
195+
196+
197+
<script src="https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js"></script>
198+
</body>
199+
<script src="https://code.jquery.com/jquery-3.3.1.min.js"></script>
200+
201+
<!-- Load Common JS (for custom things like abstract hidden / open) -->
202+
<script src="https://jahoo.github.io/assets/js/common.js"></script>
203+
</html>
204+

‎2018/11/15/eq-FSA-MSOL.html

Lines changed: 191 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,191 @@
1+
<!DOCTYPE html>
2+
<html>
3+
4+
<head>
5+
<!-- Global site tag (gtag.js) - Google Analytics -->
6+
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WR9S0121FQ"></script>
7+
<script>
8+
window.dataLayer = window.dataLayer || [];
9+
function gtag(){dataLayer.push(arguments);}
10+
gtag('js', new Date());gtag('config', 'G-WR9S0121FQ');
11+
</script>
12+
13+
<meta charset="utf-8">
14+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
15+
<meta name="viewport" content="width=device-width, initial-scale=1">
16+
17+
<title>An equivalence between generative automata and logical constraints</title>
18+
<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...">
19+
20+
21+
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css">
22+
<script>
23+
window.klipse_settings = {
24+
selector: '.language-eval-clojure', // css selector for the html elements you want to klipsify
25+
selector_reagent: '.language-reagent', // selector for reagent snippets
26+
editor_type: 'codemirror',
27+
codemirror_options_in: {
28+
indentUnit: 2,
29+
lineWrapping: true,
30+
lineNumbers: true,
31+
autoCloseBrackets: true
32+
},
33+
codemirror_options_out: {
34+
lineWrapping: true,
35+
lineNumbers: false,
36+
readOnly: "true"
37+
},
38+
// clojure_cached_macro_ns_regexp: /reagent.*/, // the regexp for clojure macro namespaces that are cached
39+
// clojure_cached_ns_regexp: /reagent.*/, // the regexp for clojure namespaces that are cached
40+
};
41+
</script>
42+
43+
<!-- Import Vega 5 & Vega-Lite 3 (does not have to be from CDN) -->
44+
<script src="https://cdn.jsdelivr.net/npm/vega@5"></script>
45+
<script src="https://cdn.jsdelivr.net/npm/vega-lite@3"></script>
46+
<!-- Import vega-embed -->
47+
<script src="https://cdn.jsdelivr.net/npm/vega-embed"></script>
48+
<!-- FOR KATEX (https://stackoverflow.com/a/57370526/1676393) -->
49+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous">
50+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script>
51+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script>
52+
53+
54+
<link rel="stylesheet" href="/css/main.css">
55+
<link rel="canonical" href="https://jahoo.github.io/2018/11/15/eq-FSA-MSOL.html">
56+
<link rel="alternate" type="application/rss+xml" title="jacob hoover vigly" href="https://jahoo.github.io/feed.xml">
57+
58+
</head>
59+
60+
61+
<body>
62+
63+
<header class="site-header">
64+
65+
<div class="wrapper">
66+
67+
<a class="site-title" href="/">jacob hoover vigly</a>
68+
69+
<nav class="site-nav">
70+
<a href="#" class="menu-icon">
71+
<svg viewBox="0 0 18 15">
72+
<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"/>
73+
<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"/>
74+
<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"/>
75+
</svg>
76+
</a>
77+
78+
<div class="trigger">
79+
80+
81+
82+
83+
<a class="page-link" href="/">about</a>
84+
85+
86+
87+
88+
89+
<a class="page-link" href="/posts.html">posts</a>
90+
91+
92+
93+
<a class="page-link" href="/pubs.html">research</a>
94+
95+
96+
<!-- Add CV manually -->
97+
<a class="page-link" href="/assets/CV/jlhv-academic_cv.pdf" target="_blank">cv</a>
98+
</div>
99+
</nav>
100+
101+
</div>
102+
103+
</header>
104+
105+
106+
<div class="page-content">
107+
<div class="wrapper">
108+
<div class="post">
109+
110+
<header class="post-header">
111+
<div class="post-title" itemprop="name headline">
112+
An equivalence between generative automata and logical constraints
113+
</div>
114+
<span class="post-meta">
115+
<time datetime="2018-11-15T00:00:00-05:00" itemprop="datePublished">
116+
15 Nov 2018
117+
</time>
118+
119+
</span>
120+
<span class="post-tags">
121+
122+
- presentation
123+
124+
</span>
125+
</header>
126+
127+
<article class="post-content" itemscope itemtype="http://schema.org/BlogPosting">
128+
<!-- <div itemprop="articleBody"> -->
129+
<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>
130+
131+
<p>My slides are <a href="/assets/pdfs/2018.11.15-generative_vs_constraint.pdf">here</a>.</p>
132+
133+
<!-- </div> -->
134+
</article>
135+
136+
</div>
137+
138+
</div>
139+
</div>
140+
141+
<footer class="site-footer">
142+
143+
<div class="wrapper">
144+
145+
<!-- <h2 class="footer-heading">jacob hoover vigly</h2>
146+
147+
<div class="footer-col-wrapper">
148+
<div class="footer-col footer-col-1">
149+
<ul class="contact-list">
150+
<li>jacob hoover vigly</li>
151+
<li><a href="mailto:[email protected]">[email protected]</a></li>
152+
</ul>
153+
</div>
154+
155+
<div class="footer-col footer-col-2">
156+
<ul class="social-media-list">
157+
158+
159+
160+
</ul>
161+
</div>
162+
163+
<div class="footer-col footer-col-3">
164+
<p>Postdoc at MIT, Department of Brain and Cognitive Sciences.
165+
</p>
166+
</div>
167+
</div> -->
168+
169+
</div>
170+
171+
</footer>
172+
173+
<!-- Global site tag (gtag.js) - Google Analytics -->
174+
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-140260727-1"></script>
175+
<script>
176+
window.dataLayer = window.dataLayer || [];
177+
function gtag(){dataLayer.push(arguments);}
178+
gtag('js', new Date());
179+
180+
gtag('config', 'UA-140260727-1');
181+
</script>
182+
183+
184+
<script src="https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js"></script>
185+
</body>
186+
<script src="https://code.jquery.com/jquery-3.3.1.min.js"></script>
187+
188+
<!-- Load Common JS (for custom things like abstract hidden / open) -->
189+
<script src="https://jahoo.github.io/assets/js/common.js"></script>
190+
</html>
191+

0 commit comments

Comments
 (0)