Home :: DerniersChangements :: DerniersCommentaires :: ParametresUtilisateur :: Vous êtes 18.191.195.110
Importé depuis l'adresse http://iml.univ-mrs.fr/~girard/longo2.pdf


Implicite?
Explicite?
non-dit?
Intelligible?
Transparence?
Apparences?
Ambiguite?
Lisibilite?

si les réponses sont si faciles d’accès, serait-ce que Dieu s’amuse à nous présenter un monde chiffré pour nous éprouver ? À moins que ne soient les hommes qui s’ingénient à dissimuler pour des raisons inavouables

LogiquesDeLaTransparence?
semantique?
Abduction?
Induction?
LogiquesNonMotones?
Indecidabilite?
LogiqueEpistemique?
MathematiquesExplicites?
Feferman?
Frege
Tarski
Kripke
Brouwer?
LogiqueIntuitionniste?
Essentialisme?
Morphisme?
Aporie?
Godel?
Incompletude?
OignonCognitif?
Kreisel?
Mendelsohn?
Schonfinkel?
Curry?
Howard?
Gentzen?
DomainesDeScott?
Scott?
LogiqueLineaire?
Andreoli?
HauptSatz?
Gentzen?
LaLudique?
EspacesCoherents?
NegationLineaire?
EspacesCoherentsQuantiques?
JeanYvesGirard
PointAveugle
Ajouter un commentaire à cette page: