Théorèmes de non-décidabilité

Daniel Lacombe

Séminaire Bourbaki (1962-1964)

  • Volume: 8, page 323-363
  • ISSN: 0303-1179

How to cite

top

Lacombe, Daniel. "Théorèmes de non-décidabilité." Séminaire Bourbaki 8 (1962-1964): 323-363. <http://eudml.org/doc/109668>.

@article{Lacombe1962-1964,
author = {Lacombe, Daniel},
journal = {Séminaire Bourbaki},
keywords = {mathematical logic},
language = {fre},
pages = {323-363},
publisher = {Société Mathématique de France},
title = {Théorèmes de non-décidabilité},
url = {http://eudml.org/doc/109668},
volume = {8},
year = {1962-1964},
}

TY - JOUR
AU - Lacombe, Daniel
TI - Théorèmes de non-décidabilité
JO - Séminaire Bourbaki
PY - 1962-1964
PB - Société Mathématique de France
VL - 8
SP - 323
EP - 363
LA - fre
KW - mathematical logic
UR - http://eudml.org/doc/109668
ER -

References

top
  1. Davis ( Martin). - Computability and unsolvability. - New York, McGraw-Hill Book Company, 1958 (McGraw-Hill Series in Information Processing and Computers). Zbl0080.00902MR124208
  2. Grzegorzyk ( Andrzej). - Fonctions récursives. - Paris, Gauthier-Villars, 1961 (Collection de Logique mathématique, Série A, 17). Zbl0101.25003
  3. Kleene ( S.C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing Company ; Groningen, Noordhoff, 1952 (Bibliotheca Mathematica, 1). Zbl0047.00703
  4. Smullyan ( Raymond M.). - Theory of formal systems. - Princeton, Princeton University Press, 1961 (Annals of Mathematics Studies, 47). Zbl0097.24503MR152429
  5. Putnam ( Hilary). - An unsolvable problem in number theory, J. of symb. Logio, t. 25, 1960, p. 220-232. Zbl0108.00701MR158825
  6. Higman ( G.). - Subgroups of finitely presented groups, Proc. Royal Soc. London, Series A, t. 262, 1961, p. 455-475. Zbl0104.02101MR130286
  7. 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. Zbl0119.25201MR115160
  8. Rabin ( Michael O. ) . - Recursive unsolvability of group theoretic problems, Annals of Math., Series 2, t. 67, 1958, p. 172-194. Zbl0079.24802MR110743
  9. Stallings ( J.R.). - On the recursiveness of sets of presentations of 3-manifold groups, Fund. Math., t. 51, 1962, p. 191-194. Zbl0121.40006MR142112
  10. Tarski ( A.), Mostowski ( A.) and Robinson ( R.M.). - Undecidable theories. - Amsterdam, North-Nolland publishing Company, 1953 (Studies in Logic and the Foundations of Mathematics). Zbl0053.00401MR58532
  11. 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. Zbl0156.25201MR122720

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.