Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Who’s Afraid of Inconsistent Mathematics

Bibliographic Data

ID19475490
AuthorsMark Colyvan (0000-0002-9789-4527, The University of Sydney, corresponding author), ProtoSociology Project
Year2008
Volume25
Pages24-35
Publication date2008-01-01
Peer ReviewedYes
Open AccessNo
TypeARTICLE
VenueProtoSociology (JOURNAL)
Journal identifiersISSN: 1434-4319
PublisherPhilosophy Documentation Center (PUBLISHER • US)
DOI10.5840/protosociology2008252
OpenAlexW2505882798
LanguageEN
Citations received4

In formal logic, a contradiction is the signal of a defeat: but in the evolution of real knowledge it marks the first step in progress towards a victory . Alfred North Whitehead (1861–1947) Contemporary mathematical theories are generally thought to be consistent. But it hasn't always been this way; there have been times when the consistency of mathematics has been called into question. Some theories, such as naive set theory and (arguably) the early calculus, were shown to be inconsistent. In this chapter we will consider some of the philosophical issues associated with inconsistent mathematical theories. Introducing inconsistency A five-line proof of Fermat's Last Theorem Fermat's Last Theorem states that there are no positive integers x , y , and z , and integer n > 2, such that x n + y n = z n . This theorem has a long and illustrious history but was finally proved in the 1990s by English mathematician Andrew Wiles (1953–). Despite the apparent simplicity of the theorem itself, the proof runs to over a hundred pages, invokes some very advanced mathematics (the theory of elliptic curves, among other things), and is understandable to only a handful of mathematicians. But consider the following proof of this theorem

Mathematics education · History and Theory of Mathematics · Mathematics · Psychology

  • Is science inconsistent

    Open Access•Otávio Bueno, Peter Vickers•Synthese•2014

  • Why logical pluralism

    Open Access•Colin R Caret•Synthese•2021

  • Understanding mathematical texts

    Open Access•Merlin Carl•Synthese•2022

  • Representing the World with Inconsistent Mathematics

    Open Access•Colin Mccullough-Benner•The British Journal for the…•2020

Unique citing works4
Citations per year0,33
Citation span2014 - 2022 (9)
Citation velocityhistorical
Highly citedNo
Citation typesNeutral: 4

Tools

Open DOI
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae