RÉCURSIVITÉ, logique mathématique
Bibliographie
J. P. Azra & B. Jaulin, Récursivité, Gauthier-Villars, Paris, 1973
J. Barwise, Admissible Sets and Structures, Springer, New York-Berlin, 1976
R. Fraissé, Cours de logique mathématique, t. III : Récursivité et constructibilité, Gauthier-Villars, 1975
H. Rogers Jr., Theory of Recursive Functions and Effective Computability, M.I.T. Press, Cambridge (Mass.), 1987
D. Lacombe, Propriétés récursives des structures énumérées, Publ. de l'institut Blaise-Pascal, Paris
Recursive Function Theory, Symposium, American Mathematical Society, Providence (R.I.), 1979.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Kenneth Mc ALOON : maître de recherche au C.N.R.S.
- Bernard JAULIN : membre de l'Académie des sciences
- Jean-Pierre RESSAYRE : chargé de recherche au C.N.R.S.
Classification
Autres références
-
CHURCH ALONZO (1903-1995)
- Écrit par Françoise ARMENGAUD
- 616 mots
Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né le 14 juin 1903 à Washington et mort le 11 août 1995 à Hudson (Ohio). Professeur de mathématiques à l'université de Princeton, directeur du Journal of Symbolic Logic, il est selon Kneale «...
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
...fini, détermine uniquement (par unicité du prolongement par limites directes) la famille (Pα). Il devient alors possible de parler de B-démonstration récursive, autrement dit nous avons un concept syntaxique. (Mais l'ensemble des indices de B-démonstrations est Π12 .) Et Girard a pu établir en... -
KLEENE STEPHEN COLE (1909-1994)
- Écrit par Pierre GOUJON
- 371 mots
Mathématicien américain né à Hartford (Connecticut). Diplômé de l'Amherst College, Stephen C. Kleene entre, en 1930, à l'université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il partage son temps entre l'enseignement (université du Wisconsin) et la recherche....
-
POST EMIL LEON (1897-1954)
- Écrit par Bernard JAULIN
- 622 mots
Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation...
