This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
Bon, je suis persuadé qu'on ne peut pas algorithmiquement décider si une fonction f: (2^ℕ)^rec → 2 (totale) calculable prend la valeur 1, où (2^ℕ)^rec est l'ensemble des fonctions ℕ → 2 (totales) calculables (fournies à f par leur code, sachant que f a l'obligation d'être extensionnelle). …
2025-06-06T23:18:52.447Z