Groupe de LorentzLe groupe de Lorentz est le groupe mathématique constitué par l'ensemble des transformations de Lorentz de l'espace de Minkowski. Les formules mathématiques : des lois de la cinématique de la relativité restreinte ; des équations de champ de Maxwell dans la théorie de électromagnétisme ; de l'équation de Dirac dans la théorie de l'électron sont toutes invariantes sous les transformations de Lorentz. En conséquence, le groupe de Lorentz exprimerait la symétrie fondamentale de plusieurs lois de la nature.
Rayonnement électromagnétiquethumb|Répartition du rayonnement électromagnétique par longueur d'onde. Le rayonnement électromagnétique est une forme de transfert d'énergie linéaire. La lumière visible est un rayonnement électromagnétique, mais ne constitue qu'une petite tranche du large spectre électromagnétique. La propagation de ce rayonnement, d'une ou plusieurs particules, donne lieu à de nombreux phénomènes comme l'atténuation, l'absorption, la diffraction et la réfraction, le décalage vers le rouge, les interférences, les échos, les parasites électromagnétiques et les effets biologiques.
Temps (physique)En physique, le temps est défini par une mesure : le temps est ce que mesure une horloge. Une horloge, dans le sens physique du terme, est un instrument de mesure fondé sur un phénomène périodique. Les horloges mesurent des durées, et non un temps absolu, ce concept suffit pour tous les calculs physiques. Le temps est une quantité physique fondamentale dénotée par le symbole . En physique classique, non relativiste, c'est une quantité scalaire.
Effet Shapirovignette|alt=|Vue d'artiste de l'expérience de mesure de l'effet Shapiro réalisée, en 2003, dans le cadre de la mission Cassini-Huygens : la trajectoire de l'onde radioélectrique (en vert) émise par la sonde Cassini est une géodésique. L’effet Shapiro ou retard Shapiro, nommé en l'honneur de l'astrophysicien américain Irwin Ira Shapiro, aussi connu comme le retard de la lumière ou retard gravitationnel de la lumière, est un effet résultant de la relativité générale qui voit le temps d'arrivée d'un signal se propageant dans l'espace affecté par la présence de matière dans son voisinage.
Argument mapAn argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.
Cosmological argumentA cosmological argument, in natural theology, is an argument which claims that the existence of God can be inferred from facts concerning causation, explanation, change, motion, contingency, dependency, or finitude with respect to the universe or some totality of objects. A cosmological argument can also sometimes be referred to as an argument from universal causation, an argument from first cause, the causal argument, or prime mover argument.
Kalam cosmological argumentThe Kalam cosmological argument is a modern formulation of the cosmological argument for the existence of God. It is named after the Kalam (medieval Islamic scholasticism) from which its key ideas originated. William Lane Craig was principally responsible for giving new life to the argument, due to his The Kalām Cosmological Argument (1979), among other writings. The argument's key underpinning idea is the metaphysical impossibility of actual infinities and of a temporally past-infinite universe, traced by Craig to 11th-century Persian Muslim scholastic philosopher Al-Ghazali.
Logique non monotoneUne logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système.
Rasoir d'Ockhamvignette|Frater Occham iste : illustration manuscrite de Guillaume d'Ockham (1341). Le rasoir d'Ockham ou rasoir d'Occam est un principe de raisonnement philosophique entrant dans les concepts de rationalisme et de nominalisme. Le terme vient de « raser » qui, en philosophie, signifie « éliminer des explications non nécessaires d'un phénomène » et du philosophe du Guillaume d'Ockham. Également appelé principe de simplicité, principe d'économie ou principe de parcimonie (en latin « lex parsimoniae »), il peut se formuler comme suit : Une formulation plus moderne est que .