Prospects for triviality
pp. 81-89
Abstract
In this paper I argue, contra Mortensen, that there is a case, namely that of a degenerate topos, an extremely simple mathematical universe in which everything is true, in which no mathematical "catastrophe" is implied by mathematical triviality. I will show that either one of the premises of Dunn's trivialization result for real number theory –on which Mortensen mounts his case– cannot obtain (from a point of view "external" to the universe) and thus the argument is unsound, or that it obtains in calculations "internal" to such trivial universe and the theory associated, yet the calculations are possible and meaningful albeit extremely simple.
Publication details
Published in:
Andreas Holger, Verdée Peter (2016) Logical studies of paraconsistent reasoning in science and mathematics. Dordrecht, Springer.
Pages: 81-89
DOI: 10.1007/978-3-319-40220-8_5
Full citation:
Estrada-González Luis (2016) „Prospects for triviality“, In: H. Andreas & P. Verdée (eds.), Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer, 81–89.