Baptiste Mélès

34 %
Libre accès
152
Documents
Affiliations actuelles
  • Université de Lorraine (UL)
  • Centre National de la Recherche Scientifique (CNRS)
  • Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies (AHP-PReST)
Identifiants chercheurs
Contact

Présentation


Publications

18
16
13
10
7
7
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
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
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
10
5
2
1
1
1
1
1
1
1
1
1
1
1
1
1
61
58
30
27
12
10

Publications

Deposit thumbnail

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-04876214v1
Deposit thumbnail

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-04876066v1
Deposit thumbnail

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-04385961v1

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

Baptiste Mélès

Revue internationale de philosophie, 2020, 291 (1), pp.63-76. ⟨10.3917/rip.291.0063⟩

Article dans une revue halshs-03097148v1
Deposit thumbnail

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-03097003v2

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-04081200v1
Deposit thumbnail

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-03096996v2
Deposit thumbnail

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, Retour à Turing : son héritage aujourd’hui, 72, pp.81-110. ⟨10.3406/intel.2020.1947⟩

Article dans une revue halshs-03097129v1
Deposit thumbnail

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, Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin, 24 (3), pp.219-235. ⟨10.4000/philosophiascientiae.2472⟩

Article dans une revue halshs-03097308v2
Deposit thumbnail

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, Les circulations scientifiques internationales depuis le début du XXe siècle, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩

Article dans une revue hal-02431039v1

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-01975025v1
Deposit thumbnail

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-01529028v1

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, 149 (2), pp.61-77. ⟨10.3917/caph1.149.0061⟩

Article dans une revue hal-01679677v1
Deposit thumbnail

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-01679647v1
Deposit thumbnail

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

Baptiste Mélès , Raphaël Derobe

Philosophia Scientiae, 2017, 21 (2), pp.149-161. ⟨10.4000/philosophiascientiae.1283⟩

Article dans une revue hal-01679658v1
Deposit thumbnail

Sommes-nous libres ?

Baptiste Mélès , Julien Borgeon

Philosophia Scientiae, 2017, Raymond Ruyer, 21 (2), pp.163-174. ⟨10.4000/philosophiascientiae.1285⟩

Article dans une revue hal-01679656v1
Deposit thumbnail

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-01425868v1
Deposit thumbnail

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-01413928v1
Deposit thumbnail

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-01224075v1
Deposit thumbnail

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-01224080v1
Deposit thumbnail

Présentation

Thomas Bénatouïl , Baptiste Mélès

Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 112 (1), pp.3-8. ⟨10.3917/leph.151.0003⟩

Article dans une revue hal-01224078v1
Deposit thumbnail

L’informatique sans ordinateur

Baptiste Mélès

Images des mathématiques, 2015, ⟨10.60868/26e5-jq91⟩

Article dans une revue hal-01223482v1
Deposit thumbnail

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, 112 (1), pp.9-30. ⟨10.3917/leph.151.0009⟩

Article dans une revue hal-01224079v1
Deposit thumbnail

La comptine des neuf divisions

Baptiste Mélès

Images des mathématiques, 2015, ⟨10.60868/0ejh-2103⟩

Article dans une revue hal-01224073v1
Deposit thumbnail

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-01224074v1
Deposit thumbnail

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-01224082v1
Deposit thumbnail

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-01224091v2
Deposit thumbnail

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-01224106v1

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

Baptiste Mélès

Cahiers du football, 2013

Article dans une revue hal-01224109v1
Deposit thumbnail

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-01224100v2

Logique et linguistique de l'informatisation du droit

Baptiste Mélès

Mathématiques et philosophie contemporaines XII, Sébastien Maronne, Jun 2025, Saint-Ferréol, France

Communication dans un congrès halshs-05542157v1

Une technologie d'avenir pour le droit : la « bonne vieille intelligence artificielle »

Baptiste Mélès

Responsabilité 2.0 : quand le droit rencontre l’IA, Mar 2025, Metz, France

Communication dans un congrès halshs-05542133v1

L'archivage et la citation de logiciels avec Software Heritage

Baptiste Mélès

Swiss Video Game Archivists, Magalie Vetter, Dec 2025, Distanciel, Suisse

Communication dans un congrès halshs-05542170v1

Do computer-assisted proofs change the game for mathematical contingentism?

Baptiste Mélès

David Bloor and the contingency of the formal sciences, Léna Soler, Oct 2025, Nancy, France

Communication dans un congrès halshs-05542160v1

La théorie des types, de Russell à Coq

Baptiste Mélès

Séminaire interne de philosophie des mathématiques des Archives Henri-Poincaré, May 2025, Nancy, France

Communication dans un congrès halshs-05542155v1

L'archivage et la citation de logiciels avec Software Heritage

Baptiste Mélès

Dépôt party du consortium Huma-Num DISTAM, Dec 2025, Paris, France

Communication dans un congrès halshs-05542166v1

Quelle intelligence peut-on artificialiser ?

Baptiste Mélès

Faut-il avoir peur de l'intelligence artificielle ?, Bruno Guillemin, Feb 2025, Nancy, France

Communication dans un congrès halshs-05542127v1

Quelle intelligence peut-on artificialiser ?

Baptiste Mélès

Quelle intelligence peut-on artificialiser ?, Éléonore Govilas, Oct 2025, Nancy, France

Communication dans un congrès halshs-05542162v1

Penser la programmation dans d'autres langues

Baptiste Mélès

Séminaire GENIC, Cécile-Marie Martin, Apr 2025, Distanciel, France

Communication dans un congrès halshs-05542137v1

Programmer dans d'« autres » langues

Baptiste Mélès

10 ans de séminaire Codes Sources, Emmanuel Chailloux; Raphaël Fournier-S'niehotta; Baptiste Mélès, Jan 2025, Paris, France

Communication dans un congrès halshs-05542122v1

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

Baptiste Mélès

Fudan Logic Seminar, Apr 2024, Shanghai, France

Communication dans un congrès halshs-04876505v1

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-04876680v1

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-04876460v1

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-04876627v1

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-04876480v1

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-04876656v1

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-04876639v1

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-04876663v1

Programmer en chinois classique

Baptiste Mélès

Journée d'étude AHP / ATILF, Jun 2024, Nancy, France

Communication dans un congrès halshs-04876650v1

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-04876605v1

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-04876670v1

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-04238867v1

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-04385785v1

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-04385767v1

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-04385896v1

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-04385794v1

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-04385817v1

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-04385926v1

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-04385863v1

Programmes sans algorithmes

Baptiste Mélès

Formalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France

Communication dans un congrès halshs-04385834v1

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-03950330v1

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-03828120v1

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-02431223v1

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-02431211v1

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-02431217v1

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-02431057v1

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-02431064v1

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-02431225v1

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-02431071v1

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-02431074v1

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-01975098v1

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-01975085v1

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-01975093v1

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-01679888v1

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-01679893v1

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-01679891v1

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-01679892v1

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-01679885v1

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-01428813v1

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-01428807v1

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-01428799v1

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-01428819v1

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-01428777v1

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-01267562v1

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-01428788v1

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-01428781v1

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-01224199v1

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-01224207v1

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-01250747v1

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-01224195v1

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-01224137v1

Upgrade Your Abacus : Computing Tool Extensions

Baptiste Mélès

Computability in Europe 2015, Jun 2015, Bucarest, Romania

Communication dans un congrès hal-01224132v1

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-01224197v1

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-01224209v1

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-01224204v1

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-01225016v1

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-01225059v1

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-01225035v1
Deposit thumbnail

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-03850874v1

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-01225009v1

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-01225018v1

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-01225052v1

L’invention des concepts en informatique

Baptiste Mélès

Séminaire Complex Networks, Jun 2014, Paris, France

Communication dans un congrès hal-01225038v1

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-01225086v1

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-01225088v1

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-01225028v1

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-01225090v1

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-01225106v1

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-01224162v1

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-01225103v1

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-01225098v1

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-01224159v1

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-01224149v1

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-01224156v1

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-01225093v1

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-01225100v1

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-01224172v1

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-01225111v1

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-01224165v1

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-01225110v1
Deposit thumbnail

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-01225118v1

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-01225115v1

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-01225125v1

É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-01225121v1

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-01224174v1
Deposit thumbnail

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-01225124v1

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-01224178v1

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-01225129v1

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-01225138v1
Deposit thumbnail

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-01225141v1
Deposit thumbnail

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-01224181v1
Deposit thumbnail

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-01224187v1

Albert Lautman philosophe. Des mathématiques à la Résistance

Christophe Eckes , Frédéric Jaeck , Baptiste Mélès , Jean-Jacques Szczeciniarz

Christophe Eckes; Frédéric Jaëck; Baptiste Mélès; Jean-Jacques Szczeciniarz. Éditions Rue d’Ulm / Presses de l’ENS-PSL, 2025, Actes de la recherche à l’ENS-PSL, 978-2-7288-0892-2

Ouvrages hal-05121128v1

Le juste et le bien : essais de philosophie morale et politique

Jules Vuillemin , Baptiste Mélès , David Thomasette , Gerhard Heinzmann , Laurent Ménière et al.

Agone, 2022, 978-2-7489-0482-6

Ouvrages halshs-03930190v1

Hommage à Jean Cavaillès

Baptiste Mélès , Jean-Jacques Szczeciniarz

Hermann, 2019

Ouvrages halshs-02052075v1

Les Classifications des systèmes philosophiques

Baptiste Mélès

Baptiste Mélès. Vrin, pp.317, 2016, Mathesis, Hourya Benis Sinaceur, 978-2-7116-2691-5

Ouvrages hal-01413934v1

Comment lire L'Archéologie du savoir de Michel Foucault ?

Baptiste Mélès

, 2015 (3), 2015, Les Études philosophiques, 9782130651116

Ouvrages hal-01250637v1

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-04385990v1

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-03931063v1

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, Philosophie, Politique et Économie - Sciences et Technique, 9782705691080. ⟨10.3917/herm.szcze.2019.01.0075⟩

Chapitre d'ouvrage halshs-02431016v1

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, 2018, 978-2-7056-9108-0

Chapitre d'ouvrage halshs-02431009v1

Démonstration (article grand public)

Baptiste Mélès

L'Encyclopédie philosophique, , 2016

Chapitre d'ouvrage hal-01413616v1

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-01413931v1

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-01224090v1

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-01224112v1
Deposit thumbnail

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-01224117v1