Baptiste Mélès
- 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)
Présentation
Publications
Publications
|
|
Every file is a program, but not the reverseEuropean Mathematical Society Magazine, 2024, 133, pp.5-11. ⟨10.4171/mag/205⟩ |
|
|
Préserver et rendre identifiables les logiciels de recherche avec Software HeritageThe programming historian en français, 2024, 6, ⟨10.46430/phfr0034⟩ |
|
|
Tout fichier est un programme... et non l’inverseLa Gazette de la Société mathématique de France, 2023, 176 |
Jules Vuillemin, disciple hétérodoxe de Martial GueroultRevue internationale de philosophie, 2020, 291 (1), pp.63-76. ⟨10.3917/rip.291.0063⟩ |
|
|
|
Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. IntroductionPhilosophia Scientiae, 2020, 24-3, pp.3-16. ⟨10.4000/philosophiascientiae.2502⟩ |
|
|
Regards croisés sur l’histoire et la philosophie de l’informatiqueCahiers François Viète, 2020, 3 (9), pp.177-195. ⟨10.4000/cahierscfv.532⟩ |
|
|
Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II)Philosophia Scientiae, 2020, 24-3, pp.17-42. ⟨10.4000/philosophiascientiae.2512⟩ |
|
|
Les langages de TuringIntellectica - 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⟩ |
|
|
Le tome II de La Philosophie de l’algèbre. Dossier documentairePhilosophia 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⟩ |
|
|
Présentation du texte de Jules Vuillemin « De la connaissance sensible et de la parité qu’elle manifeste entre l’homme et l’animal »Philosophia Scientiae, 2019, Les circulations scientifiques internationales depuis le début du XXe siècle, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩ |
Les langages du webTextes et documents pour la classe, 2018, Réseaux, 1116, pp.40-43 |
|
|
|
Deux textes politiques de Jules VuilleminPhilosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩ |
Forme et matière informatiques Le concept de mémoire et ses réalisations physiquesCahiers philosophiques, 2017, La mémoire, 149 (2), pp.61-77. ⟨10.3917/caph1.149.0061⟩ |
|
|
|
Temps et activité selon UnixRéseaux : communication, technologie, société, 2017, Décoder les programmes, 206 (6), pp.125-153. ⟨10.3917/res.206.0125⟩ |
|
|
Effets moraux de l’accélération de l’histoirePhilosophia Scientiae, 2017, 21 (2), pp.149-161. ⟨10.4000/philosophiascientiae.1283⟩ |
|
|
Sommes-nous libres ?Philosophia Scientiae, 2017, Raymond Ruyer, 21 (2), pp.163-174. ⟨10.4000/philosophiascientiae.1285⟩ |
|
|
Approche philologique des langages de programmationRevue 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⟩ |
|
|
Comment le scepticisme est devenu un système. La classification de Jules Vuillemin et ses transformationsPhilosophia Scientiae, 2016, Le scepticisme selon Jules Vuillemin, 20 (3), pp.91-107. ⟨10.4000/philosophiascientiae.1204⟩ |
|
|
PrésentationLes études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.323-326. ⟨10.3917/leph.153.0323⟩ |
|
|
La classification cubique des systèmes philosophiques par Jules VuilleminLes études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.51-64. ⟨10.3917/leph.151.0051⟩ |
|
|
PrésentationLes études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 112 (1), pp.3-8. ⟨10.3917/leph.151.0003⟩ |
|
|
L’informatique sans ordinateurImages des mathématiques, 2015, ⟨10.60868/26e5-jq91⟩ |
|
|
Un Français peut-il encore comprendre les philosophes d’outre-Manche ? PrésentationLes études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 112 (1), pp.9-30. ⟨10.3917/leph.151.0009⟩ |
|
|
La comptine des neuf divisionsImages des mathématiques, 2015, ⟨10.60868/0ejh-2103⟩ |
|
|
Les « règles de formation » comme catégories foucaldiennesLes études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.391-412. ⟨10.3917/leph.153.0391⟩ |
|
|
Thématisation et philosophie de l'informatiqueRevue de l'EPI (Enseignement Public et Informatique), 2014 |
|
|
Unix selon l’ordre des raisons : la philosophie de la pratique informatiquePhilosophia Scientiae, 2013, 17 (3), pp.181-198. ⟨10.4000/philosophiascientiae.897⟩ |
|
|
Fragments de mathématiques existentiellesRevue de synthèse, 2013, 134 (3), pp.406-408 |
Pastore ou l'élégance, fille de la paresseCahiers du football, 2013 |
|
|
|
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William LawverePhilosophia Scientiae, 2012, From Practice to Results in Logic and Mathematics, 16 (1), pp.153-182. ⟨10.4000/philosophiascientiae.725⟩ |
Logique et linguistique de l'informatisation du droitMathématiques et philosophie contemporaines XII, Sébastien Maronne, Jun 2025, Saint-Ferréol, France |
|
Une technologie d'avenir pour le droit : la « bonne vieille intelligence artificielle »Responsabilité 2.0 : quand le droit rencontre l’IA, Mar 2025, Metz, France |
|
L'archivage et la citation de logiciels avec Software HeritageSwiss Video Game Archivists, Magalie Vetter, Dec 2025, Distanciel, Suisse |
|
Do computer-assisted proofs change the game for mathematical contingentism?David Bloor and the contingency of the formal sciences, Léna Soler, Oct 2025, Nancy, France |
|
La théorie des types, de Russell à CoqSéminaire interne de philosophie des mathématiques des Archives Henri-Poincaré, May 2025, Nancy, France |
|
L'archivage et la citation de logiciels avec Software HeritageDépôt party du consortium Huma-Num DISTAM, Dec 2025, Paris, France |
|
Quelle intelligence peut-on artificialiser ?Faut-il avoir peur de l'intelligence artificielle ?, Bruno Guillemin, Feb 2025, Nancy, France |
|
Quelle intelligence peut-on artificialiser ?Quelle intelligence peut-on artificialiser ?, Éléonore Govilas, Oct 2025, Nancy, France |
|
Penser la programmation dans d'autres languesSéminaire GENIC, Cécile-Marie Martin, Apr 2025, Distanciel, France |
|
Programmer dans d'« autres » langues10 ans de séminaire Codes Sources, Emmanuel Chailloux; Raphaël Fournier-S'niehotta; Baptiste Mélès, Jan 2025, Paris, France |
|
The Rationale of Axioms: Peano’s Arithmetic in Coq’s Standard LibraryFudan Logic Seminar, Apr 2024, Shanghai, France |
|
Présentation de Software HeritageColloque Sciences Ouvertes 2024 – Produire, ouvrir et valoriser les logiciels de recherche à l’Université de Lorraine, Nov 2024, Nancy, France |
|
Is Programming Different in Classical Chinese?Formalization in Logic, Language, and Mathematics IV, Kai Wehmeier, May 2024, Irvine, United States |
|
Que peut apporter l'histoire des sciences à la philosophie des sciences ?Histoire et philosophie des sciences et des techniques, May 2024, Nancy, France |
|
Programming in Classic Chinese: Should we read Wenyan as if it were English?History of Science, History of Text. Tribute to Karine Chemla, Mar 2024, Paris, France |
|
Tymoczko après Coq : Quid novi sub sole?École thématique « Mathématiques et philosophie contemporaines XI », Sébastien Maronne, Jun 2024, Saint-Ferréol, France |
|
La méthode scientifique en informatiqueSéminaire des doctorantes et doctorants en informatique, Société informatique de France, May 2024, Nancy, France |
|
Penser la programmation par la linguistiqueJournées du Centre Informatique et Société, Oct 2024, Paris, France |
|
Programmer en chinois classiqueJournée d'étude AHP / ATILF, Jun 2024, Nancy, France |
|
Réponse à Viviane Pons, « Combinatorics of the Permutahedra, Associahedra, and Friends »Représentations exploratoires en mathématiques, Emmylou Haffner; David Waszek, Apr 2024, Paris, France |
|
Expressivité des langages de programmation et linguistique comparéeJournées du GT Notebook, Nov 2024, Paris, France |
|
La systématicité dans les sciences formellesSéminaire Philmath, Oct 2023, Paris & en distanciel, France |
|
Jules Vuillemin philosopheÉcole thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France |
|
Défis archivistiques et philologiques de la préservation des codes sourcesAspects ontologiques et épistémiques des sources et des ressources textuelles, Pierre Willaime; Andrei Rodin, Jul 2023, Nancy, France |
|
Programs Without AlgorithmsFormalization in Logic, Language, and Mathematics Conference #2, Andrew Arana, Sep 2023, Nancy, France |
|
Jules Vuillemin historien de la philosophie et des sciencesÉcole thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France |
|
When analytic languages were the future of programmingFuture visions on computing and programming then and now, Liesbeth De Mol, Jun 2023, Lille, France |
|
Les langages de programmation à la lumière de la linguistique comparéeLes Jeudis de l'Histoire et de la philosophie des sciences, Sophie Roux; Mathias Girel, Dec 2023, Paris, France |
|
How programming languages rehabilitate morphologyNancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics, Kai Wehmeier, Apr 2023, Irvine, CA (USA), France |
|
Programmes sans algorithmesFormalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France |
|
Les preuves de nécessité chez CavaillèsJean Cavaillès and His Intellectual Milieu, Paul Cortois; Massimiliano Simons; Marjolein Holvoet; Maarten Van Dyck, Jan 2023, Leuven (Belgique), Belgique |
|
Philosophical Uses of Software ArchivePreserving our Landmark Legacy Software: Collect, Archive, Display, Software Heritage, Oct 2022, Paris, France |
|
Systèmes philosophiques et paradigmes de programmationSéminaire Gallinette, Guillaume Munch-Maccagnoni, Nov 2019, Nantes, France |
|
Les codes sources comme textesÉnonciation et langages de programmation, Sémir Badir; Maria Giulia Dondero; François Provenzano; Stéphane Polis, Nov 2019, Liège, Belgique |
|
Which Artificial Intelligence for Philosophical Research?Global Forum on AI for Humanity, Oct 2019, Paris, France |
|
From Abstraction To Philosophical Systems : Abstraction and Generalization in Jules VuilleminThe Theory of definitions by abstraction : roots, history, contemporary developments, Jean-Baptiste Joinet, Feb 2019, Lyon, France |
|
Nécessité et contingence en histoire des sciencesL’épistémologie historique, hier et aujourd’hui, Sébastien Maronne, Jun 2019, Toulouse, France |
|
Christine Proust, âme du projet MesoCalcÀ propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France |
|
Turing languagesInformatique et Philosophie : interactions contemporaines, Jean-Baptiste Joinet; Luiz Carlos Pereira, Aug 2019, Ilha Grande, Brazil |
|
Turing languages : Theory and PracticeAutumn workshop II: Programming Languages and Notations, Liesbeth De Mol, Oct 2019, Bertinoro, Italy |
|
Unix Ontology : Time and First Mover in Unix v6Formalisms at the interface with machines, languages and systems, Oct 2018, Bertinoro, Italy |
|
Structures et morphismes en histoire de la philosophieLa Philosophie ventriloque, Feb 2018, Aix-en-Provence, France |
|
L’introduction de redondances dans un langage formel : les "parties du discours" dans le langage JavaPhilosophie scientifique et philosophie pour l’âge de la science. Gilles Gaston Granger et Jules Vuillemin, Sep 2018, Marseille, France |
|
Historique de la société Les Amis de Jean CavaillèsSéminaire d'histoire des mathématiques, Apr 2017, Nancy, France |
|
Styles de programmation informatique et formes de prédication vuilleminiennesÉpistémologie comparative et philosophie du style : l’œuvre de Gilles Gaston Granger, Nov 2017, Clermont-Ferrand, France |
|
Les Amis de Jean Cavaillès : historiqueJournées en l’honneur d’Hourya Benis Sinaceur, Jun 2017, Paris, France |
|
Classification des systèmes et paix perpétuelle en philosophieSéminaire Epistemon, Oct 2017, Montpellier, France |
|
Les nouvelles voies de l’anachronisme en histoire et philosophie des sciences formellesJourné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 |
|
L’histoire structurale de la philosophie, de Martial Gueroult à Victor GoldschmidtL’histoire structurale de la philosophie, Baptiste Mélès, Dec 2016, Nancy, France |
|
On formulas for computing both the volume of a truncated pyramid and the circumference of hermeneutic circles2016-10-25, Karine Chemla, Oct 2016, Paris, France |
|
Which mathematics was used to read ancient texts, and which impact had the mathematics used on the reading and interpretation of the ancient texts?séminaire SAW-ERC, Karine Chemla, Sep 2016, Paris, France |
|
Présentation du tome II de la Philosophie de l’algèbre de Jules VuilleminLa Philosophie de l’algèbre de Jules Vuillemin (tomes I et II), David Thomasette, Dec 2016, Nancy, France |
|
L’Histoire de la raison pure de KantLa Méthodologie transcendantale de Kant, Baptiste Mélès; Ayşe Yuva, Mar 2016, Nancy, France |
|
MesoCalc, la calculatrice mésopotamienne en JavaScriptSéminaire Codes sources, Baptiste Mélès, Jan 2016, Paris, France |
|
Le chaînon manquant : le tome 2 de la Philosophie de l’algèbre de Jules VuilleminGrandes conférences des Archives Henri-Poincaré, Apr 2016, Nancy, France |
|
Spinoza en Coq : démonstration complète des premières propositions de l’Éthiqueséminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France |
|
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École thématique « Mathématique, informatique et philosophie contemporaines III », Sébastien Maronne, Mar 2015, Toulouse, France |
|
Le concept d’objet en programmation informatiqueséminaire MathObRe, Gerhard Heinzmann, Feb 2015, Nancy, France |
|
En quel sens les démonstrations assistées par ordinateur sont-elles formelles ?Rhétorique en mathématiques, Caroline Jullien, Nov 2015, Nancy, France |
|
Spinoza en Coq : démonstration complète des premières propositions de l’ÉthiqueMathématiques, Informatique et Philosophie, Sébastien Maronne, Sep 2015, Toulouse, France |
|
Early relations between analytic and French philosophy of scienceFrench and analytic approaches to science in the 20th century and today, Léna Soler, Jun 2015, Nancy, France |
|
Upgrade Your Abacus : Computing Tool ExtensionsComputability in Europe 2015, Jun 2015, Bucarest, Romania |
|
Le rêve de Gueroult : Spinoza en CoqJournées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France |
|
Approche philologique des langages de programmationSéminaire d'informatique de Paris XIII, Jan 2015, Villetaneuse, France |
|
Réseaux informatiques et logique dialogiqueInteraction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France |
|
Le langage et le réelJournée de formation continue des professeurs de philosophie d’Auvergne, Dec 2014, Clermont-Ferrand, France |
|
Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmationLa Logique en question IV, May 2014, Paris, France |
|
Systèmes philosophiques et langages de programmationSéminaire de l’ISCC, Oct 2014, Paris, France |
|
|
|
Le langage et l'individuel selon Jean-Claude Pariente et Jules VuilleminApproche de l’individuel : hommage à Jean-Claude Pariente, Frédéric Worms, Dec 2014, Paris, France |
Victor Goldschmidt avait-il une théorie des systèmes ?Les questions platoniciennes de Victor Goldschmidt (1914-1981), David Lefebvre, Dec 2014, Clermont-Ferrand, France |
|
La science et le réelJournée de formation continue des professeurs de philosophie de Lorraine, Nov 2014, Clermont-Ferrand, France |
|
Une science a priori : l’informatiqueTable ronde de la session « Les mathématiques face à l’ordinateur », Liesbeth De Mol; Maarten Bullynck, May 2014, Paris, France |
|
L’invention des concepts en informatiqueSéminaire Complex Networks, Jun 2014, Paris, France |
|
Thématisation et philosophie de l’informatiqueJourné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 |
|
Approche philologique des langages de programmationGroupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Feb 2014, Paris, France |
|
Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmiqueLe Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France |
|
Les langages de programmation : des codes sources aux programmesGroupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Sylvain Cabanacq; Emmylou Haffner; David Rabouin, Dec 2013, Paris, France |
|
Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, GödelJournée de formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, Jan 2013, Clermont-Ferrand, France |
|
How to Program an AbacusCultures of computation and quantification in the ancient world, Mar 2013, Paris, France |
|
Des catégories faisons table rase ! Les formations discursivesComment lire L'Archéologie du savoir de Michel Foucault ?, Thomas Bénatouïl; Baptiste Mélès, Feb 2013, Nancy, France |
|
Unix selon l’ordre des raisons : la philosophie de la pratique informatiqueInformatique, Philosophie, Mathématiques, Sébastien Maronne, Nov 2013, Toulouse, France |
|
Instruments de calcul et propriétés arithmétiquesCinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Oct 2013, Clermont-Ferrand, France |
|
Algorithms as textsLa 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 |
|
Philology of Programming LanguagesHistory and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France |
|
Les dispositifs de calcul : théorie et pratiqueGroupe de travail de l'IREM, Paris-Diderot, Dec 2013, Paris, France |
|
Peut-on classer les langages de programmation ?Séminaire Philosophie de l’informatique, de la logique et de leurs interfaces, Jean-Baptiste Joinet, Mar 2013, Paris, France |
|
Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian Dialectics?Formalization and Dialectics, Zachary Luke Fraser, Jun 2012, Maastricht, Netherlands |
|
Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules VuilleminJournée des Jeunes chercheurs, Université d’Aix-Marseille, Jun 2012, Aix-en-Provence, France |
|
Programming Languages for Pre-Mechanical Calculating ToolsCultures of Mathematics and Logic, Ju Shier; Benedikt Löwe; Thomas Müller; Yun Xie, Nov 2012, Guangzhou, China |
|
Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantienL’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France |
|
|
|
Cavaillès et les « moments de la conscience »Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Mar 2012, Paris, France |
Logique hegelienne et théorie des catégoriesGroupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, May 2012, Paris, France |
|
Logique hegelienne et théorie des catégories chez William LawvereModèles mathématiques pour la philosophie, Baptiste Mélès, Mar 2011, Clermont-Ferrand, France |
|
Éclectisme et problèmes classificatoires en philosophieLe Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France |
|
Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming14th Congress of Logic, Methodology and Philosophy of Science, Jul 2011, Nancy, France |
|
|
|
Les ordinateurs peuvent-ils penser ?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 |
One and a Half Square of Opposition in Linear LogicSquare of Opposition 2010, Jean-Yves Beziau, Jun 2010, Corte, France |
|
Jean Cavaillès entre Hegel et la théorie des catégoriesColloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France |
|
Panorama philosophique pascalienSéminaire du centre de recherches Philosophies et rationalités, Apr 2010, Clermont-Ferrand, France |
|
|
|
La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves GirardSéminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France |
|
|
Experience and Subjectivity: François Jullien and Jean François BilleterPersonality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France |
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesThinking, Doing, Teaching, Jul 2009, Tokyo, Japan |
Albert Lautman philosophe. Des mathématiques à la RésistanceChristophe 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 |
|
Le juste et le bien : essais de philosophie morale et politiqueAgone, 2022, 978-2-7489-0482-6 |
|
Hommage à Jean CavaillèsHermann, 2019 |
|
Les Classifications des systèmes philosophiquesBaptiste Mélès. Vrin, pp.317, 2016, Mathesis, Hourya Benis Sinaceur, 978-2-7116-2691-5 |
|
Comment lire L'Archéologie du savoir de Michel Foucault ?, 2015 (3), 2015, Les Études philosophiques, 9782130651116 |
La notion de nécessité historiquePierre-Édouard Bour; Manuel Rebuschi; Laurent Rollet. Sciences, Circulations, Révolutions. Festschrift pour Philippe Nabonnand, College Publications, pp.535-543, 2023, 978-1848904255 |
|
Computing Tools and Representations of ArithmeticCultures 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⟩ |
|
Thématisation et philosophie de l’informatiqueJean-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⟩ |
|
Les Amis de Jean Cavaillès, de 1947 à aujourd’huiJean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.127-139, 2018, 978-2-7056-9108-0 |
|
Démonstration (article grand public)L'Encyclopédie philosophique, , 2016 |
|
Abacus as a Programming Language: Computer Science and History of MathematicsCultures 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⟩ |
|
Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiquesMaria 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 |
|
No Group for Constructive Logics: the Intuitionistic and Linear CasesJean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6 |
|
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesDeveloping International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010 |
|
|
Les Tables de vérité en braille2011 |
|
|
Méthode de la dissertation philosophiqueLicence. France. 2020 |
|
|
Méthodologie du mémoire de MasterMaster. France. 2020 |
|
|
Méthode universitaire du commentaire de texteLicence. France. 2018 |
|
|
Le travail personnel en philosophie, de la licence à l'agrégationLicence. France. 2015 |