Skip to main content

Browse the archive

Revision 992e9b150a5f122ad3064993b4d1a66e36c596f6 authored by Dominique Larchey-Wendling on 28 October 2019, 22:07:51 UTC, committed by Dominique Larchey-Wendling on 28 October 2019, 22:07:51 UTC 
added a universal µ-recursive algorithm of size 8708 and
 
of arity 1 that can decide any H10C problem, hence its own
termination problem must be undecidable
1 parent f190272
Raw File
.gitignore 
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
back to top