Non cancella non. (Una nota sulla impossibilita' di dimostrare la equivalenza della doppia negazione per i sistemi formali del prim’ordine)

Franco Birardi

No 2013-03, Working Papers - Mathematical Economics from Universita' degli Studi di Firenze, Dipartimento di Scienze per l'Economia e l'Impresa

Abstract: La costruzione di un controesempio aritmetico coerente con gli assiomi di Zermelo e Fraenkel che contraddice l’equivalenza della doppia negazione relega l’equivalenza della doppia negazione al sistema logico elementare classico della certezza e la esclude dai sistemi simbolici formalizzati del primo ordine. Le proposizioni aritmetiche impiegate danno luogo ad una tipologia di incertezza distinguibile dalla proprieta' sfuggente di Brouwer per i numeri irrazionali.

Keywords: formalism; intuitionism; uncertainty (search for similar items in EconPapers)
Pages: 7 pages
Date: 2013-03
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.disei.unifi.it/upload/sub/pubblicazioni ... 3/dimadwp2013-03.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:flo:wpaper:2013-03

Access Statistics for this paper

More papers in Working Papers - Mathematical Economics from Universita' degli Studi di Firenze, Dipartimento di Scienze per l'Economia e l'Impresa Via delle Pandette 9 50127 - Firenze - Italy. Contact information at EDIRC.
Bibliographic data for series maintained by Michele Gori ().