Indiscernibility, Cauchy Integral, Waves and Sheaves
| Action | Key |
|---|---|
| Play / Pause | K or space |
| Mute / Unmute | M |
| Toggle fullscreen mode | F |
| Select next subtitles | C |
| Select next audio track | A |
| Toggle automatic slides maximization | V |
| Seek 5s backward | left arrow |
| Seek 5s forward | right arrow |
| Seek 10s backward | shift + left arrow or J |
| Seek 10s forward | shift + right arrow or L |
| Seek 60s backward | control + left arrow |
| Seek 60s forward | control + right arrow |
| Seek 1 frame backward | alt + left arrow |
| Seek 1 frame forward | alt + right arrow |
| Decrease volume | shift + down arrow |
| Increase volume | shift + up arrow |
| Decrease playback rate | < |
| Increase playback rate | > |
| Seek to end | end |
| Seek to beginning | beginning |
You can right click on slides to open the menu
Share this media
Information on this media
7 views
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.
Creation date:
Nov. 27, 2019
Speakers:
Hermann Hauesler, Laboratoire Méthodes Formelles, Logique et Raisonnement. PUC-Rio de Janeiro, Département d’Informatique
Link to media channel:
Colloque | Indiscernibility & abstraction : classification and types
Links:
From the same channel
6 viewsConcept and TypeOctober 25th, 2021
15 views, 2 this yearAbstraction and Classification : from Indiscernibility to TypesOctober 25th, 2021
9 views, 2 this yearAbstraction in the wildOctober 25th, 2021
16 views, 2 this yearThe resilience of abstraction: Locke, Berkeley and HumeOctober 25th, 2021
Subscribe to notifications
When subscribed to notifications, an email will be sent to you for all added annotations.
Your user account has no email address.