rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Inconsistent Mathematics
  name:
    name part: Mortensen, Chris.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (ix, 158 pages)
  abstract: The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent or inconsistency-tolerant logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect: the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics. The book begins with an informal chapter which summarises the main results nontechnically, and draws philosophical implications from them. This volume will be of interest to advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science.
  note: by Chris Mortensen.
  note: Electronic resource.
  subject:
    topic: Mathematics
  subject:
    topic: Logic
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Logic
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Mathematics
  classification: QA8.9-10.3
  classification: 511.3
  related item:
    title info:
      title: Mathematics and its applications ; 312
  identifier: 9789401584531 (electronic bk.)
  identifier: 9401584532 (electronic bk.)
  identifier: 9789048144808
  identifier: 9048144809
  identifier: 9401584532
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130125
    record change date: 20260420210650.7
    record identifier: in00003565312
    language of cataloging:
      language term: eng