1
Eine Programmiersprache, die nur berechenbare bijektive Funktionen implementieren kann?
Gibt es Programmiersprachen (oder Logik), die eine Funktion genau dann implementieren (oder ausdrücken) können, wenn f eine berechenbare bijektive Funktion ist?f: N → N.f:N→Nf:\mathbb{N}\to \mathbb{N}fff