Logicisme oor Nederlands

Logicisme

Vertalings in die woordeboek Frans - Nederlands

Logicisme

wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

Advanced filtering
D'égale importance au cours de cette même période a été de Russell défense de logicisme, la théorie que les mathématiques est importante dans certains sens réductible à la logique.
Even belangrijk in deze periode was het verweer van Russell logicism, de theorie dat de wiskunde was in enkele belangrijke gevoel terug te brengen tot logica.ParaCrawl Corpus ParaCrawl Corpus
À 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é.
Net als Gottlob Frege, Russell basisidee is voor de verdediging logicism was dat nummers kunnen worden geïdentificeerd met klassen van de klassen en dat nummer-theoretische verklaringen kunnen worden uitgelegd in termen van quantoren en identiteit.ParaCrawl Corpus ParaCrawl Corpus
Sa doctrine diffère sensiblement du formalisme de Hilbert et le logicisme de Russell.
Zijn doctrine wezenlijk verschillen van het formalisme van Hilbert en de logicism van Russell.ParaCrawl Corpus ParaCrawl Corpus
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.
Eerste verdedigd in zijn beginselen, en later in meer detail in de Principia Mathematica, Russell logicism bestond uit twee belangrijkste stellingen.ParaCrawl Corpus ParaCrawl Corpus
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.
Zijn bijdragen met betrekking tot wiskunde zijn onder meer zijn ontdekking van Russells paradox, zijn verdediging van logicism (de opvatting dat de wiskunde is, op sommige belangrijke zin, terug te brengen tot formele logica), zijn inleiding van de theorie van de soorten, en zijn raffinage en de eerste populariseren van -order predikaat calculus.ParaCrawl Corpus ParaCrawl Corpus
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.
Deze doelstelling maakt Frege de eerste die volledig ontwikkelen van de thesis van logicism, dat de wiskunde is terug te brengen tot logica.ParaCrawl Corpus ParaCrawl Corpus
6 sinne gevind in 4 ms. Hulle kom uit baie bronne en word nie nagegaan nie.