Calcul et formalisation dans les sciences de l'homme. Conférences prononcées lors des Journées Internationales d'Études sur les Méthodes de Calcul dans les Sciences de l'Homme, à Rome, du 4 au 18 juillet 1966, sous les auspices du Centre International de Calcul , Paris, Éditions du Centre National de la Recherche Scientifique, 1968, , 324 pages [Book Review]

Laval Théologique et Philosophique 27 (2):203 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.7202/1020252ar

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,154

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Johansson Ingebrigt. Sur le concept de “le” dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 65–72.Feys R., Johansson Ingebrigt. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 72. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
Les Applications de l'Informatique À la Philosophie. Journées d'Études des 16 Et 17 Novembre 1970 du Centre National de la Recherche Scientifique.Centre National de la Recherche Scientifique - 1972 - C.N.R.S.
Lacombe Daniel. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 67–74.Bouligand G.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 75. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-287.
Les médiations théoriques.Gérard Chazal - 2004 - Editions Champ Vallon.
En collaboration, Société injuste et Révolution, Colloque de Venise 1968, sous les auspices de Pax Romana et de l'IDOC, Paris, Éditions du Seuil, 1970 , 191 pages. [REVIEW]Roger Ebacher - 1971 - Laval Théologique et Philosophique 27 (3):311.
À distances raisonnables des structuralismes : logique, langage, formalisation et sciences de l’homme. Une dispute du 20e siècle finissant.Sébastien Plutniak - 2019 - Zilsel. Science, Technique, Société 6:70-115.
Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
Delphine GARDEY et Ilana LÖWY (dir.), L'Invention du naturel. Les sciences et la fabrication du féminin et du masculin, Paris, Éditions des archives contemporaines, 2000, 227 p. [REVIEW]Annick Jaulin - 2004 - Clio 19:266-267.

Analytics

Added to PP
2014-03-05

Downloads
26 (#696,679)

6 months
5 (#1,302,817)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references