/
ThePrimitiveRecursiveFunctionsareRecursivelyEnumerableStefanKahrsUnive ThePrimitiveRecursiveFunctionsareRecursivelyEnumerableStefanKahrsUnive

ThePrimitiveRecursiveFunctionsareRecursivelyEnumerableStefanKahrsUnive - PDF document

min-jolicoeur
min-jolicoeur . @min-jolicoeur
Follow
369 views
Uploaded On 2017-03-08

ThePrimitiveRecursiveFunctionsareRecursivelyEnumerableStefanKahrsUnive - PPT Presentation

ViewingthenaturalnumbersasGodelnumbersofprfunctionsthesemanticequalitybetweenprfunctionscanbeinterpretedasanequivalencerelationonnaturalnumbersandourquestioncanbeexpressedasisthesetfminnj ID: 523540

ViewingthenaturalnumbersasGodelnumbersofp.r.functions these-manticequalitybetweenp.r.functionscanbeinterpretedasanequivalencerelationonnaturalnumbers andourquestioncanbeexpressedas:isthesetfmin[n]j

Share:

Link:

Embed:


Presentation Transcript

Related Contents


Next Show more