
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
|
Every file is a program, but not the reverseEuropean Mathematical Society Magazine, 2024, 133, pp.5-11. ⟨10.4171/mag/205⟩
Article dans une revue
halshs-04876214
v1
|
|
Préserver et rendre identifiables les logiciels de recherche avec Software HeritageThe programming historian en français, 2024, 6, ⟨10.46430/phfr0034⟩
Article dans une revue
halshs-04876066
v1
|
|
Tout fichier est un programme... et non l’inverseLa Gazette de la Société mathématique de France, 2023, 176
Article dans une revue
halshs-04385961
v1
|
|
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⟩
Article dans une revue
halshs-03096996
v2
|
PréfaceRevue 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’informatiqueCahiers 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 GueroultRevue internationale de philosophie, 2020, n°291 (1), pp.63. ⟨10.3917/rip.291.0063⟩
Article dans une revue
halshs-03097148
v1
|
|
|
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⟩
Article dans une revue
halshs-03097003
v2
|
|
Le tome II de La Philosophie de l’algèbre. Dossier documentairePhilosophia Scientiae, 2020, 24-3, pp.219-235. ⟨10.4000/philosophiascientiae.2472⟩
Article dans une revue
halshs-03097308
v2
|
Les langages de TuringIntellectica - 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 »Philosophia Scientiae, 2019, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩
Article dans une revue
hal-02431039
v1
|
Les langages du webTextes 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 physiquesCahiers 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’histoirePhilosophia Scientiae, 2017, 21-2, pp.149 - 161. ⟨10.4000/philosophiascientiae.1283⟩
Article dans une revue
hal-01679658
v1
|
|
Sommes-nous libres ?Philosophia Scientiae, 2017, 21-2, pp.163 - 174. ⟨10.4000/philosophiascientiae.1285⟩
Article dans une revue
hal-01679656
v1
|
|
Deux textes politiques de Jules VuilleminPhilosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩
Article dans une revue
hal-01529028
v1
|
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⟩
Article dans une revue
hal-01679647
v1
|
|
|
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⟩
Article dans une revue
hal-01425868
v1
|
|
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⟩
Article dans une revue
hal-01413928
v1
|
La comptine des neuf divisionsImages des Mathématiques, 2015
Article dans une revue
hal-01224073
v1
|
|
|
Un Français peut-il encore comprendre les philosophes d’outre-Manche ? PrésentationLes é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 VuilleminLes é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
|
|
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⟩
Article dans une revue
hal-01224075
v1
|
|
PrésentationLes é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 ordinateurImages des Mathématiques, 2015
Article dans une revue
hal-01223482
v1
|
|
|
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⟩
Article dans une revue
hal-01224074
v1
|
|
Thématisation et philosophie de l'informatiqueRevue de l'EPI (Enseignement Public et Informatique), 2014
Article dans une revue
hal-01224082
v1
|
|
Fragments de mathématiques existentiellesRevue de Synthèse, 2013, 134 (3), pp.406-408
Article dans une revue
hal-01224106
v1
|
|
Unix selon l’ordre des raisons : la philosophie de la pratique informatiquePhilosophia 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 paresseCahiers du football, 2013
Article dans une revue
hal-01224109
v1
|
|
|
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⟩
Article dans une revue
hal-01224100
v2
|
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
Communication dans un congrès
halshs-04876656
v1
|
|
Is Programming Different in Classical Chinese?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 ?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 LibraryFudan Logic Seminar, Apr 2024, Shanghai (Chine), France
Communication dans un congrès
halshs-04876505
v1
|
|
Présentation de Software HeritageColloque 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?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 informatiqueSé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 classiqueJourné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éeJournées du GT Notebook, Nov 2024, Paris, France
Communication dans un congrès
halshs-04876670
v1
|
|
Penser la programmation par la linguistiqueJourné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 »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èsJean 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 algorithmesFormalising 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 sourcesAspects 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É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 AlgorithmsFormalization 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 formellesSéminaire Philmath, Oct 2023, Paris & en distanciel, France
Communication dans un congrès
halshs-04238867
v1
|
|
Jules Vuillemin philosopheÉ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 morphologyNancy-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éeLes 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 programmingFuture 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 ArchivePreserving 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?Global Forum on AI for Humanity, Oct 2019, Paris, France
Communication dans un congrès
hal-02431217
v1
|
|
Systèmes philosophiques et paradigmes de programmationSéminaire Gallinette, Guillaume Munch-Maccagnoni, Nov 2019, Nantes, France
Communication dans un congrès
hal-02431223
v1
|
|
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
Communication dans un congrès
hal-02431211
v1
|
|
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
Communication dans un congrès
hal-02431057
v1
|
|
Nécessité et contingence en histoire des sciencesL’é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À propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France
Communication dans un congrès
hal-02431225
v1
|
|
Turing languagesInformatique 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 PracticeAutumn 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 v6Formalisms 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 philosophieLa 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 JavaPhilosophie 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 philosophieSé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 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
Communication dans un congrès
hal-01679885
v1
|
|
Historique de la société Les Amis de Jean CavaillèsSé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É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 : historiqueJourné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 KantLa 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 VuilleminLa 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 JavaScriptSé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 GoldschmidtL’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 circles2016-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?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 VuilleminGrandes 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’Éthiqueséminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France
Communication dans un congrès
hal-01428781
v1
|
|
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
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é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 informatiquesé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 ?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’ÉthiqueMathé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 scienceFrench 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 ExtensionsComputability in Europe 2015, Jun 2015, Bucarest, Romania
Communication dans un congrès
hal-01224132
v1
|
|
Le rêve de Gueroult : Spinoza en CoqJournées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France
Communication dans un congrès
hal-01224197
v1
|
|
Approche philologique des langages de programmationsé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é algorithmiqueLe Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France
Communication dans un congrès
hal-01225028
v1
|
|
Approche philologique des langages de programmationGroupe 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 ?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éelJourné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 informatiqueSéminaire Complex Networks, Jun 2014, Paris, France
Communication dans un congrès
hal-01225038
v1
|
|
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
Communication dans un congrès
hal-01225052
v1
|
|
|
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
Communication dans un congrès
halshs-03850874
v1
|
Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmationLa Logique en question IV, May 2014, Paris, France
Communication dans un congrès
hal-01225059
v1
|
|
Le langage et le réelJourné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 programmationSéminaire de l’ISCC, Oct 2014, Paris, France
Communication dans un congrès
hal-01225035
v1
|
|
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
Communication dans un congrès
hal-01225086
v1
|
|
Les dispositifs de calcul : théorie et pratiqueGroupe 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 ?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ödelJourné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 AbacusCultures 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 discursivesComment 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 programmesGroupe 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étiquesCinquiè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 informatiqueInformatique, Philosophie, Mathématiques, Sébastien Maronne, Nov 2013, Toulouse, France
Communication dans un congrès
hal-01225098
v1
|
|
Philology of Programming LanguagesHistory and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France
Communication dans un congrès
hal-01224156
v1
|
|
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
Communication dans un congrès
hal-01224149
v1
|
|
Logique hegelienne et théorie des catégoriesGroupe 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 ToolsCultures 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 VuilleminJourné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?Formalization and Dialectics, Zachary Luke Fraser, Jun 2012, Maastricht, Netherlands
Communication dans un congrès
hal-01224172
v1
|
|
|
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
Communication dans un congrès
hal-01225118
v1
|
Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantienL’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France
Communication dans un congrès
hal-01225110
v1
|
|
|
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
Communication dans un congrès
hal-01225124
v1
|
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
Communication dans un congrès
hal-01225125
v1
|
|
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
Communication dans un congrès
hal-01224174
v1
|
|
Éclectisme et problèmes classificatoires en philosophieLe Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France
Communication dans un congrès
hal-01225121
v1
|
|
Panorama philosophique pascalienSé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 LogicSquare 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égoriesColloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France
Communication dans un congrès
hal-01225129
v1
|
|
|
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
Communication dans un congrès
hal-01225141
v1
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesThinking, Doing, Teaching, Jul 2009, Tokyo, Japan
Communication dans un congrès
hal-01224187
v1
|
|
Experience and Subjectivity: François Jullien and Jean François BilleterPersonality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France
Communication dans un congrès
hal-01224181
v1
|
Le juste et le bien : essais de philosophie morale et politiqueAgone, 2022, 978-2-7489-0482-6
Ouvrages
halshs-03930190
v1
|
|
Hommage à Jean CavaillèsHermann, 2019
Ouvrages
halshs-02052075
v1
|
|
Les Classifications des systèmes philosophiquesVrin, 2016, Mathesis, Hourya Benis Sinaceur, 978-2-7116-2691-5
Ouvrages
hal-01413934
v1
|
|
Jules Vuillemin et les systèmes philosophiquesPresses Universitaires de France. , 2015 (1), 2015, Les Études philosophiques, 9782130651093
Ouvrages
hal-01250633
v1
|
|
Comment lire L'Archéologie du savoir de Michel Foucault ?, 2015 (3), 2015, Les Études philosophiques, 9782130651116
Ouvrages
hal-01250637
v1
|
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⟩
Chapitre d'ouvrage
halshs-03931063
v1
|
|
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
Chapitre d'ouvrage
halshs-04385990
v1
|
|
Thématisation et philosophie de l’informatiqueJean-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’huiJean-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)L'Encyclopédie philosophique, , 2016
Chapitre d'ouvrage
hal-01413616
v1
|
|
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⟩
Chapitre d'ouvrage
hal-01413931
v1
|
|
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
Chapitre d'ouvrage
hal-01224090
v1
|
|
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
Chapitre d'ouvrage
hal-01224112
v1
|
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesDeveloping International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010
Chapitre d'ouvrage
hal-01224117
v1
|
|
Les Tables de vérité en braille2011
Pré-publication, Document de travail
hal-01225178
v1
|
|
Méthodologie du mémoire de MasterMaster. France. 2020
Cours
cel-01225190
v2
|
|
Méthode de la dissertation philosophiqueLicence. France. 2020
Cours
cel-01225188
v2
|
|
Méthode universitaire du commentaire de texteLicence. France. 2018
Cours
cel-01225186
v2
|
|
Le travail personnel en philosophie, de la licence à l'agrégationLicence. France. 2015
Cours
cel-01225184
v1
|
Chargement...
Chargement...