Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Luca Bellotti
Observed names:
BELLOTTI, LUCA,
Bellotti Luca,
Bellotti, Luca,
Bellotti, Luca 1969-,
L. Bellotti,
LUCA BELLOTTI,
luca bellotti
show all 7
Observed institution:
University of Pisa
OpenAlex ID:
A5050274108
Putnam and Constructibility
2005
·
Luca Bellotti
·
Erkenntnis
·
29
The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age
2018
·
L. Bellotti
·
History and Philosophy of Logic
·
9
Tarski On Logical Notions
2003
·
Luca Bellotti
·
Synthese
·
7
Some attempts at a direct reduction of the infinite to the (large) finite
2008
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
·
3
Third Pisa Colloquium in Logic, Language and Epistemology
2019
·
Giacomo Turbanti
, Luca Bellotti
, et al.
·
2
On Trust in Mathematics: Some Case Studies
2020
·
Luca Bellotti
, Enrico Moriconi
·
Studies in applied philosophy, epistemology and rational ethics
·
1
Third Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of Mauro Mariani and Carlo Marletti
2019
·
Luca Bellotti
, Luca Gili
, et al.
·
1
Decoding Gentzen's Notation
2018
·
Luca Bellotti
·
History and Philosophy of Logic
·
1
Novikov's cut elimination
2018
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
·
1
A note on the circularity of set-theoretic semantics for set theory
2010
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
·
1
Skolem, the Skolem ‘Paradox’ and Informal Mathematics
2008
·
LUCA BELLOTTI
·
Theoria
·
1
Formalization, Syntax and the Standard Model of Arithmetic
2006
·
Luca Bellotti
·
Synthese
·
1
An informal exposition of Von Neumann's consistency proof
2019
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
Von Neumann’s Consistency Proof
2016
·
LUCA BELLOTTI
·
The Review of Symbolic Logic
On the circularity of set-theoretic semantics for set theory
2014
·
Luca Bellotti
·
EPISTEMOLOGIA
A Neo-Kantian Approach in the Philosophy of Mathematics
2013
·
Luca Bellotti
·
De Gruyter eBooks
What is a model of axiomatic set theory
2012
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
On some early consistency proofs for fragments of arithmetic
2012
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
A note on symbols, syntax and sets
2011
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
PDF
A note on some early consistency proofs for fragments of arithmetic
2011
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
A conceptualistic alternative in the philosophy of mathematics
2010
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
On the consistency of ZF set theory and its large cardinal extensions
2006
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
Oggetti matematici: verita e conoscenza. Sul dilemma di Benacerraf
2005
·
BELLOTTI, LUCA
·
CINECA IRIS Institutial research information system (University of Pisa)
Recensioni/Reviews-Computabilita. Lambda-definibilita, ricorsivith, indecidibilita
2004
·
Luca Bellotti
, E. Moriconi
, et al.
Logica aristotelica e logica moderna
2000
·
Luca Bellotti
·
CINECA IRIS Institutial research information system (University of Pisa)
Show more works
View as search
Works count:
50
Citation count:
58
H-index:
3
I10-index:
1
Year
Topic
Type
