Equivalence, recursive negation and invariance of the mathematical uncertainty predicate

Franco Birardi

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

Abstract: It is impossible to prove the equivalence of double negation for the Systeme I of Godel. It is possible to deduce the equivalence of double negation with a three valued logic which is coherent with respect to symmetric implication and has the third value as invariant by negation. It is possible to annihilate the third value and switch back to the two valued boundary logic. Brouwer and Godel provide the foundation for the theory of uncertainty.

Keywords: formalism; intuitionism; uncertainty (search for similar items in EconPapers)
Pages: 20
Date: 2009-10
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.disei.unifi.it/upload/sub/pubblicazioni ... 9/dimadwp2009-07.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:2009-07

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 ().