Références :
- Abrégé
de Logiques Classiques
(Olivier Pirson)
- Computability: A introduction to recursive function theory
(Nigel J. Cutland)
Cambridge University Press, 2000, 1re édition 1980.
x+252 pages
- Encylopædia Universalis
10 PC/Mac, 2004
- La Théologie des Machines
(Olivier Pirson,
d’après le séminaire de Bruno Marchal) :
combinateurs, URM de Cutland
- L’Encyclopédie en ligne des suites de nombres entiers
{OEIS :
The On-Line Encyclopedia of Integer Sequences}
- Les Nombres. Science, Art et Théologie :
1re
partie :
Théologie grecque, Sommes et différences
(Olivier Pirson,
d’après le séminaire de Bruno Marchal)
- Liens
(Olivier Pirson) :
théorie des nœuds
- Louis H.
Kauffman
homepage : Knot Theory (théorie des nœuds)
- Maple 10,
MapleSoft,
Waterloo Maple Inc.
- Mathématiques concrètes : Fondations pour l’informatique
(Ronald L. Graham,
Donald E. Knuth,
Oren Patashnik)
{Traduction de l’anglais, Alain Denise,
Concrete Mathematics : A Foundation for Computer Science.
Éd. Addison Wesley, 1994.}
Vuibert Informatique,
Éd. Vuibert,
Paris, 2003, deuxième édition.
xiv+688 pages
- MathWorld
- Partitions de naturels (Olivier Pirson)
- Problème 3n + 1
- Tables de naturels
avec leur décomposition en facteurs premiers et les valeurs des fonctions
π, ω, Ω, ν, σ, s, ϖ, GR, φ, λ, L, μ, M…
- Wikipédia,
l’encyclopédie libre /
Wikipedia,
the free encyclopedia