Teoria degli Insiemi in una logica paraconsistente

Malpezzi, Michele (2019) Teoria degli Insiemi in una logica paraconsistente. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons: Attribuzione - Non commerciale - Condividi allo stesso modo 3.0 (CC BY-NC-SA 3.0)

Download (255kB)

Abstract

Utilizziamo una particolare logica rilevante (paraconsistente) per ricostruire la teoria ingenua degli insiemi senza che questa scada nella banalità. L'obiettivo del testo è mostrare come una logica più debole possa produrre una teoria soddisfacente gestendo le contraddizioni. Metteremo in luce alcune difficoltà formali mentre mostreremo alcuni teoremi insiemistici basilari. Infine cercheremo di definire i numeri ordinali.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Malpezzi, Michele
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
teoria ingenua degli insiemi logica paraconsistente rilevante
Data di discussione della Tesi
27 Settembre 2019
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^