Loading…

QR Code

Saving proof from paradox: Gödel’s paradox and the inconsistency of informal mathematics

In this paper I shall consider two related avenues of argument that have been used to make the case for the inconsistency of mathematics: firstly, Gödel’s paradox which leads to a contradiction within mathematics and, secondly, the incompatibility of completeness and consistency established by Gödel...

Full description

Saved in:

Bibliographic Details
Main Author:	Fenner Tanswell
Format:	Default Book chapter
Published:	2016
Subjects:	Formal system Formal language Mathematical reasoning Mathematical practice Incompleteness theorem
Online Access:	https://hdl.handle.net/2134/9589094.v1
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conditional inference and advanced mathematical study
by: Matthew Inglis, et al.
Published: (2008)

Conditional inference and advanced mathematical study: further evidence
by: Matthew Inglis, et al.
Published: (2009)

Support with caveats: advocates’ views of the Theory of Formal Discipline as a reason for the study of advanced mathematics
by: Elaine Wainwright, et al.
Published: (2017)

Advanced mathematics and deductive reasoning skills: testing the Theory of Formal Discipline
by: Nina Attridge
Published: (2013)

Task coordination in multiagent systems
by: Vahid Yazdanpanah, et al.
Published: (2020)

Digital storytelling in formal and non-formal education
by: Antonia Liguori, et al.
Published: (2022)

Semantic contamination and mathematical proof: can a non-proof prove?
by: Juan P. Mejia-Ramos, et al.
Published: (2011)

Expert and novice approaches to reading mathematical proofs
by: Matthew Inglis, et al.
Published: (2012)

Choosing the best proofs
by: Colin Foster
Published: (2022)

Learning about proof with the theorem prover LEAN: the abundant numbers task
by: Athina Thoma, et al.
Published: (2021)

Economic and political institutions and entry into formal and informal entrepreneurship
by: Erkko Autio, et al.
Published: (2014)

Formal verification of robustness and resilience of learning-enabled state estimation systems for robotics
by: Wei Huang, et al.
Published: (2020)

The ability to reject invalid logical inferences predicts proof comprehension and mathematics performance
by: Lara Alcock, et al.
Published: (2014)

Traveling waves in the Baer and Rinzel model of spine studded dendritic tissue
by: G.J. Lord, et al.
Published: (2001)

Layers of learning in coach developers’ practice-theories, preparation and delivery
by: Anna Stodter, et al.
Published: (2019)

Epistemic injustice in mathematics
by: Colin J. Rittberg, et al.
Published: (2018)

Pythagoras's Theorem
by: Colin Foster
Published: (2022)

Conjunctive queries for logic-based information extraction
by: Sam M Thompson
Published: (2022)

Understanding mathematical conditionals: An educational perspective informed by philosophy, linguistics and psychology
by: Lara Alcock
Published: (2024)

The professional learning of Chinese sports training students through social media
by: Hongyun Li
Published: (2024)

Children’s environmental citizen science: engagement, experiences and outcomes
by: Catherine Wilson
Published: (2024)

Numeracy in Papua New Guinea: an investigation with particular reference to the relationship between number skill teaching and the use of the calculator
by: Allen Edwards
Published: (1982)

Formal transformation methods for automated fault tree generation from UML diagrams
by: Rosmira Roslan
Published: (2020)

Co-designing a digital storytelling toolkit to improve youth mental well-being
by: Antonia Liguori
Published: (2023)

On corruption and decentralized economies
by: Svetlana Andrianova
Published: (2002)

Conceptual engineering for mathematical concepts
by: Fenner Tanswell
Published: (2017)

Gödel's proof / by Ernest Nagel and J.R. Newman.
by: Nagel, Ernest, 1901-
Published: (1959)

Greasing the wheels or blocking the path? Organizational structure, product innovativeness, and new product success
by: Dennis Walheiser, et al.
Published: (2021)

Knowledge sharing and information security: a paradox?
by: Ghosia Ahmed, et al.
Published: (2014)

Working the boundaries in the motor industry
by: P.K. Smart, et al.
Published: (2000)

On the membership problem for pattern languages and related topics
by: Markus L. Schmid
Published: (2012)

On social memory, paradoxes of opinion and the democratic competence of citizens
by: Cristian Tileaga
Published: (2017)

The acquisition of preschool mathematical abilities: theoretical, methodological and educational considerations
by: Joke Torbeyns, et al.
Published: (2015)

Towards a formal manufacturing reference ontology
by: Zahid Usman, et al.
Published: (2013)

Formal verification of robustness and resilience of learning-enabled state estimation systems
by: Wei Huang, et al.
Published: (2024)

Paradox and discovery / by J. Wisdom.
by: Wisdom, J.
Published: (1965)

IMC and the practitioners’ strategy paradox
by: Argyro Elisavet Manoli, et al.
Published: (2014)

The paradox of Olbers' paradox : a case history of scientific thought / by S.L. Jaki.
by: Jaki, S. L.
Published: (1969)

Matrix equations and Hilbert's tenth problem
by: Paul Bell, et al.
Published: (2008)

Improving proof comprehension in undergraduate mathematics
by: Mark Hodds
Published: (2014)