Baptiste Mélès

143
Documents

Publications

19
16
12
10
7
6
6
6
6
6
6
6
5
5
5
5
5
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
10
5
2
2
1
1
1
1
1
1
1
1
1
1
1
1
70
41
30
27
27
25

Publications

Image document

Every file is a program, but not the reverse

Baptiste Mélès
European Mathematical Society Magazine, 2024, 133, pp.5-11. ⟨10.4171/mag/205⟩
Article dans une revue halshs-04876214 v1
Image document

Préserver et rendre identifiables les logiciels de recherche avec Software Heritage

Frédéric Santos , Baptiste Mélès , Sabrina Granger
The programming historian en français, 2024, 6, ⟨10.46430/phfr0034⟩
Article dans une revue halshs-04876066 v1
Image document

Tout fichier est un programme... et non l’inverse

Baptiste Mélès
La Gazette de la Société mathématique de France, 2023, 176
Article dans une revue halshs-04385961 v1
Image document

Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II)

Baptiste Mélès
Philosophia Scientiae, 2020, 24-3, pp.17-42. ⟨10.4000/philosophiascientiae.2512⟩
Article dans une revue halshs-03096996 v2

Préface

Gerhard Heinzmann , Baptiste Mélès
Revue de Synthèse, 2020, 141, 7e Série (N° 1-2), pp. 1-10. ⟨10.4000/philosophiascientiae.1297⟩
Article dans une revue hal-02976150 v1

Regards croisés sur l’histoire et la philosophie de l’informatique

Florian Vetter , Baptiste Mélès , Camille Paloque-Bergès , Loic Petitgirard , Valérie Schafer et al.
Cahiers François Viète, 2020, 3 (9), pp.177-195. ⟨10.4000/cahierscfv.532⟩
Article dans une revue hal-04081200 v1

Jules Vuillemin, disciple hétérodoxe de Martial Gueroult

Baptiste Mélès
Revue internationale de philosophie, 2020, n°291 (1), pp.63. ⟨10.3917/rip.291.0063⟩
Article dans une revue halshs-03097148 v1
Image document

Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. Introduction

Sébastien Maronne , Baptiste Mélès
Philosophia Scientiae, 2020, 24-3, pp.3-16. ⟨10.4000/philosophiascientiae.2502⟩
Article dans une revue halshs-03097003 v2
Image document

Le tome II de La Philosophie de l’algèbre. Dossier documentaire

Jules Vuillemin , Gudrun Vuillemin-Diem , Simon Decaens , Sébastien Maronne , Baptiste Mélès
Philosophia Scientiae, 2020, 24-3, pp.219-235. ⟨10.4000/philosophiascientiae.2472⟩
Article dans une revue halshs-03097308 v2

Les langages de Turing

Baptiste Mélès
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2020, 72, pp.81-110
Article dans une revue halshs-03097129 v1

Présentation du texte de Jules Vuillemin « De la connaissance sensible et de la parité qu’elle manifeste entre l’homme et l’animal »

Baptiste Mélès , Renan Strauss
Philosophia Scientiae, 2019, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩
Article dans une revue hal-02431039 v1

Les langages du web

Baptiste Mélès
Textes et documents pour la classe, 2018, Réseaux, 1116, pp.40-43
Article dans une revue halshs-01975025 v1

Forme et matière informatiques Le concept de mémoire et ses réalisations physiques

Didier Lommelé , Baptiste Mélès
Cahiers philosophiques, 2017, La mémoire, 2 (149), pp.61-77. ⟨10.3917/caph1.149.0061⟩
Article dans une revue hal-01679677 v1

Effets moraux de l’accélération de l’histoire

Jules Vuillemin , Baptiste Mélès , Raphaël Derobe
Philosophia Scientiae, 2017, 21-2, pp.149 - 161. ⟨10.4000/philosophiascientiae.1283⟩
Article dans une revue hal-01679658 v1

Sommes-nous libres ?

Jules Vuillemin , Baptiste Mélès , Julien Borgeon
Philosophia Scientiae, 2017, 21-2, pp.163 - 174. ⟨10.4000/philosophiascientiae.1285⟩
Article dans une revue hal-01679656 v1

Deux textes politiques de Jules Vuillemin

Baptiste Mélès , Julien Borgeon , Raphaël Derobe
Philosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩
Article dans une revue hal-01529028 v1

Temps et activité selon Unix

Baptiste Mélès
Réseaux : communication, technologie, société, 2017, Décoder les programmes, 206 (6), pp.125-153. ⟨10.3917/res.206.0125⟩
Article dans une revue hal-01679647 v1
Image document

Approche philologique des langages de programmation

Baptiste Mélès
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.237-254. ⟨10.3166/TSI.35.237-254⟩
Article dans une revue hal-01425868 v1

Comment le scepticisme est devenu un système. La classification de Jules Vuillemin et ses transformations

Baptiste Mélès
Philosophia Scientiae, 2016, Le scepticisme selon Jules Vuillemin, 20 (3), pp.91-107. ⟨10.4000/philosophiascientiae.1204⟩
Article dans une revue hal-01413928 v1

La comptine des neuf divisions

Baptiste Mélès
Images des Mathématiques, 2015
Article dans une revue hal-01224073 v1

Un Français peut-il encore comprendre les philosophes d’outre-Manche ? Présentation

Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.323-326. ⟨10.3917/leph.151.0009⟩
Article dans une revue hal-01224079 v1

La classification cubique des systèmes philosophiques par Jules Vuillemin

Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.51-64. ⟨10.3917/leph.151.0051⟩
Article dans une revue hal-01224080 v1
Image document

Présentation

Baptiste Mélès
Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.323-326. ⟨10.3917/leph.153.0323⟩
Article dans une revue hal-01224075 v1

Présentation

Thomas Bénatouïl , Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.3-8. ⟨10.3917/leph.151.0003⟩
Article dans une revue hal-01224078 v1

L’informatique sans ordinateur

Baptiste Mélès
Images des Mathématiques, 2015
Article dans une revue hal-01223482 v1
Image document

Les « règles de formation » comme catégories foucaldiennes

Baptiste Mélès
Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.391-412. ⟨10.3917/leph.153.0391⟩
Article dans une revue hal-01224074 v1
Image document

Thématisation et philosophie de l'informatique

Baptiste Mélès
Revue de l'EPI (Enseignement Public et Informatique), 2014
Article dans une revue hal-01224082 v1
Image document

Fragments de mathématiques existentielles

Baptiste Mélès , Laurent Derobert
Revue de Synthèse, 2013, 134 (3), pp.406-408
Article dans une revue hal-01224106 v1
Image document

Unix selon l’ordre des raisons : la philosophie de la pratique informatique

Baptiste Mélès
Philosophia Scientiae, 2013, 17 (3), pp.181-198. ⟨10.4000/philosophiascientiae.897⟩
Article dans une revue hal-01224091 v2

Pastore ou l'élégance, fille de la paresse

Baptiste Mélès
Cahiers du football, 2013
Article dans une revue hal-01224109 v1
Image document

Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere

Baptiste Mélès
Philosophia Scientiae, 2012, From Practice to Results in Logic and Mathematics, 16 (1), pp.153-182. ⟨10.4000/philosophiascientiae.725⟩
Article dans une revue hal-01224100 v2

Tymoczko après Coq : Quid novi sub sole?

Baptiste Mélès
École thématique « Mathématiques et philosophie contemporaines XI », Sébastien Maronne, Jun 2024, Saint-Ferréol, France
Communication dans un congrès halshs-04876656 v1

Is Programming Different in Classical Chinese?

Baptiste Mélès
Formalization in Logic, Language, and Mathematics IV, Kai Wehmeier, May 2024, Irvine, United States
Communication dans un congrès halshs-04876460 v1

Que peut apporter l'histoire des sciences à la philosophie des sciences ?

Baptiste Mélès
Histoire et philosophie des sciences et des techniques, May 2024, Nancy, France
Communication dans un congrès halshs-04876627 v1

The Rationale of Axioms: Peano’s Arithmetic in Coq’s Standard Library

Baptiste Mélès
Fudan Logic Seminar, Apr 2024, Shanghai (Chine), France
Communication dans un congrès halshs-04876505 v1

Présentation de Software Heritage

Baptiste Mélès
Colloque Sciences Ouvertes 2024 – Produire, ouvrir et valoriser les logiciels de recherche à l’Université de Lorraine, Nov 2024, Nancy, France
Communication dans un congrès halshs-04876680 v1

Programming in Classic Chinese: Should we read Wenyan as if it were English?

Baptiste Mélès
History of Science, History of Text. Tribute to Karine Chemla, Mar 2024, Paris, France
Communication dans un congrès halshs-04876480 v1

La méthode scientifique en informatique

Baptiste Mélès
Séminaire des doctorantes et doctorants en informatique, Société informatique de France, May 2024, Nancy, France
Communication dans un congrès halshs-04876639 v1

Programmer en chinois classique

Baptiste Mélès
Journée d'étude AHP / ATILF, Jun 2024, Nancy, France
Communication dans un congrès halshs-04876650 v1

Expressivité des langages de programmation et linguistique comparée

Baptiste Mélès
Journées du GT Notebook, Nov 2024, Paris, France
Communication dans un congrès halshs-04876670 v1

Penser la programmation par la linguistique

Baptiste Mélès
Journées du Centre Informatique et Société, Oct 2024, Paris, France
Communication dans un congrès halshs-04876663 v1

Réponse à Viviane Pons, « Combinatorics of the Permutahedra, Associahedra, and Friends »

Baptiste Mélès
Représentations exploratoires en mathématiques, Emmylou Haffner; David Waszek, Apr 2024, Paris, France
Communication dans un congrès halshs-04876605 v1

Les preuves de nécessité chez Cavaillès

Baptiste Mélès
Jean Cavaillès and His Intellectual Milieu, Paul Cortois; Massimiliano Simons; Marjolein Holvoet; Maarten Van Dyck, Jan 2023, Leuven (Belgique), Belgique
Communication dans un congrès halshs-03950330 v1

Programmes sans algorithmes

Baptiste Mélès
Formalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France
Communication dans un congrès halshs-04385834 v1

Défis archivistiques et philologiques de la préservation des codes sources

Baptiste Mélès
Aspects ontologiques et épistémiques des sources et des ressources textuelles, Pierre Willaime; Andrei Rodin, Jul 2023, Nancy, France
Communication dans un congrès halshs-04385767 v1

Jules Vuillemin historien de la philosophie et des sciences

Baptiste Mélès
École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France
Communication dans un congrès halshs-04385794 v1

Programs Without Algorithms

Baptiste Mélès
Formalization in Logic, Language, and Mathematics Conference #2, Andrew Arana, Sep 2023, Nancy, France
Communication dans un congrès halshs-04385896 v1

La systématicité dans les sciences formelles

Baptiste Mélès
Séminaire Philmath, Oct 2023, Paris & en distanciel, France
Communication dans un congrès halshs-04238867 v1

Jules Vuillemin philosophe

Baptiste Mélès
École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France
Communication dans un congrès halshs-04385785 v1

How programming languages rehabilitate morphology

Baptiste Mélès
Nancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics, Kai Wehmeier, Apr 2023, Irvine, CA (USA), France
Communication dans un congrès halshs-04385863 v1

Les langages de programmation à la lumière de la linguistique comparée

Baptiste Mélès
Les Jeudis de l'Histoire et de la philosophie des sciences, Sophie Roux; Mathias Girel, Dec 2023, Paris, France
Communication dans un congrès halshs-04385926 v1

When analytic languages were the future of programming

Baptiste Mélès
Future visions on computing and programming then and now, Liesbeth De Mol, Jun 2023, Lille, France
Communication dans un congrès halshs-04385817 v1

Philosophical Uses of Software Archive

Baptiste Mélès
Preserving our Landmark Legacy Software: Collect, Archive, Display, Software Heritage, Oct 2022, Paris, France
Communication dans un congrès halshs-03828120 v1

Which Artificial Intelligence for Philosophical Research?

Baptiste Mélès
Global Forum on AI for Humanity, Oct 2019, Paris, France
Communication dans un congrès hal-02431217 v1

Systèmes philosophiques et paradigmes de programmation

Baptiste Mélès
Séminaire Gallinette, Guillaume Munch-Maccagnoni, Nov 2019, Nantes, France
Communication dans un congrès hal-02431223 v1

Les codes sources comme textes

Baptiste Mélès
Énonciation et langages de programmation, Sémir Badir; Maria Giulia Dondero; François Provenzano; Stéphane Polis, Nov 2019, Liège, Belgique
Communication dans un congrès hal-02431211 v1

From Abstraction To Philosophical Systems : Abstraction and Generalization in Jules Vuillemin

Baptiste Mélès
The Theory of definitions by abstraction : roots, history, contemporary developments, Jean-Baptiste Joinet, Feb 2019, Lyon, France
Communication dans un congrès hal-02431057 v1

Nécessité et contingence en histoire des sciences

Baptiste Mélès
L’épistémologie historique, hier et aujourd’hui, Sébastien Maronne, Jun 2019, Toulouse, France
Communication dans un congrès hal-02431064 v1

Christine Proust, âme du projet MesoCalc

Baptiste Mélès
À propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France
Communication dans un congrès hal-02431225 v1

Turing languages

Baptiste Mélès
Informatique et Philosophie : interactions contemporaines, Jean-Baptiste Joinet; Luiz Carlos Pereira, Aug 2019, Ilha Grande, Brazil
Communication dans un congrès hal-02431071 v1

Turing languages : Theory and Practice

Baptiste Mélès
Autumn workshop II: Programming Languages and Notations, Liesbeth De Mol, Oct 2019, Bertinoro, Italy
Communication dans un congrès hal-02431074 v1

Unix Ontology : Time and First Mover in Unix v6

Baptiste Mélès
Formalisms at the interface with machines, languages and systems, Oct 2018, Bertinoro, Italy
Communication dans un congrès halshs-01975098 v1

Structures et morphismes en histoire de la philosophie

Baptiste Mélès
La Philosophie ventriloque, Feb 2018, Aix-en-Provence, France
Communication dans un congrès halshs-01975085 v1

L’introduction de redondances dans un langage formel : les "parties du discours" dans le langage Java

Baptiste Mélès
Philosophie scientifique et philosophie pour l’âge de la science. Gilles Gaston Granger et Jules Vuillemin, Sep 2018, Marseille, France
Communication dans un congrès halshs-01975093 v1

Classification des systèmes et paix perpétuelle en philosophie

Baptiste Mélès
Séminaire Epistemon, Oct 2017, Montpellier, France
Communication dans un congrès hal-01679892 v1

Les nouvelles voies de l’anachronisme en histoire et philosophie des sciences formelles

Baptiste Mélès
Journée de réflexion sur l’histoire et la philosophie des sciences et des techniques en France, à l’occasion du 60e anniversaire du Comité National Français d’Histoire et de Philosophie des Sciences et des Techniques, Mar 2017, Paris, France
Communication dans un congrès hal-01679885 v1

Historique de la société Les Amis de Jean Cavaillès

Baptiste Mélès
Séminaire d'histoire des mathématiques, Apr 2017, Nancy, France
Communication dans un congrès hal-01679888 v1

Styles de programmation informatique et formes de prédication vuilleminiennes

Baptiste Mélès
Épistémologie comparative et philosophie du style : l’œuvre de Gilles Gaston Granger, Nov 2017, Clermont-Ferrand, France
Communication dans un congrès hal-01679893 v1

Les Amis de Jean Cavaillès : historique

Baptiste Mélès
Journées en l’honneur d’Hourya Benis Sinaceur, Jun 2017, Paris, France
Communication dans un congrès hal-01679891 v1

L’Histoire de la raison pure de Kant

Baptiste Mélès
La Méthodologie transcendantale de Kant, Baptiste Mélès; Ayşe Yuva, Mar 2016, Nancy, France
Communication dans un congrès hal-01428777 v1

Présentation du tome II de la Philosophie de l’algèbre de Jules Vuillemin

Baptiste Mélès
La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II), David Thomasette, Dec 2016, Nancy, France
Communication dans un congrès hal-01428819 v1

MesoCalc, la calculatrice mésopotamienne en JavaScript

Baptiste Mélès , Christine Proust
Séminaire Codes sources, Baptiste Mélès, Jan 2016, Paris, France
Communication dans un congrès hal-01267562 v1

L’histoire structurale de la philosophie, de Martial Gueroult à Victor Goldschmidt

Baptiste Mélès
L’histoire structurale de la philosophie, Baptiste Mélès, Dec 2016, Nancy, France
Communication dans un congrès hal-01428813 v1

On formulas for computing both the volume of a truncated pyramid and the circumference of hermeneutic circles

Pierre Chaigneau , Baptiste Mélès
2016-10-25, Karine Chemla, Oct 2016, Paris, France
Communication dans un congrès hal-01428807 v1

Which mathematics was used to read ancient texts, and which impact had the mathematics used on the reading and interpretation of the ancient texts?

Pierre Chaigneau , Baptiste Mélès
séminaire SAW-ERC, Karine Chemla, Sep 2016, Paris, France
Communication dans un congrès hal-01428799 v1

Le chaînon manquant : le tome 2 de la Philosophie de l’algèbre de Jules Vuillemin

Baptiste Mélès
Grandes conférences des Archives Henri-Poincaré, Apr 2016, Nancy, France
Communication dans un congrès hal-01428788 v1

Spinoza en Coq : démonstration complète des premières propositions de l’Éthique

Baptiste Mélès
séminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France
Communication dans un congrès hal-01428781 v1

Réseaux informatiques et logique dialogique

Baptiste Mélès
Interaction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France
Communication dans un congrès hal-01224204 v1

Philosophie de l’informatique concrète. I : Langages théoriques et langages concrets en programmation. II : Ontologies des langages de programmation. III : Le Temps selon Unix

Baptiste Mélès
école thématique « Mathématique, informatique et philosophie contemporaines III », Sébastien Maronne, Mar 2015, Toulouse, France
Communication dans un congrès hal-01224199 v1

Le concept d’objet en programmation informatique

Baptiste Mélès
séminaire MathObRe, Gerhard Heinzmann, Feb 2015, Nancy, France
Communication dans un congrès hal-01224207 v1

En quel sens les démonstrations assistées par ordinateur sont-elles formelles ?

Baptiste Mélès
Rhétorique en mathématiques, Caroline Jullien, Nov 2015, Nancy, France
Communication dans un congrès hal-01250747 v1

Spinoza en Coq : démonstration complète des premières propositions de l’Éthique

Baptiste Mélès
Mathématiques, Informatique et Philosophie, Sébastien Maronne, Sep 2015, Toulouse, France
Communication dans un congrès hal-01224195 v1

Early relations between analytic and French philosophy of science

Baptiste Mélès
French and analytic approaches to science in the 20th century and today, Léna Soler, Jun 2015, Nancy, France
Communication dans un congrès hal-01224137 v1

Upgrade Your Abacus : Computing Tool Extensions

Baptiste Mélès
Computability in Europe 2015, Jun 2015, Bucarest, Romania
Communication dans un congrès hal-01224132 v1

Le rêve de Gueroult : Spinoza en Coq

Baptiste Mélès
Journées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France
Communication dans un congrès hal-01224197 v1

Approche philologique des langages de programmation

Baptiste Mélès
séminaire d'informatique de Paris XIII, Jan 2015, Villetaneuse, France
Communication dans un congrès hal-01224209 v1

Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmique

Baptiste Mélès
Le Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France
Communication dans un congrès hal-01225028 v1

Approche philologique des langages de programmation

Baptiste Mélès
Groupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Feb 2014, Paris, France
Communication dans un congrès hal-01225088 v1

Victor Goldschmidt avait-il une théorie des systèmes ?

Baptiste Mélès
Les questions platoniciennes de Victor Goldschmidt (1914-1981), David Lefebvre, Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225009 v1

La science et le réel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie de Lorraine, Nov 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225018 v1

L’invention des concepts en informatique

Baptiste Mélès
Séminaire Complex Networks, Jun 2014, Paris, France
Communication dans un congrès hal-01225038 v1

Une science a priori : l’informatique

Baptiste Mélès
Table ronde de la session « Les mathématiques face à l’ordinateur », Liesbeth De Mol; Maarten Bullynck, May 2014, Paris, France
Communication dans un congrès hal-01225052 v1
Image document

Le langage et l'individuel selon Jean-Claude Pariente et Jules Vuillemin

Baptiste Mélès
Approche de l’individuel : hommage à Jean-Claude Pariente, Frédéric Worms, Dec 2014, Paris, France
Communication dans un congrès halshs-03850874 v1

Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmation

Baptiste Mélès
La Logique en question IV, May 2014, Paris, France
Communication dans un congrès hal-01225059 v1

Le langage et le réel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie d’Auvergne, Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225016 v1

Systèmes philosophiques et langages de programmation

Baptiste Mélès
Séminaire de l’ISCC, Oct 2014, Paris, France
Communication dans un congrès hal-01225035 v1

Thématisation et philosophie de l’informatique

Baptiste Mélès
Journée commémorative de la mort il y a 70 ans de Jean Cavaillès (1903-1944), Philosophe et Résistant., Feb 2014, Paris, France
Communication dans un congrès hal-01225086 v1

Les dispositifs de calcul : théorie et pratique

Baptiste Mélès
Groupe de travail de l'IREM, Paris-Diderot, Dec 2013, Paris, France
Communication dans un congrès hal-01225093 v1

Peut-on classer les langages de programmation ?

Baptiste Mélès
Séminaire Philosophie de l’informatique, de la logique et de leurs interfaces, Jean-Baptiste Joinet, Mar 2013, Paris, France
Communication dans un congrès hal-01225100 v1

Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, Gödel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, Jan 2013, Clermont-Ferrand, France
Communication dans un congrès hal-01225106 v1

How to Program an Abacus

Baptiste Mélès
Cultures of computation and quantification in the ancient world, Mar 2013, Paris, France
Communication dans un congrès hal-01224162 v1

Des catégories faisons table rase ! Les formations discursives

Baptiste Mélès
Comment lire L'Archéologie du savoir de Michel Foucault ?, Thomas Bénatouïl; Baptiste Mélès, Feb 2013, Nancy, France
Communication dans un congrès hal-01225103 v1

Les langages de programmation : des codes sources aux programmes

Baptiste Mélès
Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Sylvain Cabanacq; Emmylou Haffner; David Rabouin, Dec 2013, Paris, France
Communication dans un congrès hal-01225090 v1

Instruments de calcul et propriétés arithmétiques

Baptiste Mélès
Cinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Oct 2013, Clermont-Ferrand, France
Communication dans un congrès hal-01224159 v1

Unix selon l’ordre des raisons : la philosophie de la pratique informatique

Baptiste Mélès
Informatique, Philosophie, Mathématiques, Sébastien Maronne, Nov 2013, Toulouse, France
Communication dans un congrès hal-01225098 v1

Philology of Programming Languages

Baptiste Mélès
History and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France
Communication dans un congrès hal-01224156 v1

Algorithms as texts

Baptiste Mélès
La variété des sources mathématiques et la question de leur interprétation, Karine Chemla; Renaud Chorlay; Baptiste Mélès, Nov 2013, Luminy, France
Communication dans un congrès hal-01224149 v1

Logique hegelienne et théorie des catégories

Baptiste Mélès
Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, May 2012, Paris, France
Communication dans un congrès hal-01225115 v1

Programming Languages for Pre-Mechanical Calculating Tools

Baptiste Mélès
Cultures of Mathematics and Logic, Ju Shier; Benedikt Löwe; Thomas Müller; Yun Xie, Nov 2012, Guangzhou, China
Communication dans un congrès hal-01224165 v1

Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin

Baptiste Mélès
Journée des Jeunes chercheurs, Université d’Aix-Marseille, Jun 2012, Aix-en-Provence, France
Communication dans un congrès hal-01225111 v1

Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian Dialectics?

Baptiste Mélès
Formalization and Dialectics, Zachary Luke Fraser, Jun 2012, Maastricht, Netherlands
Communication dans un congrès hal-01224172 v1
Image document

Cavaillès et les « moments de la conscience »

Baptiste Mélès
Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Mar 2012, Paris, France
Communication dans un congrès hal-01225118 v1

Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantien

Baptiste Mélès
L’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France
Communication dans un congrès hal-01225110 v1
Image document

Les ordinateurs peuvent-ils penser ?

Baptiste Mélès
Cycle de conférences L’Homme et la machine, lycée Charles-et-Adrien-Dupuy, Le Puy-en-Velay, Albane Susanna, Mar 2011, Le Puy-en-Velay, France
Communication dans un congrès hal-01225124 v1

Logique hegelienne et théorie des catégories chez William Lawvere

Baptiste Mélès
Modèles mathématiques pour la philosophie, Baptiste Mélès, Mar 2011, Clermont-Ferrand, France
Communication dans un congrès hal-01225125 v1

Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming

Baptiste Mélès
14th Congress of Logic, Methodology and Philosophy of Science, Jul 2011, Nancy, France
Communication dans un congrès hal-01224174 v1

Éclectisme et problèmes classificatoires en philosophie

Baptiste Mélès
Le Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France
Communication dans un congrès hal-01225121 v1

Panorama philosophique pascalien

Baptiste Mélès
Séminaire du centre de recherches Philosophies et rationalités, Apr 2010, Clermont-Ferrand, France
Communication dans un congrès hal-01225138 v1

One and a Half Square of Opposition in Linear Logic

Baptiste Mélès
Square of Opposition 2010, Jean-Yves Beziau, Jun 2010, Corte, France
Communication dans un congrès hal-01224178 v1

Jean Cavaillès entre Hegel et la théorie des catégories

Baptiste Mélès
Colloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France
Communication dans un congrès hal-01225129 v1
Image document

La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard

Baptiste Mélès
Séminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France
Communication dans un congrès hal-01225141 v1
Image document

Systems and Teaching in Stoic and Confucian Philosophies

Baptiste Mélès
Thinking, Doing, Teaching, Jul 2009, Tokyo, Japan
Communication dans un congrès hal-01224187 v1
Image document

Experience and Subjectivity: François Jullien and Jean François Billeter

Baptiste Mélès
Personality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France
Communication dans un congrès hal-01224181 v1

Computing Tools and Representations of Arithmetic

Baptiste Mélès
Cultures of Computation and Quantification in the Ancient World, 6, Springer International Publishing, pp.401-431, 2023, Why the Sciences of the Ancient World Matter, 978-3-030-98360-4. ⟨10.1007/978-3-030-98361-1_7⟩
Chapitre d'ouvrage halshs-03931063 v1

La notion de nécessité historique

Baptiste Mélès
Pierre-Édouard Bour; Manuel Rebuschi; Laurent Rollet. Sciences, Circulations, Révolutions. Festschrift pour Philippe Nabonnand, College Publications, pp.535-543, 2023, 978-1848904255
Chapitre d'ouvrage halshs-04385990 v1

Thématisation et philosophie de l’informatique

Baptiste Mélès
Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.75-85, 2019
Chapitre d'ouvrage halshs-02431016 v1

Les Amis de Jean Cavaillès, de 1947 à aujourd’hui

Baptiste Mélès
Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.127-139, 2019
Chapitre d'ouvrage halshs-02431009 v1

Démonstration (article grand public)

Baptiste Mélès
L'Encyclopédie philosophique, , 2016
Chapitre d'ouvrage hal-01413616 v1

Abacus as a Programming Language: Computer Science and History of Mathematics

Baptiste Mélès
Cultures of Mathematics and Logic. Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, , pp.43-59, 2016, Trends in the History of Science, 978-3-319-31500-3. ⟨10.1007/978-3-319-31502-7_3⟩
Chapitre d'ouvrage hal-01413931 v1

Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiques

Baptiste Mélès
Maria Benedetta Collini; Pascale Auraix-Jonchière. Syncrétismes, mythes et littératures, Maison des Sciences de l’Homme, pp.67-83, 2014, 978-2-84516-655-4
Chapitre d'ouvrage hal-01224090 v1

No Group for Constructive Logics: the Intuitionistic and Linear Cases

Baptiste Mélès
Jean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6
Chapitre d'ouvrage hal-01224112 v1
Image document

Systems and Teaching in Stoic and Confucian Philosophies

Baptiste Mélès
Developing International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010
Chapitre d'ouvrage hal-01224117 v1