‎Mathématiques‎

‎HESSE, OTTO.‎

‎Vorlesungen aus der Analytischen Geometrie der geraden Linie, des Punktes und der Kreises in der Ebene. Vierte Auflage revidiert und ergänzt von S. Gundelfinger.‎

‎Leipzig, B.G. Teubner, 1906. Orig. full cloth. VIII,252 pp.‎

书商的参考编号 : 48343

‎GARABEDIAN, P.R.‎

‎Partial Differential Equations.‎

‎New York, Wiley & Sons, (1964). Orig. boards. XII,671 pp. Clean and fine.‎

书商的参考编号 : 48345

‎KLAUA, DIETER.‎

‎Allgemeine Mengenlehre. Ein Fundament der Mathematik. I-II. Zweite, erweiterte Auflage. 2 Bde.‎

‎Berlin, Akademie-Verlag, 1970-69. 2 orig. full cloth. X,379VIII,364 pp. Clean and fine.‎

书商的参考编号 : 48348

‎SINGER, IVAN.‎

‎Best Approximation in Normal Linear Spaces by Elements of Linear Subspaces.‎

‎Bucharest, Berlin, Publ. House of the Academy, Springer, 1970. Royal8vo. Orig. full cloth. 409 pp. Clean and fine.‎

书商的参考编号 : 48353

‎BJÖRLING, C.F.E.‎

‎Elementerna af Algebraiska Analysen och Differential-Kalkylen efter Cauchy, bertrand, Todhunter m.fl. 1.-2. Delen.‎

‎Upsala, Esaias Edquist, (1866-67). Et samtidigt hldrbd. Rygforgyldning of skindtitel. (14),291 pp. samt 2 foldeplancher. Lidt fugtskjold på foden af den ene planche.‎

书商的参考编号 : 48355

‎DUSCHEK, ADALBERT.‎

‎Vorlesungen über höhere Mathematik. 2 Bde.‎

‎Wien, Springer=Verlag, 1949-50. 2 orig. full cloth. X,395VI,386 pp., textfigs. Clean and fine.‎

书商的参考编号 : 48357

‎GNEDENKO, B.V. and A.N. KOLMOGOROV.‎

‎Grenzverteilungen von Summen unabhängiger Zufallsgrössen. Wissenschaftlichen Bearbeitung der deutsche Ausgabe (von) Josef Heinhold.‎

‎Berlin, Akademie-Verlag, 1959. Orig. full cloth. VIII,279 pp. Clean and fine.‎

书商的参考编号 : 48361

‎KATZNELSON, YITZHAK.‎

‎An introduction to harmonic analysis.‎

‎New York, John Wiley, (1968). Orig. full cloth. XIII,264 pp. Clean and fine.‎

书商的参考编号 : 48364

‎HEWITT, EDWIN and KENNETH A. ROSS.‎

‎Abstract Harmonic Analysis. Vol. I: Structure of Topological Groups, Integration Theory, Group Representations.‎

‎Berlin, Göttingen, Heidelberg, Springer-Verlag, 1963. Orig. full cloth. VIII,547 pp. Clean and fine.‎

书商的参考编号 : 48367

‎"CHURCH, ALONZO (+) ALAN TURING (+) EMIL POST.‎

‎[Church:] A note on the Entscheidungsproblem (+) Correction to A note on the Entscheidungsproblem (+) Review of ""A. M. Turing. On Computable numbers, with an application to the Entscheidungsproblem"" (+) [Post:] Finite combinatory processes-formulation... - [LANDMARK VOLUME IN THE HISTORY OF LOGIC]‎

‎[No place], The Association for Symbolic Logic, 1936 & 1937. Royal8vo. Bound in red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 1 & 2 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 16 pages. A very fine copy. [Church:] Pp. 40-1" Pp. 101-2. [Post:] Pp. 103-5. [Turing:] Pp. 153-163" 164. [Entire volume: (4), 218, (2), IV, 188 pp.]‎

‎First edition of this collection of seminal papers within mathematical logic, all constituting some of the most important contributions mathematical logic and computional mathematics. A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) CORRECTION TO A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) REVIEW OF ""A. M. TURING. ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM"":First publication of Church's seminal paper in which he proved the solution to David Hilbert's ""Entscheidungsproblem"" from 1928, namely that it is impossible to decide algorithmically whether statements within arithmetic are true or false. In showing that there is no general algorithm for determining whether or not a given statement is true or false, he not only solved Hilbert's ""Entscheidungsproblem"" but also laid the foundation for modern computer logic. This conclusion is now known as Church's Theorem or the Church-Turing Theorem (not to be mistaken with the Church-Turing Thesis). The present paper anticipates Turing's famous ""On Computable Numbers"" by a few months. ""Church's paper, submitted on April 15, 1936, was the first to contain a demonstration that David Hilbert's 'Entscheidungsproblem' - i.e., the question as to whether there exists in mathematics a definite method of guaranteeing the truth or falsity of any mathematical statement - was unsolvable. Church did so by devising the 'lambda-calculus', [...] Church had earlier shown the existence of an unsolvable problem of elementary number theory, but his 1936 paper was the first to put his findings into the exact form of an answer to Hilbert's 'Entscheidungsproblem'. Church's paper bears on the question of what is computable, a problem addressed more directly by Alan Turing in his paper 'On computable numbers' published a few months later. The notion of an 'effective' or 'mechanical' computation in logic and mathematics became known as the Church-Turing thesis."" (Hook & Norman: Origins of Cyberspace, 250) Church coined in his review of Turing's paper the phrase 'Turing machine'.FINITE COMBINATORY PROCESSES-FORMULATION I: The Polish-American mathematician Emil Post made notable contributions to the theory of recursive functions. In the 1930s, independently of Turing, Post came up with the concept of a logic automaton similar to a Turing machine, which he described in the present paper (received on October 7, 1936). Post's paper was intended to fill a conceptual gap in Alonzo Church's paper on 'An unsolvable problem of elementary number theory'. Church had answered in the negative Hilbert's 'Entscheidungsproblem' but failed to provide the assertion that any such definitive method could be expressed as a formula in Church's lambda-calculus. Post proposed that a definite method would be one written in the form of instructions to mind-less worker operating on an infinite line of 'boxes' (equivalent to the Turing machines 'tape'). The range of instructions proposed by Post corresponds exactly to those performed by a Turing machine, and Church, who edited the Journal of Symbolic Logic, felt it necessary to insert an editorial note referring to Turing's ""shortly forthcoming"" paper on computable numbers, and asserting that ""the present article ... although bearing a later date, was written entirely independently of Turing's"". (Hook & Norman: Origins of Cyberspace, 356).COMPUTABILITY AND LAMBDA-DEFINABILITY (+) THE Ø-FUNCTION IN LAMBDA-K-CONVERSION: The volume also contains Turing's influential ""Computability and lambda-definability"" in which he proved that computable functions ""are identical with the lambda-definable functions of Church and the general recursive functions due to Herbrand and Gödel and developed by Kleene"". (Hook & Norman: Origins of Cyberspace, 395).‎

书商的参考编号 : 48376

‎"KRIPKE, SAUL A.‎

‎A Completeness Theorem in Modal Logic. - [KRIPKE MODELS FOR MODAL LOGIC]‎

‎(No place), The Association for Symbolic Logic, 1959. Lev8vo. Bound in red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 24. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. (1) - 14. [Entire volume: VI, 374 pp.).‎

‎The seminal first printing of Kripke's debut article, which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics (often called possible world semantics). Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.The American philosopher Saul A. Kripke (born 1940) is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy, which is considered the philosopical equivalent of the Nobel Prize.Kripke, who grew up in Omaha in a religious Jewish family, was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra, geometry and calculus, and very early on he took up philosophy, which later became his career. Still a teenager, in high school, he wrote a work that was to change the face of philosophical logic forever, namely the groundbreaking paper ""A Completeness Theorem for Modal Logic"", which was printed a few years later, in 1959, in the Journal of Symbolic Logic, while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there, to which he is said to have written an answer explaining ""My mother said that I should finish high school and go to college first.""In 1962 he graduated from Harvard University, where he remained until 1968, first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the ""Completeness Theorem"" further and made seminal contributions to the field of logic and semantics. Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years, first published something on in 1959 (the present work) and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics, of which no model theory existed before Kripke's. With this work, Kripke laid the foundation for proving completeness theorems for modal logic, and for identifying the weakest normal modal logic, which is now named K after him.‎

书商的参考编号 : 48378

‎"TURING, M. (+) H. A. NEWMAN.‎

‎A Formal Theorem in Church's Theory of Types (+) Practical forms of type theory‎

‎(No place), The Association for Symbolic Logic, 1942, 1943 &1948. Lev8vo. Bound in two uniform red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 7, 8 [Bound together] & 13.. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. Minor scratches to extremities of volume 13. A fine set. Pp. 28-33" Pp. 80-94. [Entire volumes: IV, 164 pp." IV, 236 pp.).‎

‎First printing of the two important - but often overlooked - papers by Turing which provide ""information about Turing's thoughts on the logical foundations of mathematics which is not to be found elsewhere in his writings"". (Copeland, The Essential Turing, P. 206).‎

书商的参考编号 : 48381

‎BIEBERBACH, LUDWIG.‎

‎Vorlesungen über Algebra. Unter Benutzung der dritten Auflage des gleichnamigen Werkes von Gustav Bauer. In vierter Vermehrte Auflage. 16 Figuren im Text und auf 1 Tafel.‎

‎Leipzig, B.G. Teubner, Orig. full buckram. X,334 pp. Name cut from lower right of titlepage, no loss of text. Internally clean and fine.‎

书商的参考编号 : 48428

‎COURANT, R.‎

‎Vorlesungen über Differential- und Integralrechnung. 2 Bde. (1. Funktionen einer Veränderlichen. Zweite, verb. Aufl. - 2. Funktionen mehrerer Veränderlichen. Zweite verb.Aufl.)‎

‎Berlin, J. Springer, 1930-31. 2 orig. full cloth. Gilt. XIV,410,VIII,412 pp. textfigs. Clean and fine.‎

书商的参考编号 : 48431

‎BIEBERBACH, LUDWIG.‎

‎Theorie der Differentialgleichungen. Zweite neubearbeitete Auflage. Mit 22 Abbildungen.‎

‎Berlin, Springer, 1926. Orig. full cloth. IX,345,(2) pp. Clean and fine.‎

书商的参考编号 : 48434

‎GENOCCHI, ANGELO. (= GIUSEPPE PEANO).‎

‎Differentialrechnung und Grundzüge der Integralrechnung. Herausgegeben von Giuseppe Peano. Autorisierte Deutsche Übersetzung von G. Bohlmann und A. Schepp. Mit einem Vorwort von A. Mayer.‎

‎Leipzig, B.G. Teubner, 1899. Wrappers blank. Old owners name on titlepage. VII,308 pp.‎

‎First German edition of Peano's first major publication, his first book, the work that brought him international fame, and one of the most important calculus texts since the time of Euler and Cauchy.The present book, which has a somewhat strange history, is considered a constitutional work of the science of infinitesimal calculus.‎

书商的参考编号 : 48466

‎BLASCHKE, WILHELM.‎

‎Analytische Geometrie. Zweite Auflage.‎

‎Basel/Stuttgart, Birkhäuser, 1954. Lex8vo. Orig. full cloth. Name on titlepage. 190 pp. Internally fine and clean.‎

书商的参考编号 : 48480

‎"BOLLÉE, LÉON. - THE INVENTION OF ""THE MILLIONAIRE CALCULATOR""‎

‎Sur une nouvelle machine à calculer.‎

‎(Paris, Gauthier-Villars, 1889). 4to. No wrappers. Disbound. In: ""Comptes Rendus Hebdomadaires des Séances de L'Academie des Sciences"", Tome 109, No 20. Pp. (723-) 758 (entire issue offered). Bollée's paper: pp. 737-739. Disbound but clean.‎

‎First printing of the paper in which Bollée describes his invention of a new calculating machine, later called ""The Millionaire"", based on a multiplying mechanism which was capable of performing multiplication directly instead of using repeated addition. As it allows multiplication by any digit it was used by government agencies ans scientists, especially astronomers, well into the twentieths century.Bollée did not produced his machine comercially, ""... but in 1893 Otto Steiger of Munich patented a calculator based on Bollée's approach, which was manufactured between 1895 and 1935 by the firm Hans W. Egli of Switzerland and marketed under the name of ""Millionaire"".... Forty-six hundred ""Millionaires"" were sold, primarly in Europe."" (Hook & Norman ""Origins of Cyberspace"" : 288).‎

书商的参考编号 : 48744

‎"ELFVING, GUSTAV.‎

‎Convex Sets in Statistics.‎

‎Lund, Håkan Ohlssons,1953. 8vo. In the original grey printed wrappers. Offprint from ""Comptes Rendu du Douzième Congrès des Mathématiciens Scandinaves tenu à Lund 10-15 août 1953"". A very fine clean copy, near mint. Pp. (2), 35-39.‎

‎Scare offprint of Elfving's important paper on ""Elfving sets"". Elfving are famous for having introduced optimality theory of regression theory.‎

书商的参考编号 : 48791

‎"SHEWHART, W.A.‎

‎Correction of Data for Errors of Measurement. (+) Correction of Data for Errors of Averages. (2 papers).‎

‎New York, Bell Telephone Laboratories, 1926. Orig. printed wrappers to both papers. Both punched with three holes in inner margin as issued. Offprints from ""The Bell System Technical Journal"", Vol. V. The offprints separately paginated: 16 pp. and 12 pp. The first clean and fine, the second with light wear to wrappers.‎

‎First editions in the offprint issues of two of Shewhart's main papers that reveals the evolution of his thinking and methods on the way to founding the science of statistical quality control or statistical proces control.""Shewhart was concerned that statistical theory serve the needs of industry. He exhibited the restlessness of one looking for a better way. A man of science who patiently developed and tested his ideas and the ideas of others, he was an astute observer of developments in the world of science and technology. While the literature of the day discussed the stochastic nature of both biological and technical systems, and spoke of the possibility of applying statistical methodology to these systems, Shewhart actually showed how it was to be done"" in that respect, the field of quality control can claim a genuine pioneer in Shewhart. His monumental work, Economic Control of Quality of Manufactured Product, published in 1931, is regarded as a complete and thorough exposition of the basic principles of quality control"" (ASQ).‎

书商的参考编号 : 48799

‎CARTAN, È.‎

‎Leçons sur la géométrie des espaces de Riemann. Deuxieme edition, revue et augmentée.‎

‎Paris, Gauthier-Villars, 1946. 8vo. Uncut. frontwrapper lacks. Sewing a bit loose. Wrinkled.‎

书商的参考编号 : 48833

‎"HOTELLING, HAROLD.‎

‎Causes of Birth Rate Fluctuations.‎

‎[No place, no printer], 1931. 8vo. Without wrappers (as issued). Offprint from: ""Journal of the American Statistical Association"", June, 1931. Fine and clean. Pp. 135-149.‎

‎Scarce offprint of Hotelling's important paper on in which it for the first time is statistically demonstrated that a delayed dip in birthrates will occur with populations iwhen subjected to harvest failures or epidemics.‎

书商的参考编号 : 48847

‎"TUKEY, JOHN. (+) ET AL‎

‎Compactness in General Spaces (+)Generalized ""Sandwich"" Theorems (+) Named and Faceless Values: An Initial Exploration in Memory of Prasanta C. Mahalanobis (+) Some Sèlected Quick and Easy Methods of Statistical Analysis (+) Correlation of Ranges of c... - [LARGE COLLECTION OF OFFPRINTS]‎

‎[Various places and printer] ,1945 - 1974. Collection of 24 offprint from various academic journals. All with wrappers (or as issued) and in fine condition. Contained in a black kassett.‎

‎A large collection of offprint by American physicist John Tukey known for development of the FFT algorithm and box plot. Tukey's range test, the Tukey lambda distribution, Tukey's test of additivity and Tukey's lemma all bear his name.""John Tukey's whole life was one of public service, and as the preceding quotes make clear, he had profound influence. He was a member of the President's Scientific Advisory Committee for each of Presidents Eisenhower, Kennedy, and Johnson. He was special in many ways. He merged the scientific, governmental, technological, and industrial worlds more seamlessly than, perhaps, anyone else in the 1900s. His scientific knowledge, creativity, experience, calculating skills, and energy were prodigious. He was renowned for creating statistical concepts and words. JWT's graduate work was in mathematics, but driven by World War II, he left that field to go on to revolutionize the world of the analysis of data. At the end of the war he began a joint industrial-academic career at Bell Telephone Laboratories and at Princeton University. Science and the analysis of data were ubiquitous. This split career continued until he retired in 1985. Even after retirement his technical and scientific work continued at a very high level.He is said to have introduced the terms: ""bit"", ""linear programming"", ""ANOVA"", ""Colonel Blotto"", and was first into print with ""software"". Of these efforts L. Hogben and M. Cartwright wrote, ""The introduction by Tukey of bits for binary digits has nothing but irresponsible vulgarity to commend it."" Tukey's word ""polykay"" was described as ""linguistic miscegenation"" by Kendall and Stuart because of its combining a Greek prefix with a Latin suffix. JWT did it again later with ""polyspectrum"". (Brillinger, John Wilder Tukey).‎

书商的参考编号 : 48852

‎NEYMAN. JERZY (+) ET AL‎

‎Sur une famille de tests asympopiques des hypotheses statistiques composees (+) Philosophical anlysis of 'objective' probability in science (+) An optimistic model of the correlation between light and severe accidents (+) True or false contagion (+)... - [COLLECTION OF OFFPRINTS]‎

‎[Various places and printer], 1935 -1962. Collection of 17 offprint from various academic journals. All with wrappers (or as issued) and in fine condition. Contained in a black kassett.‎

‎Collection of Polish mathematician and statistician Jerzy Neyman famous for being the first to introduce the modern concept of a confidence interval into statistical hypothesis testing.‎

书商的参考编号 : 48855

‎"COX, DAVID ROXBEE (+) ET AL.‎

‎Some properties of multiserver queues with appointments (+) Regression models and life-tables (+) The continuity correction (+) Recent work on the design of experiments - a bibliography and a review (+) On distribution and their transformation to nor... - [LARGE COLLECTION OF OFFPRINTS]‎

‎[Various places and printers], 1962 - 1981. Collection of 36 offprint from various academic journals. All with wrappers (or as issued) and in fine condition. A few of them with ""Cox"" written to top of front wrapper. Housed in two black kasetts.‎

‎Large collection of offprints by British statistician David Cox who made pioneering and important contributions to numerous areas of statistics and applied probability, of which the best known is perhaps the proportional hazards model, which is widely used in the analysis of survival data. An example is survival times in medical research that can be related to information about the patients such as age, diet or exposure to certain chemical substances. The Cox process was named after him.‎

书商的参考编号 : 48857