|
|
"L'acte de penser et l'objet de la pensée se confondent" Parménide Full Screen | Play Le contenu de ce wiki est Copyleft
|
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
Il n'y a pas de commentaire sur cette page.
[Afficher commentaires/formulaire]
|