Théorie des bifurcationsLa théorie des bifurcations, en mathématiques et en physique est l'étude de certains aspects des systèmes dynamiques. Une bifurcation intervient lorsqu'un petit changement d'un paramètre physique produit un changement majeur dans l'organisation du système. Des exemples classiques d'une bifurcation en sciences pures sont par exemple les rythmes circadiens de populations animales en biologie théorique et les solutions de météo en mathématique et physique non linéaire, en sciences de l'ingénieur il y a aussi le flambage d'une poutre élastique (l'expérience peut être faite avec une règle d'écolier) ou les transitions de phase de matériaux (température critique de bifurcation, concentration critique).
Bifurcation de HopfDans la théorie des bifurcations, une bifurcation de Hopf ou de Poincaré–Andronov–Hopf, des noms de Henri Poincaré, Eberhard Hopf, et Aleksandr Andronov, est une bifurcation locale dans laquelle un point fixe d'un système dynamique perd sa stabilité tandis qu'une paire de valeurs propres complexes conjuguées de la linéarisation autour du point fixe franchissent l'axe imaginaire du plan complexe. Pour un tour d'horizon plus général sur les bifurcations de Hopf et leurs applications notamment en physique et en électronique, voir.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
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.
Arguments sur l'existence de DieuLes arguments sur l'existence de Dieu, en faveur ou en défaveur de son existence, ont été nombreux au cours de l'histoire de la philosophie et de la théologie. Le Dieu dont il est question ici est ce que l'on nomme parfois le Dieu des philosophes, à savoir le Dieu des grandes religions du Livre (judaïsme, christianisme, islam), tel qu'il a été conceptualisé par les philosophes. Ses attributs sont d'être le créateur du monde, omniscient, omnipotent, omniprésent et bon.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Fiber laserA fiber laser (or fibre laser in Commonwealth English) is a laser in which the active gain medium is an optical fiber doped with rare-earth elements such as erbium, ytterbium, neodymium, dysprosium, praseodymium, thulium and holmium. They are related to doped fiber amplifiers, which provide light amplification without lasing. Fiber nonlinearities, such as stimulated Raman scattering or four-wave mixing can also provide gain and thus serve as gain media for a fiber laser.
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.
ExistenceLe terme d'existence en soi est ambigu, il recouvre de multiples sens. Dans le langage trivial il désigne le fait d'être, d'être de manière réelle, il est ainsi utilisé dans un usage tout aussi indéterminé chez beaucoup de philosophes comme équivalent au terme d'« être ». Outre le fait d'exister, il intervient, indique le Petit Larousse, dans plusieurs expressions courantes pour signaler une durée (une longue existence), au sens de vie (être las de son existence), un mode de vie (changer d'existence), etc.
Modèle ΛCDMEn cosmologie, le (se prononce « Lambda CDM », qui signifie en anglais Lambda - Cold Dark Matter, c'est-à-dire le modèle « lambda - matière noire froide ») ou modèle de concordance est un modèle cosmologique du Big Bang paramétré par une constante cosmologique notée par la lettre grecque Λ et associée à l'énergie sombre.
Double-clad fiberDouble-clad fiber (DCF) is a class of optical fiber with a structure consisting of three layers of optical material instead of the usual two. The inner-most layer is called the core. It is surrounded by the inner cladding, which is surrounded by the outer cladding. The three layers are made of materials with different refractive indices. There are two different kinds of double-clad fibers. The first was developed early in optical fiber history with the purpose of engineering the dispersion of optical fibers.
Fiber-optic communicationFiber-optic communication is a method of transmitting information from one place to another by sending pulses of infrared or visible light through an optical fiber. The light is a form of carrier wave that is modulated to carry information. Fiber is preferred over electrical cabling when high bandwidth, long distance, or immunity to electromagnetic interference is required. This type of communication can transmit voice, video, and telemetry through local area networks or across long distances.
Fibre optiqueUne fibre optique est un fil dont l’âme, très fine et faite de verre ou de plastique, a la propriété de conduire la lumière et sert pour la fibroscopie, l'éclairage ou la transmission de données numériques. Elle offre un débit d'information nettement supérieur à celui des câbles coaxiaux et peut servir de support à un réseau « large bande » par lequel transitent aussi bien la télévision, le téléphone, la visioconférence ou les données informatiques.
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.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Système linéaireUn système linéaire (le terme système étant pris au sens de l'automatique, à savoir un système dynamique) est un objet du monde matériel qui peut être décrit par des équations linéaires (équations linéaires différentielles ou aux différences), ou encore qui obéit au principe de superposition : toute combinaison linéaire des variables de ce système est encore une variable de ce système. Les systèmes non linéaires sont plus difficiles à étudier que les systèmes linéaires.
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.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
SolitonUn soliton est une onde solitaire qui se propage sans se déformer dans un milieu non linéaire et dispersif. On en trouve dans de nombreux phénomènes physiques de même qu'ils sont la solution de nombreuses équations aux dérivées partielles non linéaires. thumb|Soliton hydrodynamique. Le phénomène associé a été observé pour la première fois en 1834 par l'Écossais John Scott Russell qui l'a observé initialement en se promenant le long d'un canal : il a suivi pendant plusieurs kilomètres une vague remontant le courant qui ne semblait pas vouloir faiblir.
Nonlinear systemIn mathematics and science, a nonlinear system (or a non-linear system) is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other scientists since most systems are inherently nonlinear in nature. Nonlinear dynamical systems, describing changes in variables over time, may appear chaotic, unpredictable, or counterintuitive, contrasting with much simpler linear systems.
