Nombre de documents

68

Baptiste Mélès


Article dans une revue12 documents

Communication dans un congrès46 documents

  • Baptiste Mélès, Christine Proust. MesoCalc, la calculatrice mésopotamienne en JavaScript. Séminaire Codes sources, Jan 2016, Paris, France. <hal-01267562>
  • Baptiste Mélès. En quel sens les démonstrations assistées par ordinateur sont-elles formelles ?. Rhétorique en mathématiques, Nov 2015, Nancy, France. <hal-01250747>
  • Baptiste Mélès. Le concept d’objet en programmation informatique. séminaire MathObRe, Feb 2015, Nancy, France. <hal-01224207>
  • Baptiste Mélès. Approche philologique des langages de programmation. séminaire d'informatique de Paris XIII, Jan 2015, Villetaneuse, France. <hal-01224209>
  • Baptiste Mélès. Early relations between analytic and French philosophy of science. French and analytic approaches to science in the 20th century and today, Jun 2015, Nancy, France. <hal-01224137>
  • Baptiste Mélès. Le rêve de Gueroult : Spinoza en Coq. Journées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France. <hal-01224197>
  • Baptiste Mélès. Upgrade Your Abacus : Computing Tool Extensions. Computability in Europe 2015, Jun 2015, Bucarest, Romania. <hal-01224132>
  • Baptiste Mélès. Spinoza en Coq : démonstration complète des premières propositions de l’Éthique. Mathématiques, Informatique et Philosophie, Sep 2015, Toulouse, France. <hal-01224195>
  • Baptiste Mélès. Réseaux informatiques et logique dialogique. Interaction entre logique, langage et informatique, Mar 2015, Paris, France. <hal-01224204>
  • Baptiste Mélès. 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 », Mar 2015, Toulouse, France. <hal-01224199>
  • Baptiste Mélès. Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmation. La Logique en question IV, May 2014, Paris, France. <hal-01225059>
  • Baptiste Mélès. Une science a priori : l’informatique. Table ronde de la session « Les mathématiques face à l’ordinateur », May 2014, Paris, France. <hal-01225052>
  • Baptiste Mélès. Victor Goldschmidt avait-il une théorie des systèmes ?. Les questions platoniciennes de Victor Goldschmidt (1914-1981), Dec 2014, Clermont-Ferrand, France. <hal-01225009>
  • Baptiste Mélès. La science et le réel. Journée de formation continue des professeurs de philosophie de Lorraine, Nov 2014, Clermont-Ferrand, France. <hal-01225018>
  • Baptiste Mélès. Le langage et le réel. Journée de formation continue des professeurs de philosophie d’Auvergne, Dec 2014, Clermont-Ferrand, France. <hal-01225016>
  • Baptiste Mélès. Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmique. Le Calcul et le temps, Nov 2014, Lyon, France. <hal-01225028>
  • Baptiste Mélès. Systèmes philosophiques et langages de programmation. Séminaire de l’ISCC, Oct 2014, Paris, France. <hal-01225035>
  • Baptiste Mélès. L’invention des concepts en informatique. Séminaire Complex Networks, Jun 2014, Paris, France. <hal-01225038>
  • Baptiste Mélès. Thématisation et philosophie de l’informatique. 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. <hal-01225086>
  • Baptiste Mélès. Approche philologique des langages de programmation. Groupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Feb 2014, Paris, France. <hal-01225088>
  • Baptiste Mélès. Les dispositifs de calcul : théorie et pratique. Groupe de travail de l'IREM, Paris-Diderot, Dec 2013, Paris, France. <hal-01225093>
  • Baptiste Mélès. Unix selon l’ordre des raisons : la philosophie de la pratique informatique. Informatique, Philosophie, Mathématiques, Nov 2013, Toulouse, France. <hal-01225098>
  • Baptiste Mélès. Peut-on classer les langages de programmation ?. Séminaire Philosophie de l’informatique, de la logique et de leurs interfaces, Mar 2013, Paris, France. <hal-01225100>
  • Baptiste Mélès. Computing Tools and Arithmetical Properties. Cinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Oct 2013, Clermont-Ferrand, France. <hal-01224159>
  • Baptiste Mélès. How to Program an Abacus. Cultures of computation and quantification in the ancient world, Mar 2013, Paris, France. <hal-01224162>
  • Baptiste Mélès. Algorithms as texts. La variété des sources mathématiques et la question de leur interprétation, Nov 2013, Luminy, France. <hal-01224149>
  • Baptiste Mélès. Philology of Programming Languages. History and Philosophy of Computing 2013, Oct 2013, Paris, France. <hal-01224156>
  • Baptiste Mélès. Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, Gödel. Journée de formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, Jan 2013, Clermont-Ferrand, France. <hal-01225106>
  • Baptiste Mélès. Les langages de programmation : des codes sources aux programmes. Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Dec 2013, Paris, France. <hal-01225090>
  • Baptiste Mélès. Des catégories faisons table rase ! Les formations discursives. Comment lire L'Archéologie du savoir de Michel Foucault ?, Feb 2013, Nancy, France. <hal-01225103>
  • Baptiste Mélès. Programming Languages for Pre-Mechanical Calculating Tools. Cultures of Mathematics and Logic, Nov 2012, Guangzhou, China. <hal-01224165>
  • Baptiste Mélès. Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantien. L’Intuitionnisme kantien de Jules Vuillemin, Dec 2012, Nancy, France. <hal-01225110>
  • Baptiste Mélès. Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin. Journée des Jeunes chercheurs, Université d’Aix-Marseille, Jun 2012, Aix-en-Provence, France. <hal-01225111>
  • Baptiste Mélès. Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian Dialectics?. Formalization and Dialectics, Jun 2012, Maastricht, Netherlands. <hal-01224172>
  • Baptiste Mélès. Logique hegelienne et théorie des catégories. Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, May 2012, Paris, France. <hal-01225115>
  • Baptiste Mélès. 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. <hal-01225118>
  • Baptiste Mélès. Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming. 14th Congress of Logic, Methodology and Philosophy of Science, Jul 2011, Nancy, France. <hal-01224174>
  • Baptiste Mélès. Éclectisme et problèmes classificatoires en philosophie. Le Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France. Syncrétismes, mythes et littératures, éd. par Maria Benedetta Collini et Pascale Auraix-Jonchière, Maison des Sciences de l’Homme, Clermont-Ferrand, 2014, p. 67-83. <hal-01225121>
  • Baptiste Mélès. Logique hegelienne et théorie des catégories chez William Lawvere. Modèles mathématiques pour la philosophie, Mar 2011, Clermont-Ferrand, France. <hal-01225125>
  • Baptiste Mélès. Les ordinateurs peuvent-ils penser ?. Cycle de conférences L’Homme et la machine, lycée Charles-et-Adrien-Dupuy, Le Puy-en-Velay, Mar 2011, Le Puy-en-Velay, France. <hal-01225124>
  • Baptiste Mélès. Jean Cavaillès entre Hegel et la théorie des catégories. Colloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France. <hal-01225129>
  • Baptiste Mélès. Panorama philosophique pascalien. Séminaire du centre de recherches Philosophies et rationalités, Apr 2010, Clermont-Ferrand, France. <hal-01225138>
  • Baptiste Mélès. One and a Half Square of Opposition in Linear Logic. Square of Opposition 2010, Jun 2010, Corte, France. <hal-01224178>
  • Baptiste Mélès. Experience and Subjectivity: François Jullien and Jean François Billeter. Personality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France. <hal-01224181>
  • Baptiste Mélès. Systems and Teaching in Stoic and Confucian Philosophies. Thinking, Doing, Teaching, Jul 2009, Tokyo, Japan. Developing International Communications Skills in Japanese Cultural Studies, Tokyo, Ochanomizu University, 2010, p. 54-56. <hal-01224187>
  • Baptiste Mélès. La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard. Séminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France. <hal-01225141>

Chapitre d'ouvrage3 documents

  • Baptiste Mélès. Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiques. 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. <hal-01224090>
  • Baptiste Mélès. No Group for Constructive Logics: the Intuitionistic and Linear Cases. Jean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6. <http://link.springer.com/chapter/10.1007/978-3-0348-0379-3_14>. <hal-01224112>
  • Baptiste Mélès. Systems and Teaching in Stoic and Confucian Philosophies. Developing International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010. <hal-01224117>

Direction d'ouvrage, Proceedings2 documents

Pré-publication, Document de travail1 document

  • Baptiste Mélès. Les Tables de vérité en braille. 2011. <hal-01225178>

Cours4 documents

  • Baptiste Mélès. Le travail personnel en philosophie, de la licence à l'agrégation. Licence. France. 2015. <cel-01225184>
  • Baptiste Mélès. Méthode de la dissertation philosophique. Licence. France. 2015. <cel-01225188>
  • Baptiste Mélès. Méthode universitaire du commentaire de texte. Licence. France. 2014. <cel-01225186>
  • Baptiste Mélès. Méthodologie du mémoire de Master. Master. France. 2014. <cel-01225190>