Mathematical astronomy in medieval Yemen : a biobibliographical survey /
: "Published under the auspices of the American Research Center in Egypt, Incude" : ix, 98 pages, 10 pages of plates : illustrations ; 28 cm. : Includes bibliographical references (pages [75]-80) and index. : 0890030995 (hard)
Mathematical astronomy in medieval Yemen : a biobibliographical survey /
:
"Published under the auspices of the American Research Center in Egypt, Inc." :
ix, 98 pages, 10 pages of plates : illustrations, facsimiles ; 28 cm. :
Includes bibliographical references (pages 75-80) and indexes. :
0890030987
9780890030981
0890030995
9780890030998
Philosophical Approaches to the Foundations of Logic and Mathematics : In Honor of Stanisław Krajewski /
:
Eleven papers collected in the volume Philosophical Approaches to the Foundations of Logic and Mathematics address various aspects of the "roots", basic concepts and the nature of logic and mathematics. Taken together, these papers reveal how many serious philosophical problems lie at the foundations of logic and mathematics. The topics discussed in this volume include: transcending anti-foundationalism and two concurrent trends of "anthropological" and "practical" understanding of the foundations of mathematics, new approaches to mathematical realism, the "roots" of logic in a genetic perspective, the primacy of truth or satisfaction, and the "effectiveness" of mathematics in terms of categorical semantics.
:
1 online resource. :
Includes bibliographical references and index. :
9789004445956
9789004445949
Essays in the philosophy and history of logic and mathematics /
:
The book is a collection of the author's selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.
:
A collection of previously published essays; those originally written in Polish have been translated into English for this publication. :
1 online resource (343 pages) :
Includes bibliographical references (p. 301-334) and index. :
9789042030916 :
0303-8157 ; :
Available to subscribing member institutions only.
Mathematical Instrumentation in Fourteenth-Century Egypt and Syria : The Illustrated Treatise of Najm al-Dīn al-Miṣrī /
:
This volume contains the critical edition with English translation of a richly-illustrated Arabic treatise on the construction of over one hundred various astronomical instruments, many of which are otherwise unknown to specialists. It was composed by Najm al-Dīn al-Misrī, a rather shadowy figure, in Cairo ca. 1330. The edition is accompanied by a detailed technical and historical commentary, which is framed as a self-standing essay on Islamic mathematical instrumentation. While this essay/commentary is mainly based on Najm al-Dīn's treatise, it also benefits from the consultation of a large number of previously unstudied manuscripts, and includes a discussion of all relevant sources from the period 800-1500.
:
1 online resource. :
Includes bibliographical references and index. :
9789047402176
9789004130159