Ouvrir la logique au monde : philosophie et mathématique de l'interaction / travaux du Groupe LIGC

Livre

Edité par Hermann. Paris ; Cerisy. [Cerisy-la-Salle] - 2009

Autres documents dans la collection «Visions des sciences»

Vérification des exemplaires disponibles ...

Suggestions

Du même sujet

Qu'est-ce que la technologie ?. suivi de Post-scriptum sur la technoscience...

Livre | Raynaud, Dominique (1961-....) - architecte et auteur en sciences sociales. Auteur | 2015

Est-il vrai que la science et la technologie forment un tout ? Qu’elles sont unies par des liens constants et nécessaires ? Est-il vrai que le raisonnement technologique prend toujours place dans un contexte industriel ? Que les ...

Idéographie / G. Frege

Livre | Frege, Gottlob (1848-1925). Auteur | 1999

La logique, un aiguillon pour la pensée / Jean-Paul Delahaye

Livre | Delahaye, Jean-Paul (1952-....) - mathématicien. Auteur | 2012

Le cahier bleu et le cahier brun : études préliminaires aux "Investigations...

Livre | Wittgenstein, Ludwig (1889-1951). Auteur | 1988

Philosophie des mathématiques : logique, preuve et pratiques / textes réuni...

Livre | 2017

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al....

Livre | Nagel, Ernest (1901-1985). Auteur | 1997

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du...

Chargement des enrichissements...