Metadata
Author: WikiMatrix
Data
English[en]
In other words: "In the history of mathematical logic most interest has concentrated on infinite structures....Yet, the objects computers have and hold are always finite.
French[fr]
En d'autres termes, et pour citer Immerman : « dans l'histoire de la logique mathématique, l'intérêt s'est porté principalement sur les structures infinies Mais les objets que les ordinateurs contiennent et gèrent sont toujours finis.