Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Système à minimum de phaseEn traitement du signal et en théorie du contrôle, un système linéaire ne dépendant pas du temps est dit à minimum de phase si ce système et son inverse sont stables et causaux. On parle aussi de filtre à minimum de phase. Pour un système discret, en supposant que la fonction de transfert est rationnelle, ce système est à minimum de phase si et seulement si tous les pôles et zéros de sont à l'intérieur du disque unité. Pour un système continu, la condition pour que ce système soit à minimum de phase est que les pôles et zéros de transmission appartiennent au demi-plan gauche du plan complexe.
Stabilité EBSBLa stabilité EBSB est une forme particulière de stabilité des systèmes dynamiques étudiés en automatique, en traitement du signal et plus spécifiquement en électrotechnique. EBSB signifie Entrée Bornée/Sortie Bornée : si un système est stable EBSB, alors pour toute entrée bornée, la sortie du système l’est également. Un système linéaire invariant et à temps continu dont la fonction transfert est rationnelle et strictement propre est stable EBSB si et seulement si sa réponse impulsionnelle est absolument intégrable, i.
Paul DiracPaul Adrien Maurice Dirac ( à Bristol, Angleterre - à Tallahassee, Floride, États-Unis) est un mathématicien et physicien britannique. Il est l'un des « pères » de la mécanique quantique et a prévu l'existence de l'antimatière. Il est colauréat avec Erwin Schrödinger du prix Nobel de physique de 1933 . Son père, Charles Adrien Ladislas Dirac, est originaire de Saint-Maurice, dans le canton du Valais (Suisse).
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
