Naïm Camille Favier on Nostr: nprofile1q…chszg (System T has higher-order primitive recursion, which is strictly ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg (nprofile…hszg) (System T has higher-order primitive recursion, which is strictly more powerful than primitive recursion.)