Apprendre à traduire à partir d'exemples de traductions humaines.
De: Traduction automatique
Suggérer une meilleure traduction
Qualité :
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de gödels eerste onvolledigheidsstelling.
his argument is fundamental in the solution of the halting problem and the proof of gödel's first incompleteness theorem.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
== geschiedenis ==cantor gaf in essentie het hierboven beschreven bewijs in een in 1891 gepubliceerd artikel "Über eine frage der elementare mannigfaltigkeitslehre", waar zijn diagonaalargument voor de onaftelbaarheid van de reéle getallen ook voor het eerst voorkomt (hij had de onaftelbaarheid van de reële getallen eerst op een andere methode bewezen).
== history ==cantor gave essentially this proof in a paper published in 1891 "Über eine elementare frage der mannigfaltigkeitslehre", where the diagonal argument for the uncountability of the reals also first appears (he had earlier proved the uncountability of the reals by other methods).
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent