Back to Search
Start Over
Teoria degli Insiemi in una logica paraconsistente
-
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.
Details
- Database :
- OAIster
- Notes :
- cc_by_nc_sa, Italian
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1151231877
- Document Type :
- Electronic Resource