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.
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.
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).
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.
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.
Réflexion totaleEn optique géométrique, le phénomène de réflexion totale survient lorsqu'un rayon lumineux arrive sur la surface de séparation de deux milieux d'indices optiques différents avec un angle d'incidence supérieur à une valeur critique : il n'y a alors plus de rayon réfracté transmis et seul subsiste un rayon réfléchi. Ce phénomène n'intervient que lorsque le rayon lumineux incident se trouve dans un milieu d'indice de réfraction plus grand que l'éventuel rayon réfracté : réfraction de type verre/air par exemple.
É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.
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).
Coefficient de FresnelLes coefficients de Fresnel, introduits par Augustin Jean Fresnel (1788-1827), interviennent dans la description du phénomène de réflexion-réfraction des ondes électromagnétiques à l'interface entre deux milieux, dont l'indice de réfraction est différent. Ils expriment les liens entre les amplitudes des ondes réfléchies et transmises par rapport à l'amplitude de l'onde incidente. On définit le coefficient de réflexion en amplitude r et le coefficient de transmission en amplitude t du champ électrique par : où Ei, Er et Et sont les amplitudes associées respectivement au champ électrique incident, réfléchi et transmis (réfracté).
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.
