CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 41 di 41
Titolo Data di pubblicazione Autore(i) File
Sintesi e numero nell'ultimo Cassirer 1-gen-2023 Bellotti, Luca
Fifth Pisa Colloquium in Logic, Language and Epistemology 1-gen-2023 Bellotti, Luca; Moriconi, Enrico; Turbanti, Giacomo
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
La logica matematica in Unione Sovietica (1917-1947) 1-gen-2021 Bellotti, Luca
Fourth Pisa Colloquium in Logic, Language and Epistemology 1-gen-2021 Bellotti, Luca; Turbanti, Giacomo
Note su Skolem 1-gen-2021 Bellotti, Luca
Su Turing, gli algoritmi, le macchine, la prevedibilità 1-gen-2020 Bellotti, Luca
Scienza e filosofia della complessità 1-gen-2020 Bellotti, Luca; Marinucci, Angelo; Salvia, Stefano
On trust in mathematics: some case studies 1-gen-2020 Bellotti, Luca; Moriconi, Enrico
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
Novikov's cut elimination 1-gen-2018 Bellotti, Luca
Decoding Gentzen's notation 1-gen-2018 Bellotti, Luca
Von Neumann's consistency proof 1-gen-2016 Bellotti, Luca
The second-order alternative in set theory 1-gen-2014 Bellotti, Luca
On the circularity of set-theoretic semantics for 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
A note on symbols, syntax and sets 1-gen-2011 Bellotti, Luca
A note on some early consistency proofs for fragments of arithmetic 1-gen-2011 Bellotti, Luca
A conceptualistic alternative in the philosophy of mathematics 1-gen-2010 Bellotti, Luca
A note on the circularity of set-theoretic semantics for set theory 1-gen-2010 Bellotti, Luca
Teorie della verità 1-gen-2008 Bellotti, Luca
Some attempts at a direct reduction of the infinite to the (large) finite 1-gen-2008 Bellotti, Luca
Formalization, syntax, and the standard model of arithmetic 1-gen-2007 Bellotti, Luca
On the consistency of ZF set theory and its large cardinal extensions 1-gen-2006 Bellotti, Luca
Skolem, the Skolem 'paradox' and informal mathematics 1-gen-2006 Bellotti, Luca
Woodin on the Continuum Problem: an overview and some objections 1-gen-2005 Bellotti, Luca
Putnam and constructibility 1-gen-2005 Bellotti, Luca
The problem of consistency: ZF and large cardinals 1-gen-2005 Bellotti, Luca
Oggetti matematici: verità e conoscenza. Sul dilemma di Benacerraf 1-gen-2005 Bellotti, Luca
Tarski on logical notions 1-gen-2003 Bellotti, Luca
Teorie della verità 1-gen-2001 Bellotti, Luca
Computabilità 1-gen-2001 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Logica aristotelica e logica moderna 1-gen-2000 Bellotti, Luca
Naturalismo e realismo nella teoria degli insiemi 1-gen-1998 Bellotti, Luca
On the closure ordinal of the inductive definition of truth for first order arithmetic 1-gen-1998 Bellotti, Luca
Note in margine a 'Kant und die moderne Mathematik' di Ernst Cassirer 1-gen-1998 Bellotti, Luca
Sull'argomento kantiano degli opposti incongruenti 1-gen-1997 Bellotti, Luca
Mostra risultati da 1 a 41 di 41
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile