déduire (de)

  • 21Théorème de complétude de gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui… …

    Wikipédia en Français

  • 22arguer — [ argɥe ] v. tr. <conjug. : 1; la conjug. de ce v. est régulière. Le u du radical se prononce dans tous les cas (comme dans tuer); ex. il argue [ argy ] > • 1080 « se presser »; lat. arguere 1 ♦ Littér. Arguer qqch. (de qqch.),en tirer… …

    Encyclopédie Universelle

  • 23décompter — [ dekɔ̃te ] v. <conjug. : 1> • XIIe; de dé et compter 1 ♦ V. tr. Déduire, rabattre d une somme. ⇒ retrancher, soustraire. Je décompte les mille francs d arrhes. 2 ♦ V. intr. Horlog. Sonner en désaccord avec l heure qu indiquent les… …

    Encyclopédie Universelle

  • 24défalquer — [ defalke ] v. tr. <conjug. : 1> • 1384; lat. médiév. defalcare « couper avec la faux » ♦ Retrancher d une somme, d une quantité. ⇒ décompter, déduire . Défalquer ses frais d une somme à payer. ⊗ CONTR. Ajouter, augmenter. ● défalquer verbe …

    Encyclopédie Universelle

  • 25induire — [ ɛ̃dɥir ] v. tr. <conjug. : 38> • XIIIe; réfect. de l a. fr. enduire « amener à l esprit » d apr. lat. inducere « conduire dans, vers » → enduire 1 ♦ Vieilli Amener, encourager à (qqch., faire qqch.). ⇒ conduire, convier, engager, inciter …

    Encyclopédie Universelle

  • 26Descarte — René Descartes « Descartes » redirige ici. Pour les autres significations, voir Descartes (homonymie). René Descartes Philos …

    Wikipédia en Français

  • 27Descartes — René Descartes « Descartes » redirige ici. Pour les autres significations, voir Descartes (homonymie). René Descartes Philos …

    Wikipédia en Français

  • 28Doute méthodique — René Descartes « Descartes » redirige ici. Pour les autres significations, voir Descartes (homonymie). René Descartes Philos …

    Wikipédia en Français

  • 29Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… …

    Wikipédia en Français

  • 30Le théorème de Thalès — Théorème de Thalès  Pour l’article homonyme, voir Théorème de Thalès (cercle).  Configuration possible du théorème Le théorème de Thalès ou théorè …

    Wikipédia en Français