Kurt Gödel (1906-1978) est un mathématicien et logicien autrichien, l’un des penseurs les plus influents du 20e siècle dans le domaine de la logique mathématique et de la philosophie des mathématiques. Gödel est célèbre pour son théorème d’incomplétude, publié en 1931, qui démontre des limites fondamentales dans les systèmes formels et a des implications profondes pour les fondements des mathématiques.…Lire la suiteKurt Gödel
Pantopique : mathématique
Un pantopique correspond à la réunion de quelques repères, plus ou moins nombreux, que vous pouvez commenter, compléter, étendre, selon vos propres champs d’expériences, de savoirs, d’enquêtes… - contact@21dialogues21.org
Gottfried Wilhelm Leibniz (1646 – 1716) – Philosophe, mathématicien et scientifique allemand, considéré comme l’un des plus grands penseurs de l’époque moderne. Il est célèbre pour avoir, indépendamment de Newton, développé le calcul différentiel et intégral. Leibniz est également connu pour sa philosophie optimiste du « meilleur des mondes possibles » et pour son concept de monadologie, qui propose une vision atomiste…Lire la suiteGottfried Wilhelm Leibniz
Alfred Tarski (1901-1983) est un logicien et mathématicien polonais, considéré comme l’un des plus importants du 20e siècle. Il a contribué de manière significative à la logique mathématique, à la théorie des ensembles, à la philosophie des mathématiques et à la sémantique formelle. Tarski est surtout connu pour son travail sur la définition de la vérité dans les langages formels.…Lire la suiteAlfred Tarski
Alan Mathison Turing (1912 – 1954) – Mathématicien et informaticien anglais, qui contribua au développement de l’informatique théorique (machine de Turing) et de l’intelligence artificielle. Il a également participé directement à casser les codes cryptographiques allemands. On dit que son travail aurait permis de raccourcir de plus de deux ans la Seconde Guerre mondiale en Europe, sauvant ainsi de nombreuses…Lire la suiteAlan Turing
Mathématicien et savant persan (780 – 850), souvent considéré comme le père de l’algèbre. Son nom a donné le terme « algorithme ». Il a travaillé à la cour de Bagdad sous le califat abbasside, contribuant de manière significative aux domaines des mathématiques, de l’astronomie et de la géographie. Al-Khwarizmi a écrit plusieurs ouvrages, dont « Al-Kitab al-Mukhtasar fi Hisab al-Jabr wal-Muqabala », qui…Lire la suiteAl-Khwarizmi
Le jour de Pi est une célébration annuelle de la constante mathématique π (pi). Le jour de Pi est observé le 14 mars (3/14 dans le format mois/jour) car 3, 1 et 4 sont les trois premiers chiffres significatifs de π. Fondée en 1988 par Larry Shaw, cette journée consiste à manger de la tarte ou à organiser des concours…Lire la suite14 Mars – Jour de Pi
Le 14 janvier a été désigné en 2019 Journée mondiale de la logique. Il s’agit du jour de la naissance d’Alfred Tarski (1901-1983), l’un des mathématiciens logiciens les plus importants du 20e siècle, fondateur de la théorie des modèles et de la sémantique formelle, mais aussi de la mort de Kurt Gödel (1906-1978), un autre logicien particulièrement connu pour son…Lire la suite14 janvier – Journée mondiale de la logique
János Neumann était l’un des plus grands mathématiciens du 20e siècle. Il a accompli des réalisations durables non seulement en mathématiques, mais aussi dans de nombreuses autres sciences telles que l’informatique, la physique, l’économie, la météorologie, la théorie des automates et, enfin et surtout, la théorie des jeux. Les principes de Neumann, qui ont déterminé le fonctionnement des ordinateurs dans…Lire la suiteJános Neumann – Hungarikum
Catégories
Le zhusuan chinois, connaissances et pratiques du calcul mathématique au boulier
2013
[chin. 中国珠算——通过算盘进行数学计算的知识和实践 Zhōngguó zhūsuàn——tōngguò suànpán jìnxíng shǔ xué jìsuàn de zhīshì hé shíjiàn]
Le zhusuan chinois est une méthode traditionnelle ancienne et respectée de calcul mathématique au moyen d’un boulier. Ses praticiens peuvent faire des additions, des soustractions, des multiplications, des divisions, des multiplications exponentielles, calculer des racines et faire des équations plus compliquées en déplaçant des boules le long des tiges du boulier selon des formules prédéfinies. Le zhusuan chinois a joué…Lire la suiteLe zhusuan chinois, connaissances et pratiques du calcul mathématique au boulier
Discipline académique qui étudie les propriétés des nombres, des formes, des structures et des relations. Elles se fondent sur la logique et l’analyse pour résoudre des problèmes et formuler des théories abstraites. Les principales branches des mathématiques comprennent l’algèbre, la géométrie, l’analyse, la statistique et la théorie des nombres. Les mathématiques sont largement utilisées dans divers domaines, de la physique…Lire la suitemathématique
Vous pouvez compléter, modifier, améliorer cette indéfinition ou en proposer une autre au regard de vos savoirs, langages, pratiques, histoire… qu’elle soit formulée sur un mode scientifique, culturel, poétique… contact@21dialogues21.org