New answers tagged big-picture
3
votes
Proposals for polymath projects
All trees are graceful, probably
A graceful labelling of a (finite) tree with $n$ vertices is a bijection from $\{1,2,\ldots,n\}$ to the vertices of the tree such that each of the numbers in $\{1,2,\...
2
votes
A geometric interpretation of the fractional Fourier transform
For the record, to answer Q2, let me write down the Mehler kernel for the square root of the Fourier transform,
$$K(x,y)=(2\pi)^{-1/2}\sqrt{1-i}\exp\left[{\tfrac{1}{2} i \left(x^2+y^2-2 \sqrt{2} x y\...
- 159k
3
votes
Accepted
Intuition behind Kleene's “second algebra” $\mathcal{K}_2$
There's a bit of explanation in my lecture notes on intuitionistic logic, in particular the section on function realizability.
The idea is that you want to encode continuous partial functions $\mathbb{...
- 3,411
Top 50 recent answers are included