Metadata
Author: ParaCrawl Corpus
Data
French[fr]
Kleene développé un large éventail de sujets en calculabilité: la hiérarchie arithmétique, degrés de la calculabilité, computable ordinaires ou hyperarithmetic théorie, automates finis et ensembles réguliers avec des conséquences énormes pour l'informatique, calculabilité supérieur types récursifs sont réalisables pour l'arithmétique intuitionniste avec des conséquences pour philosophie et l'exactitude du programme en informatique.
Dutch[nl]
Kleene ontwikkelde een divers scala aan onderwerpen in computability: het rekenkundig hiërarchie, graden van computability, berekenbaar ordinals en hyperarithmetic theorie, eindige automaten en regelmatige sets met enorme gevolgen voor de informatica, computability op het hoger types, recursieve realiseerbaarheid voor Intuïtionistische rekenen met gevolgen voor de filosofie en voor programma correctheid in de computerwereld.