Chargement...
Chargement...
Serie Le point aveugle : cours de logique
Auteur

Support

Série

Disponibilité

1
Le point aveugle : cours de logique. Vol. 1. Vers la perfection

Le point aveugle : cours de logique. Vol. 1. Vers la perfection

Auteur : Jean-Yves Girard
Éditeur(s): Hermann
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard...
36,00 €
Chargement...
Le point aveugle : cours de logique. Vol. 2. Vers l'imperfection

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

Auteur : Jean-Yves Girard
Éditeur(s): Hermann
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il développe une méthodologie de l'interprétation de l'imperfection, postulant une pérennité non pérenne qui s'exprime dans les...
38,00 €
Chargement...
1