1,721,074 research outputs found
Due parole sull'ipotesi del continuo
No full textSi racconta brevemente la storia dell'ipotesi del continuo e si aggiorna la sua attuale condizione
La matematica cultura umanistica? Riflessioni sulla Indicazione Nazionali per il nuovo Liceo Classico
No full textAlfred Tarski
Get PDFAlfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall'algebra della logica alla logica dell'algebra. Il profilo cerca di darne resoconto adeguato
1918-2018: Cantor and infinity in today’s high school
Get PDFIn the first centenary of Cantor's death, we discuss how to introduce his life, his works and his theories about mathematical infinity to today's students.Keywords: proper and improper infinite, cardinal number, countable set, continuum, continuum hypothesis. SuntoNel primo centenario della scomparsa di Cantor, si discute come presentare la sua vita, le sue opere e le sue teorie sull’infinito agli studenti di oggi.Parole chiave: infinito proprio e improprio, numero cardinale, numerabile, continuo, ipotesi del continuo.
On the pure injectivity of certain infinitely generated modules over Dedekind pullbacks
No full textLet R be a pullback od Dedekind domains onto a common quotient field. I discuss the pure injectivity of certain R-modules arising in a natural way as generalizations of indecomposable pure injective finitely generated R-modules
Numeri in giallo
No full textSi introducono vari concetti di teoria dei numeri, logica matematica, teoria della complessità computazionale con lo strumento di racconti polizieschi
Decidability of modules over a Bézout domain D+XQ[X] with D a principal ideal domain and Q its field of fractions
No full textWe describe the Ziegler spectrum of a Bézout domain B = D+XQ[X] where D is a principal ideal domain and Q is its field of fractions, in particular we ccompute the Cantor-Bendixson rank of the space. Using this, we prove the decidability of the theory of B-modules when D is "sufficiently" recursive
- …
