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.
Série géométriquethumb|Preuve sans mots de l'égalité1/2 + 1/4 + 1/8 + 1/16 + ⋯ = 1 thumb|Illustration de l'égalité 1/4 + 1/16 + 1/64 + 1/256 + ⋯ = 1/3 :chacun des carrés violets mesure 1/4 de la surface du grand carré le plus proche (1/2× = 1/4, 1/4×1/4 = 1/16, etc.). Par ailleurs, la somme des aires des carrés violets est égale à un tiers de la superficie du grand carré. En mathématiques, la série géométrique est l'un des exemples de série numérique les plus simples.
Péché contre l'EspritLe péché contre l'Esprit, quelquefois appelé blasphème contre le Saint-Esprit (grec: τοῦ Πνεύματος βλασφημία tou Pneumatos blasphēmia, latin : blasphemia Spiritus « blasphème de l’Esprit »), est un concept chrétien issu d'une citation de Jésus commune aux trois évangiles synoptiques : « Mais quiconque aura parlé contre l'Esprit saint, cela ne lui sera remis ni en ce monde, ni dans l'autre. » (Mt 12, 31–32), ainsi que d'autres passages du Nouveau Testament notamment Hébreux 6: 4–6, Hébreux 10: 25–31 et 1 Jean 5: 16.
Practical reasonIn philosophy, practical reason is the use of reason to decide how to act. It contrasts with theoretical reason, often called speculative reason, the use of reason to decide what to follow. For example, agents use practical reason to decide whether to build a telescope, but theoretical reason to decide which of two theories of light and optics is the best. Practical reason is understood by most philosophers as determining a plan of action. Thomistic ethics defines the first principle of practical reason as "good is to be done and pursued, and evil is to be avoided.
Christian views on sinIn Christianity, 'sin' is an immoral act considered to be a transgression of divine law. The doctrine of sin is central to the Christian faith, since its basic message is about redemption in Christ. Hamartiology, a branch of Christian theology which is the study of sin, describes sin as an act of offence against God by despising his persons and Christian biblical law, and by injuring others. Christian hamartiology is closely related to concepts of natural law, moral theology and Christian ethics.
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.
IdéeSelon le Trésor de la langue française informatisé, le terme idée évoque « ce que l'esprit conçoit ou peut concevoir, [...] tout ce qui est représenté dans l'esprit, par opposition aux phénomènes concernant l'affectivité ou l'action ». Dans le langage courant et plus particulièrement en créativité heuristique, une idée est une solution nouvelle et adaptée au problème de l'interlocuteur (quelque chose qui résout son problème de façon inattendue, quelque chose d'efficace à quoi il n'avait pas pensé ou qu'il n'avait pas envisagé).
Nombre de masse441px|droite Le nombre de masse (A) est le terme employé en chimie et en physique pour représenter le nombre de nucléons, c'est-à-dire la somme du nombre de protons (numéro atomique Z) et du nombre de neutrons (N) constituant le noyau d'un atome. Par exemple, le noyau du carbone 12 (12C) compte 6 protons et 6 neutrons, son nombre de masse est donc 12 (6 + 6). C'est ce nombre qui détermine la variété isotopique d'un élément chimique. On appelle isotopes des éléments chimiques ayant un même numéro atomique, mais un nombre de neutrons et donc un nombre de masse différents.
Nombre baryoniqueLe est, en physique des particules, un nombre quantique additif invariant. Il peut être défini comme le tiers de la différence entre le nombre de quarks et le nombre d'antiquarks dans le système : où est le nombre de quarks, et est le nombre d'antiquarks. D'un point de vue pratique, on divise par trois afin de faire correspondre le nombre baryonique au nombre de nucléons (protons et neutrons, tous deux constitués de trois quarks). Or, ces particules ont été connues bien avant, et sont plus familières que les quarks.
Numéro atomique400px|droite Le numéro atomique (Z) représente, en chimie et en physique, le nombre de protons d'un atome. Ce dernier peut être schématisé, en première approche, par une agglomération compacte (noyau atomique) de protons (p+) et de neutrons (n), autour de laquelle circulent des électrons (e−). Dans un atome de charge électrique neutre, le nombre d'électrons est égal au numéro atomique. Comme les protons sont les seuls éléments du noyau avec une charge, le nombre de protons est égal au nombre d'électrons.
Principe de raison suffisanteLe principe de raison suffisante est un principe philosophique (ou axiome). Dans sa formulation originelle, par Leibniz, il affirme que « jamais rien n'arrive sans qu'il y ait une cause ou du moins une raison déterminante, c'est-à-dire qui puisse servir à rendre raison a priori pourquoi cela est existant plutôt que non existant et pourquoi cela est ainsi plutôt que de toute autre façon » (Théodicée, I, 44). Le principe de raison suffisante remonte au moins à Saint Thomas d'Aquin qui l'utilise dans la troisième voie pour démontrer l'existence de Dieu par la raison naturelle.
