Typentheorie oor Engels
Typentheorie
Vertalings in die woordeboek Nederlands - Engels
type theory
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
In de wiskundige logica zijn de New Foundations of NF (Nederlands: nieuwe grondslagen) een axiomatische verzamelingenleer, die door Willard Van Orman Quine is opgesteld als een vereenvoudiging van de typentheorie uit de Principia Mathematica .
You know what this means?WikiMatrix WikiMatrix
De categorische logica is nu een goed-gedefinieerd gebied dat gebaseerd is op typentheorie voor intuïtionistische logica's, met toepassingen in het functioneel programmeren en de domeintheorie, waar een cartesisch gesloten categorie wordt beschouwd als een niet-syntactische beschrijving van een lambdacalculus.
It' s before six.I' ve gotta goWikiMatrix WikiMatrix
De oudste definitie van de kardinaliteit van een verzameling X (impliciet in Cantor en expliciet in Frege en de Principia Mathematica) is als de verzameling van alle verzamelingen die gelijkmachtig zijn met X: deze definitie gaat echter niet op in ZFC of andere daaraan gerelateerde systemen uit de axiomatische verzamelingenleer, omdat deze collectie te groot is om een verzameling te zijn, maar de definitie gaat wel op in de typentheorie, de New Foundations en daaraan gerelateerde systemen.
I' il be back in a minute, okay, Johnny?ParaCrawl Corpus ParaCrawl Corpus
3 sinne gevind in 2 ms. Hulle kom uit baie bronne en word nie nagegaan nie.