Indiscernibility, Cauchy Integral, Waves and Sheaves
Chargement
0 %
| Key | Action |
|---|---|
| K or space | Play / Pause |
| M | Mute / Unmute |
| C | Select next subtitles |
| A | Select next audio track |
| V | Show slide in full page or toggle automatic source change |
| left arrow | Seek 5s backward |
| right arrow | Seek 5s forward |
| shift + left arrow or J | Seek 10s backward |
| shift + right arrow or L | Seek 10s forward |
| control + left arrow | Seek 60s backward |
| control + right arrow | Seek 60s forward |
| shift + down arrow | Decrease volume |
| shift + up arrow | Increase volume |
| shift + comma | Decrease playback rate |
| shift + dot or shift + semicolon | Increase playback rate |
| end | Seek to end |
| beginning | Seek to beginning |
Vous pouvez faire un clic droit sur les diapositives pour ouvrir le menu
Informations sur ce média
Nombre de vues :
2 (ce mois : 1)Date de création :
nov. 27, 2019Intervenants :
Hermann Hauesler, Laboratoire Méthodes Formelles, Logique et Raisonnement. PUC-Rio de Janeiro, Département d’InformatiqueLien vers la chaîne du média :
Colloque | Indiscernibility & abstraction : classification and typesDescription
Colloque | Indiscernibility & abstraction : classification and types
Ce colloque prolonge le colloque interdisciplinaire d'histoire et philosophie de la logique et des mathématiques, coordonné en février 2019 par Jean-Baptiste Joinet au titre de IRPhiL. Cette précédente édition était intitulée "The theory of definitions by abstraction: roots, History, Contemporary developments".
Le colloque abordera la problématique de l'abstraction, plus spécifiquement sous l'angle philosophique et épistémologique de l’indiscernabilité, de la classification et la notion de Type.
Ce colloque prolonge le colloque interdisciplinaire d'histoire et philosophie de la logique et des mathématiques, coordonné en février 2019 par Jean-Baptiste Joinet au titre de IRPhiL. Cette précédente édition était intitulée "The theory of definitions by abstraction: roots, History, Contemporary developments".
Le colloque abordera la problématique de l'abstraction, plus spécifiquement sous l'angle philosophique et épistémologique de l’indiscernabilité, de la classification et la notion de Type.
