87 relations: Al-Karaji, Algèbre, Alhazen, Analyse non standard, Arbre (mathématiques), Archive for History of Exact Sciences, Augustin Louis Cauchy, Axiome, Axiomes de Peano, Éléments (Euclide), Éléments d'histoire des mathématiques, Bhāskara II, Blaise Pascal, Bulletin of the American Mathematical Society, Carré parfait, Combinatoire, Congruence sur les entiers, Conjecture de Goldbach, Démonstration (logique et mathématiques), Emil Artin, Ensemble bien ordonné, Entier naturel, Euclide, Extremum, Florian Cajori, Fonction convexe, Fonction gamma, Formulaire de mathématiques, Formule du binôme de Newton, Francesco Maurolico, Gallica, Gábor Szegő, George Pólya, Gersonide, Giovanni Vacca, Giuseppe Peano, Hans Freudenthal, Henri Poincaré, Hermann Günther Grassmann, Ibn Yahyā al-Maghribī al-Samaw'al, Id est, Identité remarquable, Inégalité arithmético-géométrique, Induction structurelle, Informatique, Isis (revue), Jacques Bernoulli, Jean Bernoulli, Jean Itard (historien), Jean van Heijenoort, ..., John Wallis, Kurt Gödel, Langage formel, Livre IX des Éléments d'Euclide, Logique et raisonnement mathématique, Logique mathématique, Mathématiques, Méthode chakravala, Méthode de descente infinie, Moritz Cantor, Moyen Âge, Nicolas Bourbaki, Nombre ordinal, Nombre premier, Ordre total, Paul Halmos, Pierre de Fermat, Puissance de deux, Raisonnement, Récurrence transfinie, Relation bien fondée, Relation d'ordre, Richard Dedekind, Roshdi Rashed, Serge Lang, Somme vide, Suite définie par récurrence, Suite de Fibonacci, Théorème d'Euclide sur les nombres premiers, Théorème de Goodstein, Théorèmes d'incomplétude de Gödel, Théorie axiomatique, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, The American Mathematical Monthly, Traité du triangle arithmétique, Victor J. Katz. Développer l'indice (37 plus) »
Al-Karaji
Abu Bakr Muhammad ibn al-Hasan al-Karaji ou Al-Karkhi, né à la fin du, mort au début du, est un mathématicien et ingénieur Persan qui a vécu et travaillé à Bagdad.
Nouveau!!: Raisonnement par récurrence et Al-Karaji · Voir plus »
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques.
Nouveau!!: Raisonnement par récurrence et Algèbre · Voir plus »
Alhazen
Alhazen ou Alhacen, de son vrai nom Ibn al-Haytham ou de son nom complet Abu Ali al-Hasan ibn al-Hasan ibn al-Haytham (en arabe: أبو علي الحسن بن الحسن بن الهيثم) Abū ʿAlī al-Ḥassan ibn al-Ḥassan ibn al-Haytham (en persan texte, en arabe texte), aussi connu parfois sous le nom dAl-Hassan et, sous forme latinisée, d'Alhazen.
Nouveau!!: Raisonnement par récurrence et Alhazen · Voir plus »
Analyse non standard
En mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse.
Nouveau!!: Raisonnement par récurrence et Analyse non standard · Voir plus »
Arbre (mathématiques)
En mathématiques, un arbre est la donnée d'un ensemble E et d'une relation symétrique R sur E telle que deux points distincts quelconques x et y de E soient reliés par un seul chemin injectif fini, ie n+1 points z0,...,zn de E distincts vérifiant x.
Nouveau!!: Raisonnement par récurrence et Arbre (mathématiques) · Voir plus »
Archive for History of Exact Sciences
est une revue scientifique trimestrielle évaluée par les pairs éditée par Springer Science+Business Media, couvrant l'histoire des mathématiques, l'histoire des observations et des techniques en astronomie, l'épistémologie et la philosophie des sciences, de l'antiquité à aujourd'hui.
Nouveau!!: Raisonnement par récurrence et Archive for History of Exact Sciences · Voir plus »
Augustin Louis Cauchy
Augustin Louis, baron Cauchy, né à Paris le et mort à Sceaux le, est un mathématicien français, membre de l’Académie des sciences et professeur à l’École polytechnique.
Nouveau!!: Raisonnement par récurrence et Augustin Louis Cauchy · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Raisonnement par récurrence et Axiome · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Raisonnement par récurrence et Axiomes de Peano · Voir plus »
Éléments (Euclide)
texte.
Nouveau!!: Raisonnement par récurrence et Éléments (Euclide) · Voir plus »
Éléments d'histoire des mathématiques
Éléments d'histoire des mathématiques est un livre regroupant les notes historiques des différents livres des Éléments de mathématique de Nicolas Bourbaki.
Nouveau!!: Raisonnement par récurrence et Éléments d'histoire des mathématiques · Voir plus »
Bhāskara II
Bhāskara II (1114-1185), aussi appelé Bhāskarācārya (« Bhaskara le précepteur ») était un mathématicien indien.
Nouveau!!: Raisonnement par récurrence et Bhāskara II · Voir plus »
Blaise Pascal
Blaise Pascal, né le à Clermont (devenue Clermont-Ferrand) en Auvergne et mort le à Paris, est un polymathe: mathématicien, physicien, inventeur, philosophe, moraliste et théologien français.
Nouveau!!: Raisonnement par récurrence et Blaise Pascal · Voir plus »
Bulletin of the American Mathematical Society
Le Bulletin of the American Mathematical Society, souvent abrégé Bull.
Nouveau!!: Raisonnement par récurrence et Bulletin of the American Mathematical Society · Voir plus »
Carré parfait
En mathématiques, un carré parfait (ou nombre carré s'il est non nul, voire simplement carré s'il n'y a pas ambiguïté) est le carré d'un entier.
Nouveau!!: Raisonnement par récurrence et Carré parfait · Voir plus »
Combinatoire
En mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements.
Nouveau!!: Raisonnement par récurrence et Combinatoire · Voir plus »
Congruence sur les entiers
La congruence sur les entiers est une relation pouvant unir deux entiers.
Nouveau!!: Raisonnement par récurrence et Congruence sur les entiers · Voir plus »
Conjecture de Goldbach
La conjecture de Goldbach est l'assertion mathématique qui s’énonce comme suit: Formulée en 1742 par Christian Goldbach, c’est l’un des plus vieux problèmes non résolus de la théorie des nombres et des mathématiques.
Nouveau!!: Raisonnement par récurrence et Conjecture de Goldbach · Voir plus »
Démonstration (logique et mathématiques)
consulté le.
Nouveau!!: Raisonnement par récurrence et Démonstration (logique et mathématiques) · Voir plus »
Emil Artin
Emil Artin (à Vienne, à Hambourg) est un mathématicien autrichien.
Nouveau!!: Raisonnement par récurrence et Emil Artin · Voir plus »
Ensemble bien ordonné
En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite: Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables.
Nouveau!!: Raisonnement par récurrence et Ensemble bien ordonné · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Raisonnement par récurrence et Entier naturel · Voir plus »
Euclide
Euclide (en Eukleídês), dit parfois Euclide d'Alexandrie, est un mathématicien de la Grèce antique, auteur d’un traité de mathématiques, qui constitue l'un des textes fondateurs de cette discipline en Occident.
Nouveau!!: Raisonnement par récurrence et Euclide · Voir plus »
Extremum
Un extremum (pluriel extrema ou extremums), ou extrémum (pluriel extrémums), est une valeur extrême, soit maximum, soit minimum.
Nouveau!!: Raisonnement par récurrence et Extremum · Voir plus »
Florian Cajori
Florian Cajori (né le à Saint-Aignan près de Thusis en Suisse, mort le à Berkeley en Californie aux États-Unis) est un historien des mathématiques, véritable fondateur de cette discipline aux États-Unis, et auteur dans ce domaine d'ouvrages qui ont fait date.
Nouveau!!: Raisonnement par récurrence et Florian Cajori · Voir plus »
Fonction convexe
Fonction convexe. En mathématiques, une fonction réelle d'une variable réelle est dite convexe.
Nouveau!!: Raisonnement par récurrence et Fonction convexe · Voir plus »
Fonction gamma
En mathématiques, la fonction gamma (notée par la lettre grecque majuscule gamma de l'alphabet grec) est une fonction utilisée communément, qui prolonge la fonction factorielle à l'ensemble des nombres complexes.
Nouveau!!: Raisonnement par récurrence et Fonction gamma · Voir plus »
Formulaire de mathématiques
Page de garde de la cinquième édition du ''Formulaire'', 1908. Le Formulaire de mathématiques est une œuvre dirigée par Giuseppe Peano, et rédigée par celui-ci et ses collaborateurs, parmi ceux-ci, Mario Pieri, Alessandro Padoa, Giovanni Vacca, Gino Fano, Cesare Burali-Forti, etc.
Nouveau!!: Raisonnement par récurrence et Formulaire de mathématiques · Voir plus »
Formule du binôme de Newton
Visualisation de l'expansion binomiale La formule du binôme de Newton est une formule mathématique donnée par Isaac Newton pour trouver le développement d'une puissance entière quelconque d'un binôme.
Nouveau!!: Raisonnement par récurrence et Formule du binôme de Newton · Voir plus »
Francesco Maurolico
Francesco Maurolico (Franciscus Maurolycus en Latin, Φραγκίσκος Μαυρολύκος en Grec, François Maurolyc chez Marin Mersenne et Pierre de Fermat, Marulle sous la plume d'Étienne Pascal), né à Messine le, mort à Messine le 21 ou, est un mathématicien et un astronome italien connu pour ses travaux et traductions d'auteurs anciens en géométrie, optique, coniques, mécanique, musique, et astronomie.
Nouveau!!: Raisonnement par récurrence et Francesco Maurolico · Voir plus »
Gallica
Gallica est la bibliothèque numérique de la Bibliothèque nationale de France et de ses partenaires.
Nouveau!!: Raisonnement par récurrence et Gallica · Voir plus »
Gábor Szegő
Gábor Szegő (hongrois), né le à Kunhegyes en Autriche-Hongrie (aujourd'hui Hongrie) et mort le à Palo Alto en Californie, est un mathématicien hongrois, spécialiste en analyse.
Nouveau!!: Raisonnement par récurrence et Gábor Szegő · Voir plus »
George Pólya
George (György) Pólya, né à Budapest (Hongrie) le dans une famille juive hongroise convertie au catholicisme en 1886 et mort à Palo Alto (États-Unis) le, est un mathématicien américain d'origine hongroise et suisse.
Nouveau!!: Raisonnement par récurrence et George Pólya · Voir plus »
Gersonide
Rabbi Levi ben Gershom ou Gersonide, né en 1288 à Bagnols-sur-Cèze (France) et mort le, connu sous l'acronyme de son nom Ralbag, il est l'un des plus importants commentateurs bibliques de son temps, il était également mathématicien, astronome, philosophe et médecin.
Nouveau!!: Raisonnement par récurrence et Gersonide · Voir plus »
Giovanni Vacca
Giovanni Vacca (né le à Gênes et mort le à Rome) fut d'abord mathématicien, s'intéressa à l'histoire des sciences, puis fit carrière comme sinologue.
Nouveau!!: Raisonnement par récurrence et Giovanni Vacca · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Raisonnement par récurrence et Giuseppe Peano · Voir plus »
Hans Freudenthal
Hans Freudenthal (–) était un mathématicien juif allemand, naturalisé néerlandais, spécialiste en topologie algébrique mais dont les contributions ont largement débordé ce domaine.
Nouveau!!: Raisonnement par récurrence et Hans Freudenthal · Voir plus »
Henri Poincaré
Henri Poincaré est un mathématicien, physicien théoricien et philosophe des sciences français, né le à Nancy et mort le à Paris.
Nouveau!!: Raisonnement par récurrence et Henri Poincaré · Voir plus »
Hermann Günther Grassmann
Hermann Günther Grassmann (né le à Stettin et mort le dans la même ville) est un mathématicien et indianiste prussien.
Nouveau!!: Raisonnement par récurrence et Hermann Günther Grassmann · Voir plus »
Ibn Yahyā al-Maghribī al-Samaw'al
Ibn Yahyā al-Maghribī al-Samaw'al est un mathématicien et médecin de langue arabe né à Fès vers 1130 et mort à Maragha vers 1180.
Nouveau!!: Raisonnement par récurrence et Ibn Yahyā al-Maghribī al-Samaw'al · Voir plus »
Id est
L'expression latine id est signifie « c’est-à-dire ».
Nouveau!!: Raisonnement par récurrence et Id est · Voir plus »
Identité remarquable
Représentation graphique de l'identité remarquable (a+b)^3.
Nouveau!!: Raisonnement par récurrence et Identité remarquable · Voir plus »
Inégalité arithmético-géométrique
AO ≥ GQ. En mathématiques, l'inégalité arithmético-géométrique (IAG) établit un lien entre la moyenne arithmétique et la moyenne géométrique.
Nouveau!!: Raisonnement par récurrence et Inégalité arithmético-géométrique · Voir plus »
Induction structurelle
En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets.
Nouveau!!: Raisonnement par récurrence et Induction structurelle · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Raisonnement par récurrence et Informatique · Voir plus »
Isis (revue)
Isis est une revue scientifique avec évaluation par les pairs publiée par l’University of Chicago Press en anglais.
Nouveau!!: Raisonnement par récurrence et Isis (revue) · Voir plus »
Jacques Bernoulli
Jacques ou Jakob Bernoulli (27 décembre 1654 - 16 août 1705) est un mathématicien et physicien suisse (né et mort à Bâle), frère de Jean Bernoulli et oncle de Daniel Bernoulli et Nicolas Bernoulli.
Nouveau!!: Raisonnement par récurrence et Jacques Bernoulli · Voir plus »
Jean Bernoulli
Jean Bernoulli, Johann Bernoulli, né le à Bâle où il est mort le, est un mathématicien et physicien suisse.
Nouveau!!: Raisonnement par récurrence et Jean Bernoulli · Voir plus »
Jean Itard (historien)
Jean Itard, né le à Serrières en Ardèche, mort le à Paris, est un historien des mathématiques français et un grand spécialiste des.
Nouveau!!: Raisonnement par récurrence et Jean Itard (historien) · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Raisonnement par récurrence et Jean van Heijenoort · Voir plus »
John Wallis
John Wallis, né le à Ashford, et mort le à Oxford, est un astronome et mathématicien anglais.
Nouveau!!: Raisonnement par récurrence et John Wallis · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Raisonnement par récurrence et Kurt Gödel · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Raisonnement par récurrence et Langage formel · Voir plus »
Livre IX des Éléments d'Euclide
Le livre IX des Éléments d'Euclide poursuit l'étude de l'arithmétique, commencée dans les livres VII et VIII.
Nouveau!!: Raisonnement par récurrence et Livre IX des Éléments d'Euclide · Voir plus »
Logique et raisonnement mathématique
La logique est le fondement du raisonnement mathématique.
Nouveau!!: Raisonnement par récurrence et Logique et raisonnement mathématique · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Raisonnement par récurrence et Logique mathématique · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Raisonnement par récurrence et Mathématiques · Voir plus »
Méthode chakravala
En mathématiques et plus précisément en arithmétique, la méthode chakravala est un algorithme pour résoudre l'équation de Pell-Fermat.
Nouveau!!: Raisonnement par récurrence et Méthode chakravala · Voir plus »
Méthode de descente infinie
La méthode de descente infinie ou méthode de descente infinie de Fermat est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie.
Nouveau!!: Raisonnement par récurrence et Méthode de descente infinie · Voir plus »
Moritz Cantor
Moritz Benedikt Cantor (à Mannheim – à Heidelberg), à ne pas confondre avec Georg Cantor, son compatriote et contemporain, fut le premier professeur d'histoire des mathématiques en Allemagne.
Nouveau!!: Raisonnement par récurrence et Moritz Cantor · Voir plus »
Moyen Âge
371x371px 347x347px 280x280pxLe Moyen Âge est une période de l'histoire de l'Europe, s'étendant du début du à la fin du, qui débute avec le déclin de l'Empire romain d'Occident et se termine par la Renaissance et les grandes découvertes.
Nouveau!!: Raisonnement par récurrence et Moyen Âge · Voir plus »
Nicolas Bourbaki
Nicolas Bourbaki est un mathématicien imaginaire, sous le nom duquel un groupe de mathématiciens francophones, formé en 1935 à Besse (Puy-de-Dôme) sous l'impulsion d'André Weil, a commencé à écrire et à éditer des textes mathématiques à la fin des.
Nouveau!!: Raisonnement par récurrence et Nicolas Bourbaki · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Raisonnement par récurrence et Nombre ordinal · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Raisonnement par récurrence et Nombre premier · Voir plus »
Ordre total
En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que \forall x,y\in E\quad x\le y\texty\le x. On dit alors que E est totalement ordonné par ≤.
Nouveau!!: Raisonnement par récurrence et Ordre total · Voir plus »
Paul Halmos
Paul Richard Halmos (à Budapest en Hongrie -), est un mathématicien américain.
Nouveau!!: Raisonnement par récurrence et Paul Halmos · Voir plus »
Pierre de Fermat
Pierre de Fermat, né dans la première décennie du Il existe des pièces justificatives contradictoires.
Nouveau!!: Raisonnement par récurrence et Pierre de Fermat · Voir plus »
Puissance de deux
En arithmétique, une puissance de deux désigne un nombre noté sous la forme où est un entier naturel.
Nouveau!!: Raisonnement par récurrence et Puissance de deux · Voir plus »
Raisonnement
Le raisonnement est un processus cognitif permettant de poser un problème de manière réfléchie en vue d'obtenir un ou plusieurs résultats.
Nouveau!!: Raisonnement par récurrence et Raisonnement · Voir plus »
Récurrence transfinie
En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts.
Nouveau!!: Raisonnement par récurrence et Récurrence transfinie · Voir plus »
Relation bien fondée
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix).
Nouveau!!: Raisonnement par récurrence et Relation bien fondée · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Raisonnement par récurrence et Relation d'ordre · Voir plus »
Richard Dedekind
Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.
Nouveau!!: Raisonnement par récurrence et Richard Dedekind · Voir plus »
Roshdi Rashed
Roshdi Rashed, né au Caire en 1936, est un mathématicien, philosophe et historien des sciences, dont l'œuvre se concentre en grande partie sur les mathématiques et la physique du monde arabe médiéval.
Nouveau!!: Raisonnement par récurrence et Roshdi Rashed · Voir plus »
Serge Lang
Serge Lang, né le à Saint-Germain-en-Laye et mort le à Berkeley, est un mathématicien franco-américain.
Nouveau!!: Raisonnement par récurrence et Serge Lang · Voir plus »
Somme vide
En mathématiques, la somme vide est le résultat d'une addition d'aucun nombre.
Nouveau!!: Raisonnement par récurrence et Somme vide · Voir plus »
Suite définie par récurrence
En mathématiques, une suite définie par récurrence est une suite définie par son (ou ses) premier(s) terme(s) et par une relation de récurrence, qui définit chaque terme à partir du précédent ou des précédents lorsqu'ils existent.
Nouveau!!: Raisonnement par récurrence et Suite définie par récurrence · Voir plus »
Suite de Fibonacci
Une juxtaposition de carrés dont les côtés ont pour longueur des nombres successifs de la suite de Fibonacci: 1, 1, 2, 3, 5, 8, 13 et 21. En mathématiques, la suite de Fibonacci est une suite de nombres entiers dans laquelle chaque nombre est la somme des deux nombres qui le précèdent.
Nouveau!!: Raisonnement par récurrence et Suite de Fibonacci · Voir plus »
Théorème d'Euclide sur les nombres premiers
En arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers.
Nouveau!!: Raisonnement par récurrence et Théorème d'Euclide sur les nombres premiers · Voir plus »
Théorème de Goodstein
En mathématiques, et plus précisément en logique mathématique, le théorème de Goodstein est un énoncé arithmétique portant sur des suites, dites suites de Goodstein.
Nouveau!!: Raisonnement par récurrence et Théorème de Goodstein · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Raisonnement par récurrence et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie axiomatique
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc.
Nouveau!!: Raisonnement par récurrence et Théorie axiomatique · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Raisonnement par récurrence et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Raisonnement par récurrence et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
The American Mathematical Monthly
est une revue de mathématiques fondée par en 1894.
Nouveau!!: Raisonnement par récurrence et The American Mathematical Monthly · Voir plus »
Traité du triangle arithmétique
Le Traité du triangle arithmétique est une œuvre mathématique de Blaise Pascal, écrit en 1654 (publié en 1665), alors que l'auteur, seulement âgé de 31 ans (il était né en 1623), était déjà connu dans le milieu mathématique par son Traité des sections coniques paru lorsqu'il avait 17 ans.
Nouveau!!: Raisonnement par récurrence et Traité du triangle arithmétique · Voir plus »
Victor J. Katz
Victor Joseph Katz (né le à Philadelphie) est un mathématicien, historien des mathématiques et professeur américain reconnu pour son utilisation de l'histoire des mathématiques dans l'enseignement des mathématiques.
Nouveau!!: Raisonnement par récurrence et Victor J. Katz · Voir plus »
Redirections ici:
Démonstration par récurrence, Preuve par récurrence, Principe de récurrence, Récurrence cumulative, Récurrence en mathématiques, Récurrence forte.