Besonderhede van voorbeeld: -1685456525254960041

French

Fondamentalement Karp voulait revenir à Gödel de l 'original de la preuve la théorie des définitions récursive de séries de cours, mais en utilisant des notions plus libérales de la preuve afin d'obtenir des généralisations théorie de la récursivité.

Dutch

Eigenlijk wilde Karp om terug te keren naar Gödel 's oorspronkelijke bewijs-theoretische definities van recursieve sets maar uiteraard met behulp van de meer liberale opvattingen van de bewijslast om als generalisaties van recursie theorie.