On the Safe Use of Inconsistent Mathematics
arXiv:0811.2405
Abstract
A method is presented for using the consistent part of inconsistent axiomatic systems.
Cited by in corpus (7)
- Introduction to Projective Arithmetics
- Brief Lecture Notes on Self-Referential Mathematics, and Beyond
- Four Departures in Mathematics and Physics
- Concerning three classes of non-Diophantine arithmetics
- Local Functions : Algebras, Ideals, and Reduced Power Algebras
- Comments on S Kauffman's paper arxiv:0907.2492
- Naïve Infinitesimal Analysis: Its Construction and Its Properties