Nouvelle manière d'évaluer l'aire d'un triangle sur le terrain
Let be a one-variable function field over a field of constants of characteristic 0. Let be a holomorphy subring of , not equal to . We prove the following undecidability results for : if is recursive, then Hilbert’s Tenth Problem is undecidable in . In general, there exist such that there is no algorithm to tell whether a polynomial equation with coefficients in has solutions in .
La formule généralisant la loi de réciprocité quadratique de Legendre et exprimant le reste par huit de la signature d'une forme quadratique entière non dégénérée à l'aide d'une somme de Gauss est attribuée par Milnor à Milgram, la faisant remonter à Braun. Le formalisme de Witt la réduit au cas de dimension 1 que Chandrasekharan attribue à Cauchy et Kronecker. Braun soulignait que les preuves de ces formules nécessitent des moyens d'analyse. Une propriété métrique de l'octogone...
Page 1 Next