M. Alberto Naibo

2026

Article dans une revue

titre

Qu’est-ce que la science informatique non faite ?

auteur

Chantal Enguehard, Guillaume Munch-Maccagnoni, Alberto Naibo

article

Philosophia Scientiae, 2026, 30-2, pp.5-16. ⟨10.4000/16952⟩

typdoc

Article dans une revue

Accès au texte intégral et bibtex

titre

Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators

auteur

Alberto Naibo, Yuta Takahashi

article

The review of symbolic logic, 2026, pp.1-38. ⟨10.1017/S1755020326101099⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Thinking Machines: Mathematical Reasoning in the Age of LLMs

auteur

Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen

article

Big Data and Cognitive Computing, 2026, 10 (1), pp.38. ⟨10.3390/bdcc10010038⟩

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Mathematical proofs as algorithms, formalized proofs as programs

auteur

Alberto Naibo, Thomas Seiller

article

8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Marco Panza; Lisa Beesley; Ben Faltesek; José Gil-Férez; Jemma Lorenat; Guillaume Massas; Andrew Moshier; Erich Reck; Patrick Ryan, Jan 2026, Orange (Chapman University), United States

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

2025

Article dans une revue

titre

There is no obstruction to a Euclidean proof for the fourth postulate

auteur

José Gil-Férez, Piotr Błaszczyk, M. Andrew Moshier, Alberto Naibo, Jean-Michel Salanskis

article

Historia Mathematica, 2025, pp.103182. ⟨10.1016/j.hm.2025.09.001⟩

typdoc

Article dans une revue

Accès au bibtex

titre

On open questions, artificial intelligence, and mathematical difficulty: A précis

auteur

Walter Dean, Alberto Naibo

article

Mitteilungen der Deutschen Mathematiker-Vereinigung, 2025, 33 (3), pp.172-177. ⟨10.1515/dmvm-2025-0054⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Artificial Intelligence and Inherent Mathematical Difficulty

auteur

Walter Dean, Alberto Naibo

article

Philosophia Mathematica, 2025, ⟨10.1093/philmat/nkaf005⟩

typdoc

Article dans une revue

Accès au bibtex

titre

A Euclidean proof for the Fourth Postulate

auteur

José Gil-Férez, Piotr Błaszczyk, M. Andrew Moshier, Alberto Naibo, Marco Panza, Jean-Michel Salanskis

article

Historia Mathematica, 2025, 70, pp.10-30. ⟨10.1016/j.hm.2024.12.001⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples

auteur

José Gil-Férez, M. Andrew Moshier, Alberto Naibo, Marco Panza, Jean-Michel Salanskis

article

Philosophia Scientiae, 2025, 29-2, pp.93-127. ⟨10.4000/13yi2⟩

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Algorithms and ML systems: An epistemic comparison

auteur

Mattia Petrolo, Alberto Naibo

article

Bias Risk and Opacity in AI – Final Research Meeting, Jul 2025, Milan (Italie), Italy

typdoc

Communication dans un congrès

Accès au bibtex

Chapitre d'ouvrage

titre

Preuves et algorithmes

auteur

Alberto Naibo

article

Pierre Wagner. Logique et épistémologie, Vrin, pp.27-52, 2025, Didac-Philo, 978-2-7116-3211-4

typdoc

Chapitre d'ouvrage

Accès au bibtex

Son

titre

IA & intelligence humaine : les algorithmes à l’ère de ChatGPT

auteur

Alberto Naibo, Thomas Seiller, Fabien Trécourt

article

2025

typdoc

Son

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

Thinking Machines: Mathematical Reasoning in the Age of LLMs

auteur

Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen

article

2025

typdoc

Pré-publication, Document de travail

Accès au bibtex

2024

Communication dans un congrès

titre

How to define (and formalize) the notion of algorithm? Problems and perspectives

auteur

Alberto Naibo

article

Mathematical Logic Seminar - Center for Mathematical Studies, University of Lisbon, Nov 2024, Lisbonne, Portugal

typdoc

Communication dans un congrès

Accès au bibtex

titre

Proofs and algorithms: some philosophical considerations

auteur

Alberto Naibo

article

Proof Theory and Theoretical Computer Science - Special session of the 2nd AMS-UMI International Joint Meeting, Ugo Dal Lago; Marco Gaboardi; Stéphane Graham-Lengrand; Luca Paolini; Antonio Piccolomini d'Aragona; Lorenzo Tortora de Falco, Jul 2024, Palermo, Italy

typdoc

Communication dans un congrès

Accès au bibtex

Chapitre d'ouvrage

titre

Judgmental and Definitional Equality from a Fregean Perspective

auteur

Luca Tranchini, Alberto Naibo

article

Ansten Klev. The Architecture and Archaeology of Modern Logic, 61, Springer Nature, pp.145-179, 2024, Logic, Epistemology, and the Unity of Science, ⟨10.1007/978-3-031-52411-0_9⟩

typdoc

Chapitre d'ouvrage

Accès au bibtex

Notice d’encyclopédie ou de dictionnaire

titre

Algorithme

auteur

Alberto Naibo, Thomas Seiller

article

Encyclopaedia Universalis, 2024, https://www.universalis.fr/encyclopedie/algorithme/

typdoc

Notice d’encyclopédie ou de dictionnaire

Accès au bibtex

titre

Recursive functions

auteur

Walter Dean, Alberto Naibo

article

The Stanford Encyclopedia of Philosophy, 2024, https://plato.stanford.edu/archives/fall2024/entries/recursive-functions/

typdoc

Notice d’encyclopédie ou de dictionnaire

Accès au bibtex

2023

Article dans une revue

titre

Réalisme et omniscience de Dieu : l’approche de Dummett

auteur

Alberto Naibo

article

Enseignement Philosophique, 2023, 73 (4), pp.27-38

typdoc

Article dans une revue

Accès au bibtex

titre

GoA: The Geometry of Algorithms

auteur

Alberto Naibo, Mattia Petrolo, Thomas Seiller

article

The Reasoner, 2023, 17 (4), pp.34-36

typdoc

Article dans une revue

Accès au bibtex

Communication dans un congrès

titre

Qu’est-ce qu’un algorithme ? Une approche géométrique

auteur

Alberto Naibo

article

Séminaire : Pour une histoire de l'IA, Alexandre Gefen; Carla Marand, Jan 2023, Paris, France. ⟨10.58079/nfcm⟩

typdoc

Communication dans un congrès

Accès au bibtex

2021

Article dans une revue

titre

Harmony in the Light of Computational Ludics

auteur

Alberto Naibo, Yuta Takahashi

article

Electronic Proceedings in Theoretical Computer Science, 2021, Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity&TLLA 2020), Online, 29-30 June 2020, 353, pp.132-156. ⟨10.4204/EPTCS.353.7⟩

typdoc

Article dans une revue

Accès au bibtex

Chapitre d'ouvrage

titre

Qu'est-ce qu'une démonstration ?

auteur

Jean Fichot, Alberto Naibo

article

Francesca Poggiolesi; Pierre Wagner. Précis de philosophie de la logique et des mathématiques, 1, Éditions de la Sorbonne, pp.49--108, 2021, Philosophie de la logique., 979-10-351-0631-7

typdoc

Chapitre d'ouvrage

Accès au bibtex

titre

Qu'est-ce qu'une démonstration ?

auteur

Jean Fichot, Alberto Naibo

article

Francesca Poggiolesi; Pierre Wagner. Précis de philosophie de la logique et des mathématiques, 1, Éditions de la Sorbonne, pp.49--108, 2021, Philosophie de la logique., 979-10-351-0631-7

typdoc

Chapitre d'ouvrage

Accès au bibtex

2020

Chapitre d'ouvrage

titre

The problem of harmony in classical logic

auteur

Giulio Guerrieri, Alberto Naibo

article

The Logica Yearbook 2019, College Publications, pp. 49-65, 2020, 978-1-84890-327-2

typdoc

Chapitre d'ouvrage

Accès au bibtex

2019

Article dans une revue

titre

An intuitionistic logic for preference relations

auteur

Paolo Maffezioli, Alberto Naibo

article

Logic Journal of the IGPL, 2019, 27 (4), pp.434-450. ⟨10.1093/jigpal/jzz013⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Postponement of $\mathsf {raa}$ and Glivenko’s Theorem, Revisited

auteur

Giulio Guerrieri, Alberto Naibo

article

Studia Logica, 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩

typdoc

Article dans une revue

Accès au bibtex

2017

Article dans une revue

titre

Entretien avec Prof. Alberto Naibo

auteur

Alberto Naibo

article

Kínesis. Revista de Estudos dos Pós-Graduandos em Filosofia, 2017, 9 (20), pp.xxi-xli

typdoc

Article dans une revue

Accès au bibtex

2016

Article dans une revue

titre

Putnam-Dummett. Quelle logique pour quel réalisme?

auteur

Alberto Naibo

article

Archives de Philosophie, 2016, Visages de Putnam, 79 (4), pp.693-720. ⟨10.3917/aphi.794.0693⟩

typdoc

Article dans une revue

Accès au bibtex

titre

Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)

auteur

Alberto Naibo, Mattia Petrolo

article

Revue philosophique de la France et de l'étranger, 2016, 141 (1), pp.101-103

typdoc

Article dans une revue

Accès au bibtex

Chapitre d'ouvrage

titre

On the computational meaning of axioms

auteur

Alberto Naibo, Mattia Petrolo, Thomas Seiller

article

Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩

typdoc

Chapitre d'ouvrage

Accès au bibtex

titre

Verificationism and classical realizability

auteur

Alberto Naibo, Mattia Petrolo, Thomas Seiller

article

Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩

typdoc

Chapitre d'ouvrage

Accès au bibtex

2015

Article dans une revue

titre

Convenzionalismo e costanti logiche

auteur

Paolo Maffezioli, Alberto Naibo

article

Post, 2015, Convenzioni & Convenzionalismi, 4, pp.184-195

typdoc

Article dans une revue

Accès au bibtex

titre

Are uniqueness and deducibility of identicals the same?

auteur

Alberto Naibo, Mattia Petrolo

article

Theoria: A Swedish Journal of Philosophy, 2015, 81 (2), pp.143-181. ⟨10.1111/theo.12051⟩

typdoc

Article dans une revue

Accès au bibtex

Chapitre d'ouvrage

titre

Constructibility and geometry

auteur

Alberto Naibo

article

From Logic to Practice: Italian Studies in the Philosophy of Mathematics, 308, Springer, pp.123-161, 2015, Boston Studies in the Philosophy and History of Science, 978-3-319-10433-1. ⟨10.1007/978-3-319-10434-8_8⟩

typdoc

Chapitre d'ouvrage

Accès au bibtex

2014

Article dans une revue

titre

Proof theory of epistemic logic of programs

auteur

Paolo Maffezioli, Alberto Naibo

article

Logic and Logical Philosophy, 2014, 23 (3), pp.301-328. ⟨10.12775/LLP.2013.026⟩

typdoc

Article dans une revue

Accès au bibtex

Pré-publication, Document de travail

titre

Convenzionalismo e costanti logiche

auteur

Paolo Maffezioli, Alberto Naibo

article

2014

typdoc

Pré-publication, Document de travail

Accès au texte intégral et bibtex

titre

On the Computational Meaning of Axioms

auteur

Alberto Naibo, Mattia Petrolo, Thomas Seiller

article

2014

typdoc

Pré-publication, Document de travail

Accès au texte intégral et bibtex

2013

Article dans une revue

titre

The Church-Fitch knowability paradox in the light of structural proof theory

auteur

Paolo Maffezioli, Alberto Naibo, Sara Negri

article

Synthese, 2013, 190 (14), pp.2677-2716. ⟨10.1007/s11229-012-0061-7⟩

typdoc

Article dans une revue

Accès au bibtex

2012

Article dans une revue

titre

Alain Lecomte, "Meaning, Logic and Ludics" (London, Imperial College Press, 2011)

auteur

Alberto Naibo

article

Mathématiques et Sciences Humaines, 2012, 198 (2), pp.85-87

typdoc

Article dans une revue

Accès au bibtex