Le résultat de Tibor Šalát(en)(1966), plus précis, est énoncé p. 233 de Martine Queffélec, « Old and new results on normality », dans Dee Denteneer, Frank den Hollander et Evgeny Verbitskiy, Dynamics & Stochastics: Festschrift in Honour of M. S. Keane, IMS, (lire en ligne), p. 225-236.
(ru) V. N. Agafonov, « Normal sequences and finite automata », Problemy Kibernetiky, no 20, , p. 123-129 (MR0286576).
(en) Mary G. O'Connor, « An unpredictability approach to finite-state randomness », J. Comput. System Sci., vol. 37, no 3, , p. 324-336 (MR0975448).
(en) Annie Broglio et Pierre Liardet, « Predictions with automata », Contemporary Mathematics, vol. 135, , p. 111-124 (MR1185084).
books.google.com
J.-P. Marco et L. Lazzarini, Mathématiques L1, Pearson, (lire en ligne), p. 634 (présenté seulement pour la base dix).
C'est cette définition, désormais classique, qui est choisie par Niven 1956, p. 95 et reprise par Hervé Queffélec et Claude Zuily, Analyse pour l'agrégation, Dunod, , 4e éd. (lire en ligne), p. 550. Niven 1956, p. 104-110, démontre en effet qu'elle s'intercale dans l'implication démontrée par Pillai entre sa définition allégée et celle de Borel (cf. note précédente).
Le résultat de Tibor Šalát(en)(1966), plus précis, est énoncé p. 233 de Martine Queffélec, « Old and new results on normality », dans Dee Denteneer, Frank den Hollander et Evgeny Verbitskiy, Dynamics & Stochastics: Festschrift in Honour of M. S. Keane, IMS, (lire en ligne), p. 225-236.
claymath.org
(en) Davar Khoshnevisan, « Normal Numbers are Normal », CMI Annual Report, , p. 15, 27-31 (lire en ligne).
Jack H.Lutz et Elvira Mayordomo, « Computing absolutely normal numbers in nearly linear time », Information and Computation, vol. 281, , article no 104746 (DOI10.1016/j.ic.2021.104746).
Verónica Becher et Pablo Ariel Heiber, « Normal numbers and finite automata », Theoretical Computer Science, vol. 477, , p. 109–116 (DOI10.1016/j.tcs.2013.01.019)
eudml.org
W. Sierpiński, « Démonstration élémentaire du théorème de M. Borel sur les nombres absolument normaux et détermination effective d'un tel nombre », Bull. Soc. Math. France, vol. 45, 1917, p. 125-132 [lire en ligne] ; H. Lebesgue, « Sur certaines démonstrations d'existence », même vol. (mais écrit en 1909), p. 132-144 [lire en ligne].
ias.ac.in
www-old.ias.ac.in
Borel 1909 (repris dans Hardy et Wright, § 9.12) exigeait de plus que bx, b2x, b3x, etc. soient simplement normaux en base bk (on peut évidemment arrêter le « etc. » à bk–1x), mais cette condition était redondante, comme l'a démontré (en) S. S. Pillai, « On normal numbers », Proc. Indian Acad. Sci. A, vol. 12, , p. 179-184 (lire en ligne), pour répondre à une objection d'un reviewer sur sa preuve simple du théorème de Champernowne. Cette preuve venait démentir le commentaire de Hardy et Wright sur ce théorème : « the proof […] is more troublesome than might be expected. » (dernière phrase du chap. 9).
icm.edu.pl
matwbn.icm.edu.pl
(de) Wolfgang M. Schmidt, « Über die Normalität von Zahlen zu verschiedenen Basen », Acta Arithmetica, vol. 7, no 3, , p. 299-309 (lire en ligne).
Kuipers et Niederreiter 2012, p. 8 et 75 ; Niven 1956, p. 112-115 ; plus généralement, si f est un polynôme qui envoie tout entier > 0 sur un entier > 0, alors le réel formé (en base dix par exemple) en concaténant les entiers f(1), f(2), … est normal dans cette base : (en) H. Davenport et P. Erdős, « Note on normal decimals », Canadian J. Math., vol. 4, , p. 58-63 (lire en ligne).
Le résultat de Tibor Šalát(en)(1966), plus précis, est énoncé p. 233 de Martine Queffélec, « Old and new results on normality », dans Dee Denteneer, Frank den Hollander et Evgeny Verbitskiy, Dynamics & Stochastics: Festschrift in Honour of M. S. Keane, IMS, (lire en ligne), p. 225-236.
zbmath.org
(en) V .N. Agafonov, « Normal sequences and finite automata », Soviet Mathematics Doklady, vol. 9, , p. 324-325 (zbMATH0242.94040) — (traduction de Dokl. Akad. Nauk SSSR, vol. 179, p. 255-256) .
