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.
Mémoire de travailLe système cognitif fonctionne en acquérant, filtrant et traitant des informations vitales, utiles, potentiellement utiles à court, moyen et long termes ; il a donc besoin de stocker (mémoriser) ces informations. Le cerveau semble pour cela disposer de systèmes différents, mais complémentaires, de mémoire à long terme et de mémoire à court terme. La notion de mémoire de travail, apparue dans les années 1970 désigne .
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.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Colonne corticalevignette|Reconstruction 3D de cinq colonnes corticales dans le cortex vibratoire du rat Une colonne corticale est un groupe de neurones situés dans le cortex cérébral dont les champs de réception sont identiques. D’ailleurs, si on introduit une microélectrode perpendiculairement à travers les différentes couches du cortex visuel, on ne rencontrera par exemple que des neurones qui ont la même préférence d’orientation, qu’ils aient des champs récepteurs simples ou complexes. Il s'agit dans cet exemple d'une colonne d'orientation.
NidationLa nidation consiste pour l'embryon, chez les mammifères placentaires, à s'implanter dans la muqueuse utérine. Cette nidation permettra à l'embryon de développer son placenta en compagnie de la muqueuse utérine de sa mère. Il restera ainsi fixé au corps de cette dernière pendant toute la période de gestation. Chez l'humain, cette nidation a lieu environ six jours après la fécondation. L'embryon, appelé aussi à ce stade blastocyste, s'approche de la muqueuse utérine par son pôle embryonnaire.
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.
Cellule dendritiqueLes cellules dendritiques sont des cellules du système immunitaire présentes au niveau des muqueuses, et qui sont donc parmi les premières cellules exposées à l'environnement extérieur. Elles sont présentes dans l'épiderme (où elles sont appelées cellules de Langerhans), dans les poumons, et dans l'intestin. Elles résident dans les tissus à l’état immature, et ont une morphologie très variée, qui présentent dans certaines conditions, comme leur nom l'indique, des dendrites (des prolongements cytoplasmiques).
Alpha-5 nicotinic acetylcholine receptorThe alpha-5 nicotinic acetylcholine receptor (α5 nAChR) also known as the α5 receptor is a type of ligand gated nicotinic acetylcholine receptor involved in pain regulation. One of the 5 transmembrane subunits of this receptor is the α5 subunit and is transcribed by the CHRNA5 gene. This receptor is commonly associated with nicotine addiction, immunotherapy, cancer, pain and attention. There are two major classes of acetylcholine receptors: nicotinic receptors, which bind to exogenous nicotine, and muscarinic receptors, which bind exogenous muscarine.
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.
