From professional translators, enterprises, web pages and freely available translation repositories.
this aim makes frege the first to fully develop the main thesis of logicism, that mathematics is reducible to logic.
cet objectif fait de frege le premier à développer pleinement la thèse principale du logicisme, que les mathématiques est réductible à la logique.
first defended in his principles, and later in more detail in principia mathematica, russell's logicism consisted of two main theses.
tout d'abord défendu dans ses principes, et plus tard plus en détail dans principia mathematica, russell du logicisme se compose de deux principales thèses.
logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.
le logicisme est la théorie selon laquelle les mathématiques sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique.
the words of jesus and of pilates in mikhail bulgakov’s the master and margarita sufficiently illustrate the gnostic essence of his logicism, particularly if we are to compare them to borges on the same theme.
les propos de jésus et de pilate dans le maître et marguerite de mikhaïl boulgakov illustrent assez l'essence gnostique de son logicisme, surtout si on les compare à ceux de borges sur le même thème.
like gottlob frege , russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that number-theoretic statements may be explained in terms of quantifiers and identity.
À l'instar de gottlob frege, russell idée de base de la défense a été logicisme que le nombre mai être identifiés avec des classes de classes et le nombre théorique états-mai être expliqué en termes de quantificateurs et de l'identité.
his contributions relating to mathematics include his discovery of russell's paradox, his defence of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his introduction of the theory of types, and his refining and popularizing of the first-order predicate calculus.
ses contributions aux mathématiques incluent la découverte de paradoxe de russell, sa défense de logicisme (la vue est que les mathématiques, dans certains sens important, se réduisant à la logique formelle), son introduction de la théorie des types, et son raffinage et la vulgarisation de la première - afin calcul des prédicats.
