Le point aveugle : cours de logique.

Le point aveugle : Tome 2, Vers l'imperfection cours de logique.

Afficher d'autres versions (1)

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Girard, Jean-Yves (1947-....). (Egilea)
Formatua:	E-Book
Hizkuntza:	Français
Argitaratua:	Paris : Hermann.
Gaiak:	Épistémologie. Mathématiques > Philosophie. Logique mathématique. Incomplétude, Théorèmes d'.
Autres localisations:	Voir dans le Sudoc
Sarrera elektronikoa:	Accès à l'E-book

Antzeko izenburuak

Logique : fondements et applications
nork: Le Barbenchon, Pierre (1996-....).

Petite philosophie des mathématiques vagabondes
nork: De Brabandere, Luc (1948-....).
Argitaratua: (2011)

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
nork: Patarin, Jacques (1965-....).

L'épistémologie française, 1830-1970
nork: Bitbol, Michel (1954-....).

The Philosophy of science : science and objectivity
nork: Couvalis, George (19..-....).
Argitaratua: (1997)

Complexité aléatoire et complexité organisée
nork: Delahaye, Jean-Paul (1952-....; mathématicien).
Argitaratua: (2009)

Les nombres premiers : entre l'ordre et le chaos
nork: Tenenbaum, Gérald (1952-....).
Argitaratua: (2014)

L'enchantement du virtuel : mathématique, physique, philosophie
nork: Chatelet, Gilles (1944-1999).
Argitaratua: (2010)

Philosophie synthétique de la mathématique contemporaine
nork: Zalamea, Fernando (1959-....).

Synthetic philosophy of contemporary mathematics
nork: Zalamea, Fernando (1959-....).
Argitaratua: (2019)

Mathématiques récréatives : éclairages historiques et épistémologiques
nork: Chevalarias, Nathalie (19..-....).

D'où viennent les mathématiques? : corps, esprit et imaginaire humain
nork: Núñez, Rafael (1960-....).
Argitaratua: (2016)

Modélisation et interdisciplinarité : Six disciplines en quête d'épistémologie
nork: Mathieu, Nicole (1936-....; géographe).
Argitaratua: (2014)

Éléments d'épistémologie
nork: Hempel, Carl Gustav (1905-1997).
Argitaratua: (2012)

Apparenter la pensée ? : vers une phylogénie des concepts savants
nork: Charbonnat, Pascal (1974-....).

Quelle est cette science que je pratique ? : repères en histoire de la physique et épistémologie
nork: Depondt, Philippe (19..-....).
Argitaratua: (2018)

Théories et modèles en sciences humaines : le cas de la géographie
nork: Varenne, Franck (1970-....; enseignant-chercheur en philosophie des sciences).

Circles disturbed : the interplay of mathematics and narrative
Argitaratua: (2012)

Les grands courants de la pensée mathématique
nork: Le Lionnais, François (1901-1984).
Argitaratua: (1998)

Analyse non standard
nork: Diener, Francine.
Argitaratua: (1989)

Informatique MP2I
nork: Vercouter, Laurent (1974-....; informaticien).
Argitaratua: (2021)

Informatique MP2IMPI : CPGE 1re et 2e années
nork: Barra, Vincent (19..-....; chercheur en informatique de modélisation).

Hilbert
nork: Cassou-Noguès, Pierre (1971-....).
Argitaratua: (2018)

The golden ticket : P, NP, and the search for the impossible
nork: Fortnow, Lance (1963-....).
Argitaratua: (2013)

Une histoire de la chimie du solide : synthèses, formes, identités
nork: Teissier, Pierre (1977-....; historien des sciences).

Gödel
nork: Cassou-Noguès, Pierre (1971-....).
Argitaratua: (2008)

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
nork: Badesa, Calixto (19..-....).
Argitaratua: (2009)

Concours Sésame : tout-en-un
nork: Speller, Marie-Virginie (19..-....).
Argitaratua: (2016)

De spacio physico et mathematico
nork: Patrizi, Francesco (1529-1597).

Licences et masters : monnaie, banque, finance, assurance : réussir son entrée dans les filières sélectives de l'université

Faussement vrai et vraiment faux : la logique au quotidien
nork: Cuénod, Solange.
Argitaratua: (1998)

Loving and hating mathematics : challenging the myths of mathematical life
nork: John-Steiner, Vera (1930-....).
Argitaratua: (2011)

Mathématiques : licence, prépas, Capes
nork: Fredon, Daniel (1944-....; enseignant-chercheur en mathématiques).
Argitaratua: (2021)

Macrocosmos
nork: Borensztajn, Stephan (1971-....).

Modélisation mathématique en écologie : cours et exercices corrigés
nork: Auger, Pierre (1953-....; biologiste).
Argitaratua: (2015)

Développez votre logique : gagner en efficacité et mieux vivre au quotidien
nork: Clisson, Valérie.
Argitaratua: (2020)

Détails et points singuliers : toitures-terrasses : 163 fiches, 7 étapes, 175 schémas

La modélisation critique
nork: Bouleau, Nicolas (1945-....).
Argitaratua: (2014)

Maladies des abeilles
nork: Boucher, Samuel (1964-....; docteur vétérinaire).
Argitaratua: (2021)

Logique pour l'informatique
nork: Jaume, Mathieu.
Argitaratua: (2020)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1