Baptiste Mélès
Biographic Data
| ID | 1489634 |
|---|---|
| NAME | Baptiste Mélès |
| GIVEN NAMES | Baptiste |
| FAMILY NAME | Mélès |
| SIGNATURE | MÉLÈS B |
| AFFILIATIONS | Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies |
| ORCID | 0000-0002-5692-083X |
| VERIFIED | Yes |
| TOTAL WORKS | 11 |
| TOTAL CITATIONS | 1 |
| AUTHOR COUNT | 11 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2012 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 1 |
New Programming Styles Suggested by Human Languages
Can human languages help us write programs in a different way than we usually do? To examine this question, we first define exactly what it means for a programming language to be “derived from” a human language. Next, we analyse cases in which translating a program from one human language to another does not significantly change the program’s structure. Finally, we examine two game-changing cases: a programming language derived from Latin, in whi…
Jules Vuillemin, disciple hétérodoxe de Martial Gueroult
Si l’on devait en croire les revendications explicites de Jules Vuillemin, sa relation envers Martial Gueroult aurait essentiellement été d’élève à maître. Un examen plus attentif de l’œuvre de Vuillemin révèle pourtant des écarts significatifs quoique non revendiqués. Nous analyserons dans un premier temps l’autoportrait de Vuillemin en disciple – d’une œuvre, d’une autorité et d’un chef d’école. Nous décrirons ensuite à quelles transformations,…
Les langages de Turing
Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'int…
Structure and Evolution of Jules Vuillemin’s La Philosophie de l’algèbre (volume I and II)
Ouvrage dense et paru de façon tronquée, La Philosophie de l'algèbre de Jules Vuillemin (tomes I et II) peut sembler composite. Nous montrons au contraire que ce manifeste de la structure en philosophie n'est pas rhapsodie mais système : ses parties ne prennent tout leur sens que dans leur relation au tout. Loin de remettre en cause le résultat de l'analyse structurale, l'étude génétique met au jour un souci constant de préservation de la systéma…
Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. Introduction
1 Un impact « profond et discret » Roshdi Rashed ecrivait en novembre 2004, dans la preface d’un recueil d’etudes consacrees a son ami decede trois ans auparavant : L’œuvre de Jules Vuillemin, rigoureuse et profonde, d’un acces certes souvent austere, a eu un impact a sa mesure : profond et discret. [Rashed & Pellegrin 2005, Preface, xiii] Ce jugement, qui vaut pour l’ensemble de l’œuvre philos
Jules Vuillemin face à la philosophie analytique
Forme et matière informatiques
Nous sommes entourés de machines dont une composante tire son nom d'une faculté cognitive du vivant. Les ordinateurs possèdent en effet une ou plusieurs « mémoires » : mémoire morte, mémoire vive, registres du processeur, disques durs, cartes mémoire, clefs USB, etc. Quelle est la raison d'être de la mémoire informatique et à quelles conditions est-elle matériellement possible ? Nous montrerons dans un premier temps que la notion de mémoire dériv…
Temps et activité selon Unix
Nous traiterons ici du concept de temps propre au système d'exploitation Unix, en montrant d'une part comment il se distingue de celui de la machine et de l'autre comment il s'articule à la notion d'activité propre à Unix : celle de processus. Nous exposerons ainsi dans un premier temps la temporalité propre aux machines synchrones définies par John von Neumann dans le « First Draft of a Report on the EDVAC » (1945), avant d'analyser dans le déta…
La classification cubique des systèmes philosophiques par Jules Vuillemin
Philosophe structural tout autant qu’historien structural de la philosophie, Jules Vuillemin fonde la classification des systèmes philosophiques sur une structure jumelle : la classification des formes de prédication. Essayant d’appliquer à l’œuvre de Vuillemin la méthode qu’il appliquait à ses objets d’étude, nous montrons que la structure de ces deux classifications peut être déduite de la combinaison de trois critères : le caractère intelligib…
Un Français peut-il encore comprendre les philosophes d'outre-Manche
Dans une conférence prononcée à Oxford en 1966 ou 1967, Jules Vuillemin décrit l’état de la philosophie française contemporaine en l’opposant à la philosophie analytique anglaise. Afin de promouvoir l’usage de méthodes rigoureuses en philosophie, Vuillemin analyse la philosophie de Russell au moyen de la méthode de Martial Gueroult, pose le problème des relations entre abstraction et monde sensible et intervient dans la discussion de la théorie d…
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere
Les concepts de paradigme et de thématisation, par lesquels Jean Cavaillès décrit dans l’ouvrage posthume Sur la Logique et la théorie de la science la dynamique de l’activité mathématique, trouvent dans la théorie des catégories à la fois une illustration et une formalisation, et dans la dialectique hégélienne un précédent. Dans un premier temps, nous examinerons cette hypothèse, non sans définir le concept de thématisation et les quelques notio…
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere
Les concepts de paradigme et de thématisation, par lesquels Jean Cavaillès décrit dans l’ouvrage posthume Sur la Logique et la théorie de la science la dynamique de l’activité mathématique, trouvent dans la théorie des catégories à la fois une illustration et une formalisation, et dans la dialectique hégélienne un précédent. Dans un premier temps, nous examinerons cette hypothèse, non sans définir le concept de thématisation et les quelques notio…
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere
Les concepts de paradigme et de thématisation, par lesquels Jean Cavaillès décrit dans l’ouvrage posthume Sur la Logique et la théorie de la science la dynamique de l’activité mathématique, trouvent dans la théorie des catégories à la fois une illustration et une formalisation, et dans la dialectique hégélienne un précédent. Dans un premier temps, nous examinerons cette hypothèse, non sans définir le concept de thématisation et les quelques notio…
La classification cubique des systèmes philosophiques par Jules Vuillemin
Philosophe structural tout autant qu’historien structural de la philosophie, Jules Vuillemin fonde la classification des systèmes philosophiques sur une structure jumelle : la classification des formes de prédication. Essayant d’appliquer à l’œuvre de Vuillemin la méthode qu’il appliquait à ses objets d’étude, nous montrons que la structure de ces deux classifications peut être déduite de la combinaison de trois critères : le caractère intelligib…
Un Français peut-il encore comprendre les philosophes d'outre-Manche
Dans une conférence prononcée à Oxford en 1966 ou 1967, Jules Vuillemin décrit l’état de la philosophie française contemporaine en l’opposant à la philosophie analytique anglaise. Afin de promouvoir l’usage de méthodes rigoureuses en philosophie, Vuillemin analyse la philosophie de Russell au moyen de la méthode de Martial Gueroult, pose le problème des relations entre abstraction et monde sensible et intervient dans la discussion de la théorie d…
Forme et matière informatiques
Nous sommes entourés de machines dont une composante tire son nom d'une faculté cognitive du vivant. Les ordinateurs possèdent en effet une ou plusieurs « mémoires » : mémoire morte, mémoire vive, registres du processeur, disques durs, cartes mémoire, clefs USB, etc. Quelle est la raison d'être de la mémoire informatique et à quelles conditions est-elle matériellement possible ? Nous montrerons dans un premier temps que la notion de mémoire dériv…
Temps et activité selon Unix
Nous traiterons ici du concept de temps propre au système d'exploitation Unix, en montrant d'une part comment il se distingue de celui de la machine et de l'autre comment il s'articule à la notion d'activité propre à Unix : celle de processus. Nous exposerons ainsi dans un premier temps la temporalité propre aux machines synchrones définies par John von Neumann dans le « First Draft of a Report on the EDVAC » (1945), avant d'analyser dans le déta…
Jules Vuillemin, disciple hétérodoxe de Martial Gueroult
Si l’on devait en croire les revendications explicites de Jules Vuillemin, sa relation envers Martial Gueroult aurait essentiellement été d’élève à maître. Un examen plus attentif de l’œuvre de Vuillemin révèle pourtant des écarts significatifs quoique non revendiqués. Nous analyserons dans un premier temps l’autoportrait de Vuillemin en disciple – d’une œuvre, d’une autorité et d’un chef d’école. Nous décrirons ensuite à quelles transformations,…
Les langages de Turing
Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'int…
Structure and Evolution of Jules Vuillemin’s La Philosophie de l’algèbre (volume I and II)
Ouvrage dense et paru de façon tronquée, La Philosophie de l'algèbre de Jules Vuillemin (tomes I et II) peut sembler composite. Nous montrons au contraire que ce manifeste de la structure en philosophie n'est pas rhapsodie mais système : ses parties ne prennent tout leur sens que dans leur relation au tout. Loin de remettre en cause le résultat de l'analyse structurale, l'étude génétique met au jour un souci constant de préservation de la systéma…
Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. Introduction
1 Un impact « profond et discret » Roshdi Rashed ecrivait en novembre 2004, dans la preface d’un recueil d’etudes consacrees a son ami decede trois ans auparavant : L’œuvre de Jules Vuillemin, rigoureuse et profonde, d’un acces certes souvent austere, a eu un impact a sa mesure : profond et discret. [Rashed & Pellegrin 2005, Preface, xiii] Ce jugement, qui vaut pour l’ensemble de l’œuvre philos
Jules Vuillemin face à la philosophie analytique
New Programming Styles Suggested by Human Languages
Can human languages help us write programs in a different way than we usually do? To examine this question, we first define exactly what it means for a programming language to be “derived from” a human language. Next, we analyse cases in which translating a program from one human language to another does not significantly change the program’s structure. Finally, we examine two game-changing cases: a programming language derived from Latin, in whi…
Philosophy (8 works) · Humanities (7 works) · Historical and Literary Studies (6 works) · Philosophy (4 works) · Historical Studies and Socio-cultural Analysis (3 works) · Logic, programming, and type systems (3 works) · Renaissance Literature and Culture (3 works) · Art (2 works) · Computability, Logic, AI Algorithms (2 works) · Computer Science (2 works)