# Number Theory

Edited by William D'Alessandro (University of Oxford, University of Oxford, William & Mary)
 Summary Number theory is the branch of pure mathematics dealing with the integers, functions on the integers and related matters. As a body of mathematical knowledge, number theory is interesting for several reasons: for instance, because many of its statements are very simple but very hard to prove, often seeming to require methods of surprising depth and complexity. (Fermat's Last Theorem, the Goldbach conjecture and the Twin Primes conjecture are famous examples.) As an axiomatic system, arithmetic and its fragments and extensions are primary objects of study for logicians. As mathematical objects, the integers are focal points of various debates in metaphysics and epistemology: about the existence of numbers and their relationship to sets, the a priori vs. a posteriori status of arithmetic, and the origins and nature of numerical cognition, to name a few.
Related

Contents
248 found
Order:
 1 — 50 / 248
1. Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
2. It's currently fashionable to take Putnamian model theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. But I will argue that (under certain mild assumptions) merely securing determinate reference to physical possibility suffices to rule out nonstandard models of our talk of numbers. So anyone who accepts realist reference to physical possibility should not reject reference to the standard model of the natural numbers on Putnamian model theoretic grounds.
Remove from this list   Direct download (2 more)

Export citation

Bookmark   1 citation
3. This comprehensive historical account concerns that non-void intersection region between Riemann zeta function and entire function theory, with a view towards possible physical applications.
Remove from this list   Direct download (2 more)

Export citation

Bookmark
4. To appear in the Proceedings of Logic Colloquium 2006. (32 pages).
Remove from this list

Export citation

Bookmark
5. Explication and the Foundation of Number Theory.Darren Mcdonald - unknown - Eidos: The Canadian Graduate Journal of Philosophy 18.
Remove from this list

Export citation

Bookmark
6. Physical Possibility and Determinate Number Theory.Sharon Berry - forthcoming - Philosophia Mathematica:nkab013.
ABSTRACT It is currently fashionable to take Putnamian model-theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. However, I will argue that merely securing determinate reference to physical possibility suffices to rule out the kind of nonstandard interpretations of our number talk Putnam invokes. So, anyone who accepts determinate reference to physical possibility should not reject determinate reference to the natural numbers on Putnamian model-theoretic grounds.
Remove from this list   Direct download (2 more)

Export citation

Bookmark   2 citations
7. Why Did Thomas Harriot Invent Binary?Lloyd Strickland - 2024 - Mathematical Intelligencer 46 (1):57-62.
From the early eighteenth century onward, primacy for the invention of binary numeration and arithmetic was almost universally credited to the German polymath Gottfried Wilhelm Leibniz (1646–1716). Then, in 1922, Frank Vigor Morley (1899–1980) noted that an unpublished manuscript of the English mathematician, astronomer, and alchemist Thomas Harriot (1560–1621) contained the numbers 1 to 8 in binary. Morley’s only comment was that this foray into binary was “certainly prior to the usual dates given for binary numeration”. Almost thirty years later, (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
8. Value Judgments in Mathematics: G. H. Hardy and the (Non-)seriousness of Mathematical Theorems.Simon Weisgerber - 2024 - Global Philosophy 34 (1):1-24.
One of the general criteria G. H. Hardy identifies and discusses in his famous essay A Mathematician’s Apology (Cambridge University Press, Cambridge, 1940) by which a mathematician’s patterns must be judged is seriousness. This article focuses on one of Hardy’s examples of a non-serious theorem, namely that 8712 and 9801 are the only numbers below 10000 which are integral multiples of their reversals, in the sense that 8712 = 4·2178, and 9801 = 9·1089. In the context of a discussion of (...)
Remove from this list   Direct download (3 more)

Export citation

Bookmark
9. Playing with infinity: turtles, patterns, and pictures.Hans Zantema - 2024 - Boca Raton: AK Peters/CRC Press.
This is a book about infinity, specifically the infinity of numbers and sequences. Amazing properties arise, for instance, some kinds of infinity are argued to be greater than others. Along the way the author will demonstrate how infinity can be made to create beautiful 'art', guided by the development of underlying mathematics. This book will provide a fascinating read for anyone interested in number theory, infinity, math art, and/or generative art, and could be used a valuable supplement to any course (...)

Export citation

Bookmark
10. Introduction to proof through number theory.Bennett Chow - 2023 - Providence, Rhode Island, USA: American Mathematical Society.
Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references. You'll learn some really cool mathematics to boot. In the process, you will immerse yourself in living, thinking, and breathing logical reasoning. We like to call this proofs, which to some is a bogey word, but to us it is a boogie word. You will learn how to solve problems, real and imagined. After all, (...)

Export citation

Bookmark
11. F Things You (Probably) Didn't Know About Hexadecimal.Lloyd Strickland & Owain Daniel Jones - 2023 - The Mathematical Intelligencer 45:126-130.

Export citation

Bookmark
12. Mathematical Progress — On Maddy and Beyond.Simon Weisgerber - 2023 - Philosophia Mathematica 31 (1):1-28.
A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly (...)
Remove from this list   Direct download (4 more)

Export citation

Bookmark   2 citations
13. Idéaux de preuve : explication et pureté.Andrew Arana - 2022 - In Andrew Arana & Marco Panza (eds.), Précis de philosophie de la logique et des mathématiques, Volume 2, philosophie des mathématiques. Paris: Editions de la Sorbonne. pp. 387-425.
Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

Export citation

Bookmark
14. A Note on Triple Repetition Sequence of Domination Number in Graphs.Leomarich Casinillo, Emily Casinillo & Lanndon Ocampo - 2022 - Inprime: Indonesian Journal of Pure and Applied Mathematics 4 (2):72-81.
A set D subset of V(G) is a dominating set of a graph G if for all x ϵ V(G)\D, for some y ϵ D such that xy ϵ E(G). A dominating set D subset of V(G) is called a connected dominating set of a graph G if the subgraph <D> induced by D is connected. A connected domination number of G, denoted by γ_c(G), is the minimum cardinality of a connected dominating set D. The triple repetition sequence denoted by (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
15. Unrealistic Models in Mathematics.William D'Alessandro - 2022 - Philosophers' Imprint.
Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...)
Remove from this list   Direct download (3 more)

Export citation

Bookmark
16. Turin, 1916, G. Fubini: An Experiment in the Patrimonialisation of Number Theory. [REVIEW]Erika Luciano - 2022 - Philosophia Scientiae:123-144.
Une analyse historique du cours d’analyse supérieure donné par Guido Fubini à l’université de Turin en 1916 et entièrement consacré à la théorie des nombres ouvre d’intéressantes perspectives d’étude. L’article retrace une pratique de patrimonialisation collective, au sens où il analyse comment une communauté mathématique (l’École italienne de géométrie algébrique) liée à un lieu spécifique (l’université de Turin) organisait l’enseignement supérieur au cours d’une année donnée (1916), l’objectif étant d’identifier ce qu’elle jugeait important de préserver et de transmettre par rapport (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
17. Two-Sorted Frege Arithmetic is Not Conservative.Stephen Mackereth & Jeremy Avigad - 2022 - Review of Symbolic Logic 16 (4):1199-1232.
Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...)
Remove from this list   Direct download (4 more)

Export citation

Bookmark   1 citation
18. Leibniz on Binary: The Invention of Computer Arithmetic.Lloyd Strickland & Harry R. Lewis - 2022 - Cambridge, MA, USA: The MIT Press.
The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark   2 citations
19. Cubic Polynomial for the Series of Consecutive Cubes under Alternating Signs.Leomarich Casinillo - 2021 - Inprime: Indonesian Journal of Pure and Applied Mathematics 3 (2):86-91.
This paper aims to develop an elegant formula for the series of consecutive cubes of natural numbers under alternating signs. In addition, this paper investigates the formula under odd and even number of terms and discuss some important findings.
Remove from this list   Direct download (2 more)

Export citation

Bookmark
20. Some Results on a Generalized Version of Congruent Numbers.Leomarich Casinillo & Emily Casinillo - 2021 - Inprime: Indonesian Journal of Pure and Applied Mathematics 3 (1):1-6.
This paper aims to construct a new formula that generates a generalized version of congruent numbers based on a generalized version of Pythagorean triples. Here, an elliptic curve equation is constructed from the derived generalized version of Pythagorean triples and congruent numbers and gives some new results.
Remove from this list   Direct download (2 more)

Export citation

Bookmark
21. On Not Saying What We Shouldn't Have to Say.Shay Logan & Leach-Krouse Graham - 2021 - Australasian Journal of Logic 18 (5):524-568.
In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.
Remove from this list   Direct download (3 more)

Export citation

Bookmark   1 citation
22. The God-given Naturals, Induction and Recursion.Paulo Veloso & André Porto - 2021 - O Que Nos Faz Pensar 29 (49):115-156.
We discuss some basic issues underlying the natural numbers: induction and recursion. We examine recursive formulations and their use in establishing universal and particular properties.

Export citation

Bookmark
23. Lorenzen's Proof of Consistency for Elementary Number Theory.Thierry Coquand & Stefan Neuwirth - 2020 - History and Philosophy of Logic 41 (3):281-290.
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.
Remove from this list   Direct download (2 more)

Export citation

Bookmark
24. Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...)
Remove from this list   Direct download (5 more)

Export citation

Bookmark   4 citations
25. The use of figurate numbers (e. g. in the context of elementary number theory) can be considered a heuristic in the field of problem solving or proving. In this paper, we want to discuss this heuristic from the perspectives of the semiotic theory of Peirce (“diagrammatic reasoning” and “collateral knowledge”) and cognitive psychology (“schema theory” and “Gestalt psychology”). We will make use of several results taken from our research to illustrate first-year students’ problems when dealing with figurate numbers in the (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
26. Modern Physics and Number Theory.Daniel Brox - 2019 - Foundations of Physics 49 (8):837-853.
Despite the efforts of many individuals, the disciplines of modern physics and number theory have remained largely divorced, in the sense that the experimentally verified theories of quantum physics and gravity are written in the language of linear algebra and advanced calculus, without reference to several established branches of pure mathematics. This absence raises questions as to whether or not pure mathematics has undiscovered application to physical modeling that could have far reaching implications for human scientific understanding. In this paper, (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
27. A growing body of research has shown that symbolic number processing relates to individual differences in mathematics. However, it remains unclear which mechanisms of symbolic number processing are crucial—accessing underlying magnitude representation of symbols (i.e., symbol‐magnitude associations), processing relative order of symbols (i.e., symbol‐symbol associations), or processing of symbols per se. To address this question, in this study adult participants performed a dots‐number word matching task—thought to be a measure of symbol‐magnitude associations (numerical magnitude processing)—a numeral‐ordering task that focuses on (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark
28. Hilbert's 10th Problem for solutions in a subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether (...)

Export citation

Bookmark
29. On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)

Export citation

Bookmark
30. Avicenna and Number Theory.Pascal Crozet - 2018 - In Hassan Tahiri (ed.), The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 67-80.
Among the four mathematical treatises that Avicenna takes care to place within his philosophical encyclopaedia, the one he devotes to arithmetic is undoubtedly the most singular. Contrary to the treatise on geometry, which differs little from its Euclidean model, the philosopher takes as his point of departure the treatise of Nicomachus of Gerase, but modifies its spirit to incorporate results from the many disciplines which were dealing with numbers: Euclidean Theory of numbers, Nicomachean Aritmāṭīqī, Indian reckoning, Ḥisāb, Algebra, etc. We (...)

Export citation

Bookmark
31. Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...)
Remove from this list   Direct download (3 more)

Export citation

Bookmark   9 citations
32. Remove from this list   Direct download (4 more)

Export citation

Bookmark   1 citation
33. How the Abstract Becomes Concrete: Irrational Numbers Are Understood Relative to Natural Numbers and Perfect Squares.Purav Patel & Sashank Varma - 2018 - Cognitive Science 42 (5):1642-1676.

Export citation

Bookmark   2 citations
34. Solutions to word problems are moderated by the semantic alignment of real-world relations with mathematical operations. Categorical relations between entities are aligned with addition, whereas certain functional relations between entities are aligned with division. Similarly, discreteness vs. continuity of quantities is aligned with different formats for rational numbers. These alignments have been found both in textbooks and in the performance of college students in the USA and in South Korea. The current study examined evidence for alignments in Russia. Textbook analyses (...)
Remove from this list   Direct download (7 more)

Export citation

Bookmark   1 citation
35. SICs and Algebraic Number Theory.Marcus Appleby, Steven Flammia, Gary McConnell & Jon Yard - 2017 - Foundations of Physics 47 (8):1042-1059.
We give an overview of some remarkable connections between symmetric informationally complete measurements and algebraic number theory, in particular, a connection with Hilbert’s 12th problem. The paper is meant to be intelligible to a physicist who has no prior knowledge of either Galois theory or algebraic number theory.
Remove from this list   Direct download (4 more)

Export citation

Bookmark   3 citations
36. Learning the Natural Numbers as a Child.Stefan Buijsman - 2017 - Noûs 53 (1):3-22.
How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...)
Remove from this list   Direct download (2 more)

Export citation

Bookmark   13 citations
37. Husserl’s Early Semiotics and Number Signs: Philosophy of Arithmetic through the Lens of “On the Logic of Signs ”.Thomas Byrne - 2017 - Journal of the British Society for Phenomenology 48 (4):287-303.
This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs will (...)
Remove from this list   Direct download (8 more)

Export citation

Bookmark   8 citations
38. Kant's Conception of Number.Daniel Sutherland - 2017 - Philosophical Review Current Issue 126 (2):147-190.
Despite the importance of Kant's claims about mathematical cognition for his philosophy as a whole and for subsequent philosophy of mathematics, there is still no consensus on his philosophy of arithmetic, and in particular the role he assigns intuition in it. This inquiry sets aside the role of intuition for the nonce to investigate Kant's conception of natural number. Although Kant himself doesn't distinguish between a cardinal and an ordinal conception of number, some of the properties Kant attributes to number (...)
Remove from this list   Direct download (4 more)

Export citation

Bookmark   3 citations
39. Non-associative public-key cryptography.Arkadius Kalka - 2016 - In Delaram Kahrobaei, Bren Cavallo & David Garber (eds.), Algebra and computer science. Providence, Rhode Island: American Mathematical Society.
Remove from this list

Export citation

Bookmark
40. Character and object.Rebecca Morris & Jeremy Avigad - 2016 - Review of Symbolic Logic 9 (3):480-510.
In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof are explicitly higher-order, in that they involve quantifying over and summing over Dirichlet characters, which are certain types of functions. The notion of a character is only implicit in Dirichlet’s original proof, and the subsequent history shows a very gradual transition to the modern mode of presentation. In this essay, we (...)
Remove from this list   Direct download (5 more)

Export citation

Bookmark   10 citations
41. Logic and discrete mathematics: a concise introduction.Willem Conradie - 2015 - Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.
A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...)

Export citation

Bookmark   3 citations
42. Arithmetic and Number in the Philosophy of Symbolic Forms.Jeremy Heis - 2015 - In Sebastian Luft & J. Tyler Friedman (eds.), The Philosophy of Ernst Cassirer: A Novel Assessment. De Gruyter. pp. 123-140.

Export citation

Bookmark   5 citations
43. MOD planes: a new dimension to modulo theory.Vasantha Kandasamy & B. W. - 2015 - Bruxelles, Belgium: EuropaNova. Edited by K. Ilanthenral & Florentin Smarandache.
A new dimension is given to modulo theory by defining MOD planes. In this book, the authors consolidate the entire four quadrant plane into a single quadrant plane defined as the MOD planes. MOD planes can be transformed to infinite plane and vice versa. Several innovative results in this direction are obtained. This paradigm shift will certainly lead to new discoveries.

Export citation

Bookmark
44. Natural neutrosophic numbers and MOD neutrosophic numbers.Vasantha Kandasamy & B. W. - 2015 - Bruxelles, Belgium: EuropaNova. Edited by K. Ilanthenral & Florentin Smarandache.

Export citation

Bookmark
45. A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.
The aim of this paper is to shed new light on the logical roots of arithmetic by presenting a logical framework that takes seriously ordinary locutions like ‘at least n Fs’, ‘n more Fs than Gs’ and ‘n times as many Fs as Gs’, instead of paraphrasing them away in terms of expressions of the form ‘the number of Fs’. It will be shown that the basic concepts of arithmetic can be intuitively defined in the language of ALA, and the (...)
Remove from this list   Direct download (3 more)

Export citation

Bookmark   8 citations
46. Purity in Arithmetic: some Formal and Informal Issues.Andrew Arana - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 315-336.
Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.
Remove from this list   Direct download (2 more)

Export citation

Bookmark   3 citations
47. The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression.Jeremy Avigad & Rebecca Morris - 2014 - Archive for History of Exact Sciences 68 (3):265-326.
In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.
Remove from this list   Direct download (6 more)

Export citation

Bookmark   7 citations
48. Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...)
Remove from this list   Direct download (3 more)

Export citation

Bookmark   4 citations
49. Remove from this list   Direct download (3 more)

Export citation

Bookmark
50. On equality and natural numbers in Cantor-Lukasiewicz set theory.P. Hajek - 2013 - Logic Journal of the IGPL 21 (1):91-100.
Remove from this list   Direct download (3 more)

Export citation

Bookmark   1 citation
 1 — 50 / 248