M. Alberto Naibo

2025

Article dans une revue

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

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

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

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

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