CINECA IRIS Institutional Research Information System

BELLOTTI, LUCA Statistiche

BELLOTTI, LUCA  

DIPARTIMENTO DI CIVILTA' E FORME DEL SAPERE  

Mostra records
Risultati 1 - 20 di 41 (tempo di esecuzione: 0.049 secondi).
Titolo Data di pubblicazione Autore(i) File
Fifth Pisa Colloquium in Logic, Language and Epistemology 1-gen-2023 Bellotti, Luca; Moriconi, Enrico; Turbanti, Giacomo
Sintesi e numero nell'ultimo Cassirer 1-gen-2023 Bellotti, Luca
Some arguments against the possibility of an infinite past 1-gen-2023 Bellotti, Luca
Dalla Rivoluzione a Stalin: la lotta per la logica matematica in Unione Sovietica (Pristem/Storia 43) 1-gen-2021 Bellotti, Luca
Fourth Pisa Colloquium in Logic, Language and Epistemology 1-gen-2021 Bellotti, Luca; Turbanti, Giacomo
La logica matematica in Unione Sovietica (1917-1947) 1-gen-2021 Bellotti, Luca
Note su Skolem 1-gen-2021 Bellotti, Luca
On trust in mathematics: some case studies 1-gen-2020 Bellotti, Luca; Moriconi, Enrico
Scienza e filosofia della complessità 1-gen-2020 Bellotti, Luca; Marinucci, Angelo; Salvia, Stefano
Su Turing, gli algoritmi, le macchine, la prevedibilità 1-gen-2020 Bellotti, Luca
An informal exposition of Von Neumann's consistency proof 1-gen-2019 Bellotti, Luca
Third Pisa Colloquium in Logic, Language and Epistemology 1-gen-2019 Turbanti, Giacomo; Bellotti, Luca; Luca, Gili; Moriconi, Enrico
Decoding Gentzen's notation 1-gen-2018 Bellotti, Luca
Novikov's cut elimination 1-gen-2018 Bellotti, Luca
Von Neumann's consistency proof 1-gen-2016 Bellotti, Luca
On the circularity of set-theoretic semantics for set theory 1-gen-2014 Bellotti, Luca
The second-order alternative in set theory 1-gen-2014 Bellotti, Luca
A Neo-Kantian approach in the philosophy of mathematics 1-gen-2013 Bellotti, Luca
On some early consistency proofs for fragments of arithmetic 1-gen-2012 Bellotti, Luca
What is a model of axiomatic set theory? 1-gen-2012 Bellotti, Luca