## 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,\...

Community wiki

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

#### Related Tags

big-picture × 358big-list × 67

soft-question × 61

ag.algebraic-geometry × 51

reference-request × 39

nt.number-theory × 37

ct.category-theory × 35

intuition × 25

lo.logic × 23

at.algebraic-topology × 21

ho.history-overview × 18

co.combinatorics × 15

gn.general-topology × 13

dg.differential-geometry × 12

homotopy-theory × 12

set-theory × 11

mathematical-philosophy × 11

mp.mathematical-physics × 10

arithmetic-geometry × 10

examples × 10

ra.rings-and-algebras × 9

sheaf-theory × 9

gm.general-mathematics × 9

computational-complexity × 8

topos-theory × 8