In this paper, I explore an intriguing view of definable numbers proposed by a Cambridge mathematician Ernest Hobson, and his solution to the paradoxes of definability. Reflecting on König’s paradox and Richard’s paradox, Hobson argues that an unacceptable consequence of the paradoxes of definability is that there are numbers that are inherently incapable of finite definition. Contrast to other interpreters, Hobson analyses the problem of the paradoxes of definability lies in a dichotomy between finitely definable numbers and not finitely definable numbers. To bypass this predicament, Hobson proposes a language dependent analysis of definable numbers, where the diagonal argument is employed as a means to generate more and more definable numbers. This paper examines Hobson’s work in its historical context, and articulates his argument in detail. It concludes with a remark on Hobson’s analysis of definability and Alan Turing’s analysis of computability.
...More
Article
Mark Textor;
(2021)
Saying Something about a Concept: Frege on Statements of Number
(/isis/citation/CBB227044624/)
Article
Xiaofei Wang;
(2022)
How Jean-Baptiste Delambre read ancient Greek arithmetic on the basis of the arithmetic of “complex numbers” at the turn of the 19th century
(/isis/citation/CBB809964800/)
Article
Yap, Audrey;
(2011)
Gauss' Quadratic Reciprocity Theorem and Mathematical Fruitfulness
(/isis/citation/CBB001024184/)
Book
Richard Dedekind;
Heinrich Weber;
(2019)
Theorie Des Fonctions Algebriques d'Une Variable
(/isis/citation/CBB160173996/)
Article
Christine Chambris;
Jana Visnovska;
(2022)
On the history of units in French elementary school arithmetic: The case of proportionality
(/isis/citation/CBB935801822/)
Article
Catherine Goldstein;
(2016)
«Découvrir des principes en classant» : la classification des formes quadratiques selon Charles Hermite
(/isis/citation/CBB947622345/)
Article
David Sullivan;
(2016)
Frege's ‘On the Concept of Number’ (1891) – an Unnoticed Publication
(/isis/citation/CBB330707483/)
Article
Christine Proust;
(2022)
The sexagesimal place-value notation and abstract numbers in mathematical cuneiform texts
(/isis/citation/CBB388966363/)
Article
Mazliak, Laurent;
Sage, Marc;
(2014)
Au-delà des réels: Émile Borel et l'approche probabiliste de la réalité
(/isis/citation/CBB001551991/)
Article
Schirn, Matthias;
(2013)
Frege's Approach to the Foundations of Analysis (1874--1903)
(/isis/citation/CBB001212887/)
Article
Márcia R. Cerioli;
Hugo Nobrega;
Guilherme Silveira;
Petrucio Viana;
(2022)
On the (In)Dependence of the Peano Axioms for Natural Numbers
(/isis/citation/CBB173126247/)
Chapter
Janet Folina;
(2014)
Poincaré and the Invention of Convention
(/isis/citation/CBB627819901/)
Chapter
Jeremy Gray;
(2015)
Henri Poincaré and Hermann Weyl on the Foundations of Mathematics
(/isis/citation/CBB501271170/)
Chapter
Antonio A. P. Videira;
(2014)
Poincaré, Indifferent Hypotheses and Metaphysics
(/isis/citation/CBB846876938/)
Article
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
(/isis/citation/CBB257161891/)
Article
Francesca Biagioli;
(2020)
Ernst Cassirer's transcendental account of mathematical reasoning
(/isis/citation/CBB961648354/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Nikolay Milkov;
(2016)
Walter Dubislav’s Philosophy of Science and Mathematics
(/isis/citation/CBB827471050/)
Article
Lizhen Ji;
Chang Wang;
(2020)
Poincaré’s stated motivations for topology
(/isis/citation/CBB272091949/)
Book
Gray, Jeremy;
Parshall, Karen Hunger;
(2007)
Episodes in the History of Modern Algebra (1800--1950)
(/isis/citation/CBB000774194/)
Be the first to comment!