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.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Fermionic fieldIn quantum field theory, a fermionic field is a quantum field whose quanta are fermions; that is, they obey Fermi–Dirac statistics. Fermionic fields obey canonical anticommutation relations rather than the canonical commutation relations of bosonic fields. The most prominent example of a fermionic field is the Dirac field, which describes fermions with spin-1/2: electrons, protons, quarks, etc. The Dirac field can be described as either a 4-component spinor or as a pair of 2-component Weyl spinors.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Classe socialeLa notion de classe sociale désigne, dans son sens le plus large, un groupe social de grande dimension (ce qui le distingue des simples professions) pris dans une hiérarchie sociale de fait et non de droit (ce qui le distingue des ordres et des castes). Si elle constitue une pièce centrale des critiques anarchiste et marxiste du capitalisme ayant tous deux pour objectif d'instaurer une société sans classes, elle ne leur est pas propre : cette notion fait même partie du lexique sociologique courant.
Modèle de Hubbardvignette|Modèle de Hubbard à deux dimensions. Le modèle de Hubbard est un modèle étudié en théorie de la matière condensée. Il décrit des fermions (généralement des électrons) sur un réseau (en général les atomes qui forment un solide), qui interagissent uniquement lorsqu'ils se trouvent sur le même site (c'est-à-dire sur le même atome). Ce modèle a été introduit en 1963 à peu près simultanément par , Martin C. Gutzwiller et Junjiro Kanamori. Il est parfois appelé modèle de Hubbard-Gutzwiller-Kanamori pour cette raison.
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.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Fermion lourdEn physique du solide, les matériaux à fermions lourds, souvent appelés simplement « fermions lourds », sont une classe particulière d'intermétalliques contenant des atomes ayant des électrons 4f (lanthanides) ou 5f (actinides) dans des bandes incomplètes et qui sont par conséquent porteurs de moments magnétiques localisés. Il s'agit par exemple de cations de cérium, d'ytterbium ou d'uranium dont des électrons 4f ou 5f, provenant d'orbitales f partiellement remplies, interagissent avec les électrons de la bande de conduction de l'intermétallique, formant par hybridation des quasi-particules dont la masse effective est sensiblement supérieure à celle des électrons libres.
Gaz de FermiUn gaz de Fermi idéal est un état de la matière constitué d'un ensemble de nombreux fermions sans interaction. Les fermions sont des particules ayant un spin demi-entier (1/2, 3/2), comme les électrons, les protons et les neutrons ; la propriété essentielle des fermions est de ne pas pouvoir occuper en même temps le même état quantique, en raison du principe d'exclusion de Pauli.
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
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.
Liquide de FermiUn liquide de Fermi est un état quantique de la matière, observé à basse température pour la plupart des solides cristallins bi- et tridimensionnels et dans l'Hélium 3 liquide. Il se caractérise macroscopiquement par des propriétés thermodynamiques, magnétiques, et de transport (ex : conductivité électrique) universelles et correspondant à celles d'un gaz de quasi-particules ayant le même spin-1/2, la même charge, et le même volume sous la surface de Fermi que les électrons (ou les atomes d'Hélium 3), mais une masse renormalisée portant le nom de « masse effective », ainsi que des interactions résiduelles.
FermionEn physique des particules, un fermion (nom attribué par Paul Dirac d'après Enrico Fermi) est une particule de spin demi-entier (c'est-à-dire 1/2, 3/2, 5/2...). Elle obéit à la statistique de Fermi-Dirac. Un fermion peut être une particule élémentaire, tel l'électron, ou une particule composite, tel le proton, ou toutes leurs antiparticules. Toutes les particules élémentaires observées sont soit des fermions, soit des bosons (l'hypothétique matière noire, encore non observée en , n'est actuellement pas catégorisée).
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Classe moyennevignette|L'accès à la propriété (comme l'acquisition d'une résidence) est financièrement possible pour la classe moyenne, mais reste souvent soumise à un emprunt bancaire. vignette|La société des loisirs est une idée encourageant la classe moyenne à multiplier leurs activités en opposition au temps passé à occuper un emploi. La classe moyenne désigne une classe sociale intermédiaire caractérisée par un niveau de richesse supérieur aux classes populaires (classe ouvrière et personnes en situation d'exclusion sociale) mais inférieur à celui de la classe dirigeante (élite entrepreneuriale et administrative).
Effet Hall quantique fractionnaireL'effet Hall quantique fractionnaire (en anglais, fractional quantum Hall effect : FQHE) est une version en mécanique quantique de l'effet Hall, mise en évidence dans les années 1980 par Horst Störmer et Daniel Tsui et explicitée par Robert B. Laughlin, co-lauréats du prix Nobel de physique de 1998. Lorsque le FQHE apparaît dans un système, celui-ci semble composé de particules possédant une fraction de la charge élémentaire. Le FQHE survient dans un gaz d'électrons bi-dimensionnel, lesquels sont en forte interaction.
Énergie de FermiL'énergie de Fermi, EF, en mécanique quantique, est l'énergie du plus haut état quantique occupé dans un système par des fermions à . Parfois, le terme est confondu avec le niveau de Fermi, qui décrit un sujet proche quoique différent, le niveau de Fermi représentant le potentiel chimique des fermions. Ces deux quantités sont les mêmes à , mais diffèrent pour toute autre température.
