Logique intuitionniste oor Engels
Logique intuitionniste
Vertalings in die woordeboek Frans - Engels
intuitionistic logic
fr
logique mathématique
en
logic
Les formules canoniques ont procuré une méthode uniforme pour la formulation des extensions de la logique intuitionniste et modale.
Canonical formulas have provided a uniform way to formulate extensions of intuitionistic logic as well as modal logics.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
logique intuitionniste
Vertalings in die woordeboek Frans - Engels
intuitionistic logic
Les formules canoniques ont procuré une méthode uniforme pour la formulation des extensions de la logique intuitionniste et modale.
Canonical formulas have provided a uniform way to formulate extensions of intuitionistic logic as well as modal logics.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Il a aussi contribué à la logique intuitionniste.
I went with them up that lane into the woods to look for the panties... but we couldn' t find anything but my glassesWikiMatrix WikiMatrix
Le principe ne tient en général pas en logique intuitionniste.
come over here. lets go. come with me. its okayWikiMatrix WikiMatrix
Il a aussi beaucoup écrit sur la logique intuitionniste et autres logiques non classiques.
The police...... have given upWikiMatrix WikiMatrix
Dummett, M. (1973). « La base philosophique de la logique intuitionniste », trad. fr.
Without facts, you must remain silentLiterature Literature
Cependant la logique intuitionniste est un système logique spécifique, tandis que les logiques paracohérentes forment une famille de systèmes.
I' d like to send them into the sewer tunnel underneath the building, have them run a camera up through that trapdoor in the backWikiMatrix WikiMatrix
Les formules canoniques ont procuré une méthode uniforme pour la formulation des extensions de la logique intuitionniste et modale.
We were leavingcordis cordis
En logique classique (mais aussi en logique intuitionniste et dans la plupart des autres logiques), la contradiction permet de déduire n'importe quelle autre formule de la logique.
Would you please turn around?They' re gonna see usWikiMatrix WikiMatrix
Il était un élève de Luitzen Egbertus Jan Brouwer à l'université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique.
Listen to these lips, FrankWikiMatrix WikiMatrix
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
All right, let' s check it outWikiMatrix WikiMatrix
En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov.
It' s not a good day to open a restaurant?WikiMatrix WikiMatrix
Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Investigations in Logical Deduction » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement.
Allison wants him at GD aliveWikiMatrix WikiMatrix
Sur cette base, le projet CONSTRUMATH («Constructive mathematics: Proof and computation») avait pour objectif de développer la mathématique avec une logique intuitionniste et un fondement ensembliste ou de théorie des types approprié.
I was babbling!Pick me!cordis cordis
Sa philosophie des mathématiques préférée était le formalisme (cf. son livre de 1951), dans la ligne de son mentor Hilbert, mais ses écrits témoignent d'une certaine curiosité philosophique et d'une grande ouverture à la logique intuitionniste.
Say, what' s wrong with this town, anyway?WikiMatrix WikiMatrix
La logique dual-intuitionniste possède un connecteur # dit pseudo-différence qui est le dual de l'implication intuitionniste.
MARKETING AUTHORISATION HOLDERWikiMatrix WikiMatrix
En cohérence, la notion duale de la paracohérence est appelée paracomplétude, et le dual de la logique intuitionniste (une logique paracohérente particulière) est un système appelé anti-intuitionniste ou logique intuitionniste duale (parfoir appelée Brazilian logic logique brésilienne, pour des raisons historiques).
How' s everything going?WikiMatrix WikiMatrix
En théorie constructive des ensembles (en), Myhill est connu pour avoir proposé un système d'axiomes qui évite l'utilisation de l'axiome du choix et le principe du tiers exclu, connu sous le terme de système de Zermelo-Fraenkel intuitionniste (en) en logique intuitionniste.
I already askedWikiMatrix WikiMatrix
Le théorème principal (Corollaire du Théorème 4.1) montre que, dans un 1-calcul typé du second ordre, en utilisant la traduction de Gödel de la logique classique en logique intuitionniste, on peut trouver un type (spécification) très simple pour les opérateurs de mise en mémoire.
I had done that to herspringer springer
Le forcing a été notablement remanié et simplifié dans les années 1960 et s'est révélé être une technique extrêmement puissante, à la fois en théorie des ensembles et dans d'autres branches de la logique mathématique, comme la théorie des modèles ou la logique intuitionniste.
Then you have my blessingWikiMatrix WikiMatrix
Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction.
He wants a penWikiMatrix WikiMatrix
Une troisième raison de s’intéresser aux treillis distributifs est la logique constructive (ou intuitionniste).
No, I don' t know, you idiot whorebagLiterature Literature
Dans cet article, nous analysons la conception de la logique intuitionniste comme une extension de la logique classique.
But very little moneyParaCrawl Corpus ParaCrawl Corpus
La syntaxe de la logique intuitionniste propositionnelle est la même que pour la logique propositionnelle classique.
I thought you were a television actorParaCrawl Corpus ParaCrawl Corpus
Il semble donc naturel de voir les logiques paracohérentes et les logiques intuitionnistes comme duales.
What' s Arthur Trent looking for?ParaCrawl Corpus ParaCrawl Corpus
Cette logique est basée sur une logique intuitioniste d'ordre supérieur et inclut des principes d'induction et de co-induction.
I will have to confiscate your side armParaCrawl Corpus ParaCrawl Corpus
Version topologique du fait que la double négation d’une propriété ne lui est pas nécessairement égale (en logique intuitionniste).
This does not answer the question of educational establishments and industry.ParaCrawl Corpus ParaCrawl Corpus
53 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.