Théorèmes de non-décidabilité
Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Exposé no. 266, 41 p.
@incollection{SB_1962-1964__8__323_0,
     author = {Lacombe, Daniel},
     title = {Th\'eor\`emes de non-d\'ecidabilit\'e},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1962/63 - 1963/64, expos\'es 241-276},
     series = {S\'eminaire Bourbaki},
     note = {talk:266},
     pages = {323--363},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {8},
     year = {1964},
     mrnumber = {175786},
     zbl = {0154.25705},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1962-1964__8__323_0/}
}
TY  - CHAP
AU  - Lacombe, Daniel
TI  - Théorèmes de non-décidabilité
BT  - Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:266
PY  - 1964
SP  - 323
EP  - 363
IS  - 8
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/SB_1962-1964__8__323_0/
LA  - fr
ID  - SB_1962-1964__8__323_0
ER  - 
%0 Book Section
%A Lacombe, Daniel
%T Théorèmes de non-décidabilité
%B Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276
%A Collectif
%S Séminaire Bourbaki
%Z talk:266
%D 1964
%P 323-363
%N 8
%I Société mathématique de France
%U http://archive.numdam.org/item/SB_1962-1964__8__323_0/
%G fr
%F SB_1962-1964__8__323_0
Lacombe, Daniel. Théorèmes de non-décidabilité, dans Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Exposé no. 266, 41 p. http://archive.numdam.org/item/SB_1962-1964__8__323_0/

Davis (Martin). - Computability and unsolvability. - New York, McGraw-Hill Book Company, 1958 (McGraw-Hill Series in Information Processing and Computers). | MR | Zbl

Grzegorzyk (Andrzej). - Fonctions récursives. - Paris, Gauthier-Villars, 1961 (Collection de Logique mathématique, Série A, 17). | Zbl

Kleene (S.C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing Company ; Groningen, Noordhoff, 1952 (Bibliotheca Mathematica, 1). | Zbl

Smullyan (Raymond M.). - Theory of formal systems. - Princeton, Princeton University Press, 1961 (Annals of Mathematics Studies, 47). | MR | Zbl

Putnam (Hilary). - An unsolvable problem in number theory, J. of symb. Logio, t. 25, 1960, p. 220-232. | MR | Zbl

Higman (G.). - Subgroups of finitely presented groups, Proc. Royal Soc. London, Series A, t. 262, 1961, p. 455-475. | MR | Zbl

Markov (A.A.). - The problem of homeomorphy [en russe], Proc. Intern. Congr. of Math. [1958. Edinburgh], p. 300-306. - Cambridge, at the University Press, 1960. | MR | Zbl

Rabin (Michael O. ) . - Recursive unsolvability of group theoretic problems, Annals of Math., Series 2, t. 67, 1958, p. 172-194. | MR | Zbl

Stallings (J.R.). - On the recursiveness of sets of presentations of 3-manifold groups, Fund. Math., t. 51, 1962, p. 191-194. | MR | Zbl

Tarski (A.), Mostowski (A.) and Robinson (R.M.). - Undecidable theories. - Amsterdam, North-Nolland publishing Company, 1953 (Studies in Logic and the Foundations of Mathematics). | MR | Zbl

Lacombe (Daniel). - La théorie des fonctions récursives et ses applications (Exposé d'information générale), Bull. Soc. math. France, t. 88, 1960, p. 393-468. | Numdam | MR | Zbl