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
Gottfried Wilhelm Leibniz (1646 – 1716) – Esprit universel allemand qui fut tout à la fois philosophe, mathématicien, diplomate, bibliothécaire (de Hanovre), philologue – Véritable esprit polymathe, rival de Newton sur l’invention du calcul infinitésimal, pionnier du système binaire (s’inspirant du Yi Jing)…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
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
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
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
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
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
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
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