10.6.2023 : Traduction du mémoire d’Arthur Cayley sur la théorie des matrices
mars 2023 : un extrait sur le théorème de densité de Chebotarev
mars 2023 : Traduction d’un extrait du livre de Takesaki au sujet de deux projections Traduction de Unitaires permutant deux projections orthogonales de B. Simon
mars 2023 : Alicia Boole-Stott (la fille de George) et la quatrième dimension
février 2023 : traduction d’une conférence de vulgarisation de Serge Lang "Que fait un mathématicien et pourquoi ?"
février 2023 : transcription de Cohomologie cristalline par Luc Illusie
février 2023 : tentative de traduction de deux textes de Minkowski, aidée de google translate, mais sans être germaniste un texte de Blichfeldt
mi-février 2023 : traduction d’un article de 2008 au sujet des premières thésardes en mathématiques aux États-Unis et puis deux articles que j’aimerais comprendre, celui de Heath-Brown et celui sur la formule récursive d’Euler pour la somme des diviseurs par les méthodes de Liouville La preuve en une phrase de Zagier que tout nombre premier de la forme 4k+1 est une somme de 2 carrés
février 2023 : Traduction des interventions dans le film Maryam Mirzakhani : Les secrets de la Surface
1.2.2023 : Logique quantique : article de Birkhoff et von Neumann de 1936 traduction de l’article quantum logique de wikipedia
3.1.2023 : Logique classique et logique intuitionniste sont asymptotiquement identiques propriétés statistiques des types simples (où étonnamment, le nombre d’or intervient)
4.1.2023 : traduction d’un article de Friedberg très difficile Deux ensembles récursivement énumérables de degrés d’insolvabilité incomparables (solution du problème de Post, 1944) : Je n’ai rien compris, je vois vaguement des trucs qui se croisent, quel cerveau faut-il avoir pour réussir à trouver une telle idée ?
1.1.2023 : Traduction des extraits de Curry ou texte de Howard à propos de la correspondance de Curry-Howard en lien avec ce cours de Xavier Leroy au Collège de France en 2018
Dartmouth (Conférence de _) Proposition originale de Dartmouth
Octobre 2020 : articles ou conférences de Donald E. Knuth : Computer Science as an Art Dialogue avec R. Tarjan (Heidelberg Laureate Forum virtuel, septembre 2020) Traduction d’un article récent dans Quanta magazine Art culinaire et informatique 2.10.2021 : Interview de Knuth pour le tout nouveau journal ECA Traductions d’interviews de Donald Knuth : en 2021, pour le tout nouveau journal ECA podcast Led Fridman (traduction google légèrement modifiée) en 2018 en 2011 en 2008 en 2007 : un conseil, résister à la mode en 1996 en 2001
D. E. Knuth Interview par Innovations (1996), par P.L. Frana (2001), par A. Binstock (2008, interviewer noté Andrew au lieu de Binstock), AQA à Google (2011, interviewer noté Bill au lieu de Coughran), par S.W. Schofield (partie 1 et partie 2, 2018), Un conseil : résister à la mode, L’informatique comme un art (1974), Dialogue avec R. Tarjan (2020), L’informaticien qui ne peut pas s’arrêter de raconter des histoires (Quanta Magazine) Interview de Knuth pour le tout nouveau journal ECA Traduction d’un extrait du TAOCP au sujet de l’algorithme d’Euclide étendu
Césari Y., Vincent M. : Transcription d’un article de Yves Césari et Max Vincent Une caractérisation des mots périodiques (C.R.A.S., 1978)
G. Boole : Le calcul de la logique Idempotence et recherche de valeurs propres Réviser l’équation de Boole dans le contexte quantique de Muradian et Frias
G. Cantor : Sur divers théorèmes de la théorie des ensembles de points situés dans un espace continu à n dimensions
Curry et Howard : Traduction des extraits de Curry ou texte de Howard à propos de la correspondance de Curry-Howard (1.1.2023)
K. Gödel : une lettre à von Neumann
A. Turing : Une méthode pour le calcul de la fonction zeta, puis Extrait de sa biographie par Andrew Hodges sur ses interactions avec C. Shannon, puis Machines informatiques et intelligence, puis Machines intelligentes, une théorie hérétique, puis Les ordinateurs digitaux peuvent-ils penser ? sa machine à prévoir les marées traduction d’un article de Booker et Platt : Méthode de Turing pour la fonction zeta de Selberg
A. Wigderson : Traduction des sous-titres d’une vidéo d’Avi Wigderson (prix Abel 2021 avec László Lovász ) sur les preuves à divulgation nulle Traduction de l’article contenant le théorème de Cook Traduction de l’article contenant le théorème de Levin Interview pour l’EMS
C. F. Gauss : Extraits des Recherches arithmétiques
L. Euler : Problème de géométrie résolu par l’analyse de Diophante, puis Une solution plus facile d’un problème diophantien à propos de triangles, dont les droites tirées des sommets bissectant les côtés opposés peuvent être exprimées rationnellement, puis Un théorème arithmétique et sa démonstration Découverte d’une loi tout extraordinaire des nombres par rapport à la somme de leurs diviseurs
É. Galois : transcription de Manuscrits trouvés sur Wikipedia
Hadamard, de la Vallée-Poussin, von Koch
C.-A. Laisant : Sur un procédé expérimental de vérification de la conjecture de Goldbach, puis extrait au sujet de La figuration des nombres composés
Roger Penrose (octobre 2022) : transcription (en 3 parties de 20 minutes chacune) de la vidéo de Penrose sur les symétries interdites traductions en français par outils Google Reprise des traductions par l’IA Illustrations du livre Harmonices mundi de Johannes Kepler Traduction d’un article sur les pavages d’Ammann-Beenker
Une note de 2017 au sujet des compositions des nombres et des mots apériodiques pour les nombres premiers
G. Pólya : Sur les valeurs propres de membranes vibrantes, puis Sur les zéros d’une fonction entière représentée par une intégrale de Fourier
P. Quignard : extrait des Leçons de solfège et de piano
A. Camus : Discours de Suède (réception du Prix Nobel de Littérature)
C. Debussy : extraits de Monsieur Croche
J. Dicker : extrait à propos des mots
M. Atiyah : Valeurs propres de l’opérateur de DiracGroups of odd order, de Michael Atiyah (article pour le Colloque à Fudan en 2017)
R.-J. Backlund : Sur les zéros de la fonction ζ de Riemann (1914)
J.S. Bell : Sur le paradoxe d’Einstein-Podolsky-Rosen
J. Bénabou (février 2022, Hommage) : Treillis locaux
P. Bérard : On ne peut pas entendre la forme d’un tambour
C. Berge (et J. Nimier) : entretien
M.V. Berry et J.P. Keating : H=xp et les zéros de Riemann Musique des nombres premiers traduction d’un article liant les zéros de zeta et les qubit à ions piégés Musique des nombres premiers Traduction de l’article Zéros de Riemann dans des motifs de radiations
E. Bombieri : Problème du millenium : l’hypothèse de Riemann
É. Borel : Applications du calcul des probabilités aux problèmes concernant les nombres premiers. Théorème de Goldbach (séance à l’Académie des Sciences)
P. Boulez et A. Connes : La créativité en musique et en mathématiques
Boulez
J.P. Bourguignon, H. Cohen, J.F. Mela : L’état des maths, une vidéo du CNRS (1987)
J.P. Bourguignon : Donner le même nom à deux choses différentes (texte auquel il est fait référence)
R. Breusch : amélioration du postulat de Bertrand : il y a toujours un nombre premier entre x et 9x/8 tentative de traduction (avec Google)
C. P. Bruter : extraits de Comprendre les mathématiques et de La construction des nombres Transcription d’une conférence Art et math&eaucte;matiques pour les Amis de l’IHES (17.2.2022)
Calcul opérationnel : transcription d’extraits de 2 cours (11.2021)
Olivia Caramello : Transcription de l’émission La méthode scientifique, interviews croisées, Olivia Caramello, Laurent Lafforgue, Alain Connes
Henri Cartan : Remarques
P. Cartier : Sur la thèse d'Alexander Grothendieck La musique des sphères (et Edwige Kertès) puis Logique, Catégories et faisceaux (Séminaire Bourbaki 77 / 78, 513) univ. ICM 1970
A. Cauchy : Théorèmes divers sur les résidus et les non-résidus quadratiques
G. Choquet : Les processus mentaux de la création puis Qu’est-ce que les mathématiques modernes ?
A. Church : traduction d’un article fondateur traitant de théorie élémentaire des nombres (septembre 2022)
P. J. Cohen : Skolem et le pessimisme à propos des preuves en mathématiques
J.-F. Colonna
A. Connes Multiples transcriptions et traductions ICM 1974 4 derniers articles trouvés
P. J. Davis : L’intégrale de Leonhard Euler : esquisse historique sur la fonction Gamma
Deaconescu M. : Ajouter des unités mod n
de Branges (2017)
J.-M. Deshouillers , H. J. J. te Riele : Nouveaux résultats expérimentaux concernant la conjecture de Goldbach
J. Dieudonné : Les grandes lignes de l’évolution des mathématiques
P. A. M. Dirac : L’élimination des nœuds en mécanique quantique puis Sur la théorie de la mécanique quantique puis Une théorie des électrons et des protons puis La théorie quantique de l’émission et de l’absorption de radiation
Distance ultramétrique : M. Krasner Nombres semi-réels et espaces ultramétriques Krasner : Espace ultramétrique et valuation J. de Groot : Métriques non-archimédiennes en topologie A. Y. Lemin : Proximité sur les espaces équilatéraux un article de blog de Tao Monna Christol et Mebkhout Barsky et Christol Christol : Nombres p-adiques et ultramétricité
J. Dixmier : Traduction d’une interview par Martin Raussen suivi du scan de l’article des C.R.A.S. Existence de traces non normales ICM 1966 Transcription de Algèbres enveloppantes (ICM 1978) Position relative de deux variétés linéaires fermées dans un espace de Hilbert une bibliographie impressionnante de 85 pages et 2052 références datant de 1969 au sujet des C*-algèbres (Knuth décrit ce désir d’exhaustivité (je crois) par l’expression to be or not to be a geek)
J. Drabbe : Présentation topologique du calcul propositionnel intuitionniste
A. Einstein : extraits, notamment de Comment je vois le monde
A. Einstein, B. Podolsky, N. Rosen : La description de la réalité physique fournie par la mécanique quantique peut-elle être considérée comme complète ?
G. F. M. Eisenstein : La preuve géométrique mal comprise qu’a faite Eisenstein de la loi de réciprocité quadratique, puis explication de cette preuve dans Topologie des nombres de A. Hatcher
R. Feynmann : extrait de La nature de la Physique puis Le plaisir de l’imagination
A. Grothendieck : ICM 1958 ICM 1970 A. , Malgoire J. : Transcription d’un article du magazine Pour la Science de Jean Malgoire au sujet des topos de Grothendieck Transcription d'un article de vulgarisation de P. Pajot dans le magazine La Recherche La revanche d'un théorème oublié
Catherine Goldstein : Et les autres : Histoires et imaginaires Transcription des sous-titres obtenus par downsub traduction en anglais par Google
P. Halmos : Les frissons de l’abstraction
S. M. J. Haran : Théorie de l’indice, théorie du potentiel et hypothèse de Riemann, puis Potentiels de Riesz et sommes explicites en arithmétique, puis extrait d’un paragraphe d’article Nombres premiers et Spectres
G. H. Hardy et J. E. Littlewood : Remarques sur le "Théorème de Goldbach" Shah & Wilson : Formule empirique reliée au problème de Goldbach suivi du commentaire sur cette note de Hardy et Littlewood
S. Haroche : extrait d’une conférence
W. Heisenberg : Réinterprétation en théorie quantique des relations cinématique et mécanique, puis une interview (par David Peat et Paul Buckley)
R. He, M.Z. Ai, J.M. Cui, Y.F. Huang, Y.J. Han, C.F. Li, G.C. Guo, G. Sierra, C. E. Creffield : Zéros de Riemann obtenus en appliquant l’ingénierie de Floquet à un qubit à ions piégés
D. Hilbert : La connaissance de la nature et la logique extrait d’une émission de radio
A. Joyal (et J. Nimier) : entretien
J.-P. Kahane : Enseignement mathématique, ordinateurs et calculettes (ICM 1986)
D. Kastler : Traduction de l’article Remarques sur l’approche d’Alain Connes concernant le modèle standard en géométrie non-commutative puis traduction de l’article Opérateur de Dirac et gravitation
Nick Katz : traduction de son interview à l’IHES
É. Klein : extrait de La voile et la dérive, puis de En cherchant Majorana, puis article Le tic-tac des physiciens
N. Kuiper (et J. Nimier) : entretien
Y. Ladegaillerie : Théorème de Morley
F. W. Lawvere : Une interview, puis Alexander Grothendieck et le concept d’espace, puis Commentaires sur le développement de la théorie des topos
A. Lichnerowicz (et J. Nimier) : entretien
C. Lubin : Une preuve du théorème de Morley
P. H. N. Luschny : Une introduction à la fonction de Bernoulli (la traduction fournie ici est la traduction de l’article initial posté sur arxiv en novembre 2020 (la version v1) ; une extension de l’article a été postée en novembre 2021)
S. Mandelbrojt : 21.11.2022 : Pourquoi je fais des mathématiques (transcription)
Maths en commun : traduction de multiples témoignages de mathématiciens
O. Messiaen : Conférence de Kyoto
J. Milnor : Valeurs propres de l’opérateur de Laplace sur certaines variétés
Minkowski : quelques traductions pour se rappeler du théorème de Minkowski et trois belles pages illustrant la géométrie des nombres
F. Morley (Théorème de _) dans Geometry revisited de H. S. M. Coxeter et S. L. Greitzer
J. Nimier : entretiens
C. R. Perisho : Utilisation des transformations pour trouver les équations de figures géométriques simples
M. A. Pinsky : Les valeurs propres d’un triangle équilatéral
C. Pisot (et J. Nimier) : entretien
H. Poincaré : extrait au sujet du raisonnement par récurrence dans le livre "Poincaré, philosophe et mathématicien", d’Umberto Bottazzini retranscription en Latex du texte "Le continu mathématique" de Henri Poincaré
Preuves (Assistants informatiques de __) : traduction de 2 articles de chercheurs de l’Imperial College de Londres traitant d’assistants de preuves (on souhaite que l’article de synthèse soit visionnaire)
B. Riemann : Sur le nombre des nombres premiers inférieurs à une grandeur donnée
J. Riguet (et J. Nimier) : entretien
C. Rovelli : extrait de Et si le temps n’existait pas ?
J.-P. Serre : La vie et l’œuvre d’André Weil, puis Une interview au CIRM, puis Une interview à la Société norvégienne et danoise de mathématiques, puis Une interview à l’Université Nationale de Singapour, puis Une interview à Neuchâtel, puis article Mon premier demi-siècle au Collège de France (interview par Marc Kirsch), puis Serre est un Mozart qui aurait vécu jusqu’à 90 ans (propos de M. Broué recueillis par C. Golliau) ICM 1954 ICM 1962
F. J. Simons, F. A. Dahlen, M. A. Wieczorek : Concentration spatio-spectrale sur une sphère
C. Soulé, les variétés sur le corps à un élément (𝔽1) Traduction de ’’Sur le corps à un élément’’
M. H. Stone : Une théorie générale des spectres (I et II)
Sylvester J. J. : Sur la partition d’un nombre pair en deux nombres premiers (1871)
J. Tannery : Sur une surface de révolution du quatrième degré dont les lignes géodésiques sont algébriques
R. Thom (et J. Nimier) : entretien
W. J. Thompson : Fonctions d’ondes sphéroïdales
J. Tits : Sur les analogues algébriques des groupes semi-simples complexes (𝔽1 page 18) Kapranov-Smirnov
M. Tomita et M. Takesaki (Théorie de _) : par S. J. Summers
ultramétrique (espace, distance) :
Krasner Krasner : Espace ultramétrique et valuation de Groot Lemin un article de blog de Tao Monna Christol et Mebkhout Barsky et Christol Christol : Nombres p-adiques et ultramétricité
van der Pol (1947) : Une recherche électro-mécanique de la fonction zeta de Riemann dans la bande critique Le battement cardiaque considéré comme une oscillation de relaxation, et un modèle électrique du cœur Application du calcul symbolique ou opérationnel à la théorie des nombres premiers
J. von Neumann : Le mathématicien, puis Le rôle des mathématiques
A. Weil : retranscription en Latex du texte Sur les courbes algébriques et les variétés qui s’en déduisent traduction de l’article des conjectures en dernière page désorganisation Histoire des mathématiques : Pourquoi et comment (exposé à l’ICM 1978) Préhistoire de la fonction zeta, puis Sur les formules explicites de la théorie des nombres premiers, puis L’avenir des mathématiques, puis Science française, puis Science française ?, puis Histoire des mathématiques, pourquoi et comment, puis De la métaphysique aux mathématiques autres
