Sandbox
inclusion
include inc:picture |
pictureurl=https://upload.wikimedia.org/wikipedia/commons/e/e7/Booba-Kiki.svg |
heading="Bouba" and "Kiki" |
caption=**Which one is "Bouba" and which one is "Kiki"?** 95% to 98% of participants called the shape on the left "kiki" and the one on the right "bouba". This picture is used as a test to demonstrate that people may not attach sounds to shapes arbitrarily. |
float=right |
link=*http://blog-template.wikidot.com |
picresize=500px
inc:picture
include inc:picture-backend
|float={$float} |float=auto
|pictureurl={$pictureurl} |pictureurl=javascript:;
|link={$link} |link={$pictureurl}
|picresize={$picresize} |picresize=195px
|caption={$caption} |caption=@@
|heading={$heading} |heading=@@
inc:picture-backend
[!-- {$float} --][[[@@|]]][[table style="float:{$float}; border: 1px solid #888; background-color: #FFF; margin-left:5px; margin-right:5px; margin-top:5px; margin-bottom:5px; margin:{$float};"]]
[[row]]
[[cell style="text-align:center; width:{$picresize}; background:#CACACA;"]]
[!-- --]
[!-- {$heading} --][[[@@|]]]**{$heading}**
[!-- --]
[[/cell]]
[[/row]]
[[row]]
[[cell style="width:{$picresize}; text-align:center;"]]
[!-- {$pictureurl} --][[[@@|]]][[image {$pictureurl} link="{$link}" width="{$picresize}" alt="Image Unavailable" style="border:1px solid #999;"]]
[!-- --]
[[/cell]]
[[/row]]
[[row]]
[[cell style="text-align:center; width:{$picresize}; font-size:80%; font-style:italic;"]]
[!-- {$caption} --][[[@@|]]]{$caption}
[!-- --]
[[/cell]]
[[/row]]
[[/table]]
Included page "wiki:element:landing" does not exist (create it now)
Included page "wiki:navbox:main" does not exist (create it now)
|
Collapsible text
[[/collapsible]]
New Thing
Test
Type Theory | Logic | Set Theory | Homotopy Theory |
---|---|---|---|
$A$ | proposition | set | space |
$a : A$ | proof | element | point |
$B(x)$ | predicate | family of sets | fibration |
$b(x) : B(x)$ | conditional proof | family of elements | section |
$0, 1$ | $\top, \bot$ | $\varnothing, \{\varnothing\}$ | $\varnothing, \star$ |
$A + B$ | $A \vee B$ | disjoint union | coproduct of spaces |
$A \times B$ | $A \wedge B$ | set of pairs | product of spaces |
$A \to B$ | $A \implies B$ | set of functions | function space |
$\sum_{(x:A)} B(x)$ | $\exists_{x : A}B(x)$ | disjoint sum | total space |
$\prod_{(x:A)} B(x)$ | $\forall_{x : A}B(x)$ | product | space of sections |
$\mathrm{Id}_x$ | equality | $\{(x,x)\; :\; x \in A\}$ | path space $\mathcal{P}(A)$ |
Comparission of Classical and Modern Models
Classical Model | Deep Learning | |
---|---|---|
Parameters | Identifiable | Nonidentifiable |
Algebra | Linear Algebra | Rings and Ideals |
Geometry | Manifold | Variety |
Asymptotics | Laplace Approximation | Gelfand Zeta Function |
Probability | Central limit theorem | Empirical process (Mixtures) |
Statistics | Statistical Learning Theory | Singular Learning Theory |
page revision: 17, last edited: 17 Mar 2024 19:17