Unraveling all the mysteries of the khipu--the knotted string device used by the Inka to record both statistical data and narrative accounts of myths, histories, and genealogies--will require an understanding of how number values and relations may have been used to encode information on social, familial, and political relationships and structures. This is the problem Gary Urton tackles in his pathfinding study of the origin, meaning, and significance of numbers and the philosophical principles underlying the practice of arithmetic among (...) class='Hi'>Quechua-speaking peoples of the Andes. Based on fieldwork in communities around Sucre, in south-central Bolivia, Urton argues that the origin and meaning of numbers were and are conceived of by Quechua-speaking peoples in ways similar to their ideas about, and formulations of, gender, age, and social relations. He also demonstrates that their practice of arithmetic is based on a well-articulated body of philosophical principles and values that reflects a continuous attempt to maintain balance, harmony, and equilibrium in the material, social, and moral spheres of community life. (shrink)

This paper is in two parts. The first presents an analysis of the epistemology underlying the practice of classical Indian mathematical astronomy, as presented in three works of Nīlakaṇṭha Somayāji (1444–1545 CE). It is argued that the underlying concepts put great value on careful observation and skill in development of algorithms and use of computation. This is reflected in the technical terminology used to describe scientific method. The keywords in this enterprise include parīkṣā, anumāna, gaṇita, yukti, nyāya, siddhānta, tarka and (...) anveṣaṇa. The concepts that underlie these terms are analysed and compared with such ideas as theory, model, computation, positivism, empiricism etc. In a short second part, it is proposed that the primacy awarded to number and computation in classical Indian science led to an artificial language that did include equations but emphasized displays that facilitated calculation, as in the Bakshali manuscript (800 CE?). It is further argued that echoes of these concepts can be recognized in current science, where computation is once again playing a greater role triggered by spectacular developments in computer technology. (shrink)

This paper presents a challenge to Eurocentric world history on the grounds that it reifies and exaggerates the role of the West in the creation of modernity, while simultaneously ignoring India's seminal contributions. The groundwork is prepared in the first three sections, which refute the parochial biases of Eurocentrism by revealing India's impressive early developmental record and its place near the center of a nascent global economy. The paper culminates in an approach that places the "dialogue of civilizations" center-stage of (...) progressive world history, which is formulated as an antidote to parochial Eurocentric world history. This entails an extensive discussion of two key contributions that India made in enabling the rise of the modern West. These comprise the dissemination of Indian industrial methods that enabled the British industrial revolution on the one hand, and the transmission of Indian mathematical ideas that helped promote the European scientific revolution on the other hand. Moreover, this discussion is coupled with two speculative counterfactual historical scenarios. They are: first, that in the absence of British imperialism which sought to "contain" Indian development, India might have gone on to make the breakthrough to modernity, and second, that in the absence of Indian (as well as Chinese, African and Middle Eastern) help, the West might not have made the breakthrough to modernity. But whatever the veracity of such counterfactuals may or may not be, the ultimate upshot of the argument presented in this paper reveals that Eurocentrism's central claim - that the West made the breakthrough to modernity all by itself - can no longer hold true. (shrink)

This book is part of a major project undertaken by the Centre for Studies in Civilizations , being one of a total of ninety-six planned volumes. The author is a statistician and computer scientist by training, who has concentrated on historical matters for the last ten years or so. The book has very ambitious aims, proposing an alternative philosophy of mathematics and a deviant history of the calculus. Throughout, there is an emphasis on the need to combine history and philosophy (...) of mathematics, especially in order to evaluate properly the history of mathematics in India, in particular the history of the calculus.The pivotal goals of the book are to oppose the Eurocentric account of the history of science in general and mathematics in particular; to avoid the usual philosophical idea of the centrality of proof for mathematical knowledge, in favour of the traditional Indian notion of pramāṇa [validation] encompassing empirical elements and emphasizing calculation; to analyze the thousand-year-long development of infinite series in India, starting in the fifth century; and to show ‘how and why the calculus was imported into Europe’ from about 1500. The result is a picture in which inputs from the Indian subcontinent and epistemology are the driving forces of the history of mathematics, as people in the European subcontinent struggle to adopt new calculation techniques from the East in spite of Western philosophico-religious biases . Thus, a ‘first math war’ involved the algorismus de numero indorum, adopted for practical reasons, which forced Europeans to modify their epistemology of number and quantities. A ‘second math war’ revolved around infinite series and the calculus, since the background of Western epistemology created ‘spurious difficulties’ about infinities and infinitesimals, partially resolved with theories of real numbers. And a ‘third math war’ is …. (shrink)

Current formal mathematics, being divorced from the empirical, is entirely a social construct, so that mathematical theorems are no more secure than the cultural belief in two-valued logic, incorrectly regarded as universal. Computer technology, by enhancing the ability to calculate, has put pressure on this social construct, since proof-oriented formal mathematics is awkward for computation, while computational mathematics is regarded as epistemo-logically insecure. Historically, a similar epistemological fissure between computational/practical Indian mathematics and formal/spiritual Western mathematics persisted for centuries, during a (...) dialogue of civilizations, when texts on "algorismus" and "infinitesimal" calculus were imported into Europe, enhancing the ability to calculate. It is argued here that this epistemological tension should be resolved by accepting mathematics as empirically based and fallible, and by revising accordingly the mathematics syllabus outlined by Plato. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

PurposeIn this article, we aim to present and defend a contextual approach to mathematical explanation.MethodTo do this, we introduce an epistemic reading of mathematical explanation.ResultsThe epistemic reading not only clarifies the link between mathematical explanation and mathematical understanding, but also allows us to explicate some contextual factors governing explanation. We then show how several accounts of mathematical explanation can be read in this approach.ConclusionThe contextual approach defended here clears up the notion of explanation and pushes us towards a pluralist vision (...) on mathematical explanation. (shrink)

Current formal mathematics, being divorced from the empirical, is entirely a social construct, so that mathematical theorems are no more secure than the cultural belief in two-valued logic, incorrectly regarded as universal. Computer technology, by enhancing the ability to calculate, has put pressure on this social construct, since proof-oriented formal mathematics is awkward for computation, while computational mathematics is regarded as epistemo-logically insecure. Historically, a similar epistemological fissure between computational/practical Indian mathematics and formal/spiritual Western mathematics persisted for centuries, during a (...) dialogue of civilizations, when texts on "algorismus" and "infinitesimal" calculus were imported into Europe, enhancing the ability to calculate. It is argued here that this epistemological tension should be resolved by accepting mathematics as empirically based and fallible, and by revising accordingly the mathematics syllabus outlined by Plato. (shrink)

PurposeThis paper aims to establish that a certain sort of mathematical pluralism is true. MethodsThe paper proceeds by arguing that that the best versions of mathematical Platonism and anti-Platonism both entail the relevant sort of mathematical pluralism. Result and ConclusionThis argument gives us the result that mathematical pluralism is true, and it also gives us the perhaps surprising result that mathematical Platonism and mathematical pluralism are perfectly compatible with one another.

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first that (...) G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

Sundar Sarukkai is a philosopher and is currently associated with the National Institute of Advanced Studies, Bangalore as a Professor of Philosophy. His research interests range from philosophy of science, philosophy of mathematics, postmodernism, phenomenology to philosophy of art. A critical philosopher whocan, with élan, and a certain sense of analytical rigour, transverse the philosophical terrains between the Western and Indian traditions. He has authored several books, such as Translating the World: Science and Language, Philosophy of Symmetry and Indian Philosophy (...) and Philosophy of Science. Hehas earned his doctoral degree from Purdue University, USA following which he has been associated with several institutes such as Indian Institute of Advanced Studies, Manipal University and National Institute of Advanced Studies, Bangalore. He has been the Founder-Director, Manipal Centre for Philosophy and Humanities, Manipal University, Manipal. He can be reached at [email protected]. (shrink)

With mathematical reconstructions and philosophical arguments I show that Toomer's 1973 paper never contained any conclusive evidence for his claims that Hipparchus had a 3438'-based chord table, and that the Indians used that table to compute their sine tables. Recalculating Toomer's reconstructions with a 3600' radius -- i.e. the radius of the chord table in Ptolemy's Almagest, expressed in 'minutes' instead of 'degrees' -- generates Hipparchan-like ratios similar to those produced by a 3438' radius. It is therefore possible that (...) the radius of Hipparchus's chord table was 3600', and that the Indians independently constructed their 3438'-based sine table. (shrink)

This note opens with brief evaluations of classical foundationalist endeavors – those of Frege, Russell, Brouwer and Hilbert. From there we proceed to some pluralist approaches to foundations, focusing on Putnam and Wittgenstein, making a note of what enables their pluralism. Then, I bring up approaches that find foundations potentially harmful, as expressed by Rav and Lakatos. I conclude with a brief discussion of a late medieval Indian case study in order to show what an “unfounded” mathematics could look like. (...) The general purpose is to re-evaluate the desiderata of foundational programs in mathematics. (shrink)

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove (...) the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof. (shrink)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it into (...) a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

Summary The Sanskrit term ‘Yavana’, originally a transliteration of ‘Ionian (Greek)’ but later applied to other foreigners as well, was used throughout the common era to designate various foreign importations in the exact sciences. Likewise, the name ‘Indian’ was attached to several mathematical concepts and techniques in the Islamic world (as well as Europe) from about the seventh century onward. However, not all innovations adopted from or into the Indian tradition were labeled ‘Indian’ or ‘Yavana’ respectively. This paper examines the (...) question of what characteristics marked some borrowed techniques and concepts as ‘foreign’ and stamped them with their outlandish origin, while others were quietly assimilated into ‘indigenous’ learning. (shrink)

Among the universal attributes of homo sapiens, several have become established as special fields of study—language, art and music, religion, and political economy. But mathematics, another universal attribute of our species, is still modeled separately by logicians, historians, neuroscientists, and others. Could it be integrated into “mathematics studies,” a coherent, many-faceted branch of empirical science? Could philosophers facilitate such a unification? Some philosophers of mathematics identify themselves with “positions” on the nature of mathematics. Those “positions” could more productively serve as (...) models of mathematics. (shrink)

The book is a humanistic evaluation of the achievements of Indian tradition in the areas of Philosophy, Religion, History, Science, Social Organization, Ethics, Economics, and Politics. Murty tries to point out with a great deal of evidence that the ordinary antinomies like the Spiritual East and the Scientific West do not hold good. Hindu Scriptures emphasize the value of earthly life too. India made significant contributions in the areas of Mathematics and Astronomy. It had a well planned social organization and (...) developed a highly sophisticated system of government. The laws which governed the evolution of Indian Culture are the same as that of the rest of humanity. Only, it passed the recent stages of Western Culture long ago and was for long dormant and in decline. Written against the background of Western publications about Indian Culture the book has throughout an apologetic ring.—J. K. (shrink)

Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, for (...) example Brian Rotman, talk critically about “theological mathematics”. Theological metaphors, like “God’s view”, are used even by contemporary mathematicians. While rarely appearing in official texts they are rather easily invoked in “the kitchen of mathematics”. There exist theories developing without the assumption of actual infinity the tools of classical mathematics needed for applications (For instance, Mycielski’s approach). Conclusion: mathematics could have developed in another way. Finally, several specific examples of historical situations are mentioned where, according to some authors, direct theological input into mathematics appeared: the possibility of the ritual genesis of arithmetic and geometry, the importance of the Indian religious background for the emergence of zero, the genesis of the theories of Cantor and Brouwer, the role of Name-worshipping for the research of the Moscow school of topology. Neither these examples nor the previous illustrations of theological metaphors provide a certain proof that religion or theology was directly influencing the development of mathematical ideas. They do suggest, however, common points and connections that merit further exploration. (shrink)

It is now just over one hundred years since the beginning of the mathematical partnership between the Cambridge analyst G. H. Hardy and the Indian mathematical genius Srinivasa Ramanujan, one of the most celebrated collaborations in the history of mathematics. Indeed, the story of how Ramanujan was brought from India to Cambridge and feted by the British mathematical establishment now borders on legendary. But, in the context of this collection of articles, it provides an interesting case study of mathematical exchange. (...) This paper considers one particular product of the Hardy-Ramanujan creative partnership: their 1918 paper on partitions, and argues that the exchange of ideas prompted by their work on this paper was facilitated in part by their membership of the premier learned body in Britain for the advancement of mathematical research: the London Mathematical Society. (shrink)

It is now just over one hundred years since the beginning of the mathematical partnership between the Cambridge analyst G. H. Hardy and the Indian mathematical genius Srinivasa Ramanujan, one of the most celebrated collaborations in the history of mathematics. Indeed, the story of how Ramanujan was brought from India to Cambridge and feted by the British mathematical establishment now borders on legendary. But, in the context of this collection of articles, it provides an interesting case study of mathematical exchange. (...) This paper considers one particular product of the Hardy-Ramanujan creative partnership: their 1918 paper on partitions, and argues that the exchange of ideas prompted by their work on this paper was facilitated in part by their membership of the premier learned body in Britain for the advancement of mathematical research: the London Mathematical Society. (shrink)

When they touch the elephant to find out what it's like, the six blind men cannot agree, for each feels a different part and arrives at a different conclusion.

In this paper, we analyze the astronomical tables in al-Zīj al-Muqtabis by Ibn al-Kammād (early twelfth century, Córdoba), based on the Latin and Hebrew versions of the lost Arabic original, each of which is extant in a unique manuscript. We present excerpts of many tables and pay careful attention to their structure and underlying parameters. The main focus, however, is on the impact al-Muqtabis had on the astronomy that developed in the Iberian Peninsula and the Maghrib and, more generally, on (...) the transmission and diffusion of Indian astronomy in the West after the arrival of al-Khwārizmī’s astronomical tables in al-Andalus (Muslim Spain) in the tenth century. This tradition of Indian origin competed with the Greek tradition represented by al-Battānī’s astronomical tables and was much more alive in the Iberian Peninsula and the Maghrib than previously thought. From Spain, the Indian tradition entered mainstream European astronomy, where we find echoes of it in all versions of the Alfonsine Tables, both in manuscript and in the printed editions (beginning in 1483), as well as in Copernicus’s De Revolutionibus, published in 1543. (shrink)

This book offers an engaging and comprehensive introduction to scientific theories, and the evolution of science and mathematics through the centuries. It discusses the history of scientific thought and ideas and the intricate dynamic between new scientific discoveries, scientists, culture, and societies. Through stories and historical accounts, the volume illustrates the human engagement and preoccupation with science and the interpretation of natural phenomena. It highlights key scientific breakthroughs from the ancient to later ages, giving us accounts of the work of (...) ancient Greek and Indian mathematicians and astronomers as well as of the work of modern scientists like Descartes, Newton, Planck, Mendel and many more. The author also discusses the vast advancements which have been made in the exploration of space, matter, and genetics and their relevance in the advancement of the scientific tradition. He provides great insights into the process of scientific experimentation and the relationship between science and mathematics. He also shares amusing anecdotes of scientists and their interactions with the world around them. Detailed and accessible, this book will be of great interest to students and researchers of science, mathematics, the philosophy of science, science and technology studies, and history. It will also be useful for general readers who are interested in the history of scientific discoveries and ideas. (shrink)

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...) Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

The Chinese character ⟨東⟩, writing a word meaning ‘east’, is shown here to have arisen in connection with the use of the vertical gnomon in the determination of cardinal direction. The simple geometric procedure involved—by Al-Bīrūnī termed the “Indian Circle”—is attested across a number of other early cultural contexts, and has a Chinese history traceable from classical-era technical treatises such as the “Kǎogōng jì” 考工記 to sixth-century commentary to the mathematical text Shùshù jìyí 數術記遺. Evidence offered below constitutes the first (...) direct indication for such a practice in second-millennium BCE China. (shrink)

The nature of time is perceived by intellectuals variedly. An attempt is made in this paper to reconcile such varied views in the light of the Upanishads and related Indian spiritual and philosophical texts. The complex analysis of modern mathematics is used to represent the nature and presentation physical and psychological times so differentiated. Also the relation between time and energy is probed using uncertainty relations, forms of energy and phases of matter.

In lieu of an abstract, here is a brief excerpt of the content:March 13, 2008 (7:35 pm) G:\WPData\TYPE2702\russell 27,2 054.wpd 272 Reviews 1 See Brian J.yL. Berry and Donald C. Dahmen, “Paul Wheatley, 1921–1999”, Annals of the Association of American Geographers 91 (2001): 734–47. THE LIVES OF THOSE WHO WOULD BE IMMORTAL Richard Henry Schmitt U. of Chicago Chicago, il 60637, usa [email protected] David Leavitt. The Indian Clerk: a Novel. London: Bloomsbury, 2008; New York: Bloomsbury, 2007. Pp. 485. isbn 1-59691-040-2. (...) £16.99; us$24.95 (hb). From the start, this novel interested me for two reasons. First, it attempts to tell us the personal stories of two individuals who were working at the highest level in a very abstract Weld, namely G.yH. Hardy (1877–1947) and Srinivasa Ramanujan (1887–1920) during their collaboration on pure mathematics between spring 1914 and spring 1919. Obviously the same problems would arise in trying to tell the personal story of Bertrand Russell’s supervision of Ludwig Wittgenstein in mathematical logic, which occurred at Cambridge University in the years just before the start of the Great War. It is a great challenge to try to tie personal dynamics and abstract thought into a single coherent narrative. There are implications for the philosophy of mathematics and the history and sociology of science. So, of course, we have to ask: how does author David Leavitt rise to this challenge? Second, a more personal reason: Paul Wheatley1 told me shortly before his death that he thought this period at Cambridge represented the highest accom- March 13, 2008 (7:35 pm) G:\WPData\TYPE2702\russell 27,2 054.wpd Reviews 273 2 G.yH. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work (Cambridge: Cambridge U. P., 1940). Two lectures were presented at Harvard in 1936; the Wrst, a more personal recollection, was printed unchanged. The quote is from p. 2. The second lecture was expanded into the remaining published lectures, all considering speciWc mathematical topics. plishment possible for an academic institution: its fellows and masters had managed to attract and then recognize the genius of Ramanujan and Wittgenstein and to admit them to advanced studies without any real academic credentials. Wheatley had been the chair of the Committee on Social Thought at the University of Chicago; so, he knew something about such matters, as he did about many things involving humans, human settlements, and their arrangement in the world. Incidentally, Wheatley himself appeared as a character, Battle, in Ravenstein, Saul Bellow’s roman à clef about Allan Bloom. So, to the extent that Cambridge University just before and during the Great War plays a role here, we want to learn as much as we can about the atmosphere of the place. The Indian Clerk is a historical novelz—zin this case naming actual names, elaborating what we know about real people and occasionally adding Wctional charactersz—zall centered on the extraordinary mathematical genius Ramanujan and his equally extraordinary importation from India to Cambridge. The story is told largely in the third person, by an omniscient narrator, but repeatedly we also have the inner voice of G.yH. Hardy: there are a number of chapters with the indication “New Lecture Hall, Harvard University”, dated 1936, in which Hardy speaks in the Wrst person. In these passages David Leavitt uses parts of the published lectures, along with G.yH. Hardy’s private thoughtsz—zas imagined by Leavittz—zabout this “one romantic incident in my life” and about other matters that still haunt him.2 The novel is thus in some sense more about G.yH. Hardy and his inner life than it is about Srinivasa Ramanujan. The triumph of the novel is its ability to reconstruct and convey in a lively manner the circumstances of the time, the look and smell of the place, the crosscurrents, dynamics, and dislocations of people during these years. Leavitt has woven together a great deal, from many diTerent realms: pre-war meetings of the Apostles, the high table, the pre-war mathematics tripos, the method of collaboration between Hardy and J.yE. Littlewood, Cambridge as military training grounds and as hospital for the wounded, vegetarian cookery, feminism, Hindu... (shrink)

IntroductionScientific pluralism is generally understood in the backdrop of scientific monism. So is mathematical pluralism. Though there are many culture-dependent mathematical practices, mathematical concepts and theories are generally taken to be culture invariant. We would like to explore in this paper whether mathematical pluralism is admissible or not.Materials and methodsMathematical pluralism may be approached at least from five different perspectives. 1. Foundational: The view would claim that different issues within mathematics need support of different foundations, apparently incompatible with one another. (...) 2. Ontological: The world itself is dappled—the mathematical counterpart of which can be traced to the admission of non-Euclidean spaces and also in simultaneous acceptance of set-theoretic and category theoretic entities in the ontology of mathematics. 3. The third route is epistemological. It follows from the view that the nature of reality is so complex that different aspects of it require alternative modes of representation and explanation sometimes severally, sometimes simultaneously, e.g., classical, constructivist, computer-aided and different finitist mathematics can be used depending on the knowledge situation. 4. The fourth route is semantic. Fuzzy mathematics, we know, gives up bivalence in theory of truth, and ascribes truth to mathematical propositions in degrees. 5. The last one is Programmatic: for some, mathematical pluralism is a stance, a programme. It provides a framework which strikes at the root of cultural hegemony and nourishes a climate of intellectual humility and tolerance. It is not my intention to hold the brief of any of these versions. I just want to present to the readers a more or less complete picture of the scenario, though not an exhaustive one. ConclusionUnlike monism, mathematical pluralism does not rule out any possibility—even the possibility of having a unitary over-arching framework of interpretation remains as an open option. This paper highlights the fact that motivations for upholding pluralism in mathematics have been many and one can be a pluralist just by subscribing to any of the views listed above. (shrink)

IntroductionThis paper focuses on a radical feminist engagement with mathematical pluralism. Radical Feminists are interested in a project of methodological re-tooling. Mathematical pluralism appears to be a possible source of help in this direction.Materials and MethodsWith this aim in view the article examines the contributions of Mihir Chakraborty and Amita Chatterjee. By using the method of philosophical argument their theses have been judged from a feminist perspective.ResultsSome very interesing results have been arrived at in terms of accommodating vagueness and pluralism (...) into feminist methodology by the help of mathematical pluralism.DiscussionBy the way of an ongoing discussion the paper states the contours of a radical feminist road map and specifies the kind help they seek from mathematical pluralism. (shrink)

The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as (...) aspects of \mathematical understanding." Meanwhile, in a branch of computer science known as \formal ver- ication," the practice of interactive theorem proving has given rise to software tools and systems designed to support the development of com- plex formal axiomatic proofs. Such eorts require one to develop models of mathematical language and inference that are more robust than the the simple foundational models of the last century. This essay explores some of the insights that emerge from this work, and some of the ways that these insights can inform, and be informed by, philosophical theories of mathematical understanding. (shrink)