Descarga Libros Gratis

Richard Dedekind

Autor: Stefan Müller-stach

Número de Páginas: 214

Die beiden Bücher „Was sind und was sollen die Zahlen?“ (1888) und „Stetigkeit und Irrationale Zahlen“ (1872) sind Dedekinds Beiträge zu den Grundlagen der Mathematik; er legte darin die Grundsteine der Mengenlehre und der Theorie der reellen und natürlichen Zahlen. Diese Schriften sind aus der modernen Mathematik nicht mehr wegzudenken. Dennoch wurde die Leistung Dedekinds nicht immer entsprechend gewürdigt und der Inhalt dieser Bücher ist auch heute noch vielen Mathematikern wenig bekannt. Dieses Buch enthält neben den Originaltexten eine ausführliche Erklärung der beiden Schriften und eine Interpretation in moderner Sprache, sowie eine kurze Biografie und eine Abschrift des berühmten Briefs an H. Keferstein. Dadurch bietet dieses Buch einen faszinierenden Einblick in das Leben und Schaffen dieses wegweisenden Wissenschaftlers und stellt sein Werk in Beziehung zu großen Zeitgenossen wie Cantor, Dirichlet, Frege, Hilbert, Kronecker und Riemann.

Der Briefwechsel Richard Dedekind – Heinrich Weber

Autor: Katrin Scheel

Número de Páginas: 512

Der umfangreiche Briefwechsel zwischen den Mathematikern Richard Dedekind und Heinrich Weber liegt nun erstmals in transkribierter Form vor. Es handelt sich dabei um einen der wichtigsten - wenn nicht um den wichtigsten -- Briefwechsel von Mathematikern der zweiten Hälfte des 19. und des beginnenden 20. Jahrhunderts, da nahezu jedes Teilgebiet der Mathematik angesprochen wird und damals beginnende Entwicklungen intensiv diskutiert wurden. Personen- und Werkverzeichnisse erleichtern den Überblick über die in den Briefen diskutierten Personen und Themen. Mit diesem Band wird ein Desiderat der Mathematikgeschichte geliefert, denn im Briefwechsel Dedekind-Weber spiegeln sich die großen Veränderungen und die Fortschritte, die die Mathematik in der stürmischen Entwicklungsphase des 19. Jahrhunderts kennzeichnete.

3000 Years of Analysis

Autor: Thomas Sonar

Número de Páginas: 717

What exactly is analysis? What are infinitely small or infinitely large quantities? What are indivisibles and infinitesimals? What are real numbers, continuity, the continuum, differentials, and integrals? You’ll find the answers to these and other questions in this unique book! It explains in detail the origins and evolution of this important branch of mathematics, which Euler dubbed the “analysis of the infinite.” A wealth of diagrams, tables, color images and figures serve to illustrate the fascinating history of analysis from Antiquity to the present. Further, the content is presented in connection with the historical and cultural events of the respective epochs, the lives of the scholars seeking knowledge, and insights into the subfields of analysis they created and shaped, as well as the applications in virtually every aspect of modern life that were made possible by analysis.

Aristotle's Syllogism and the Creation of Modern Logic

Autor: Lukas M. Verburgt , Matteo Cosci

Número de Páginas: 321

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1820s and 1930s. For over two millennia, deductive logic was the syllogism and syllogism was the yardstick of sound human reasoning. During the 19th century, this hegemony fell apart and logicians, including Boole, Frege and Peirce, took deductive logic far beyond its Aristotelian borders. However, contrary to common wisdom, reflections on syllogism were also instrumental to the creation of new logical developments, such as first-order logic and early set theory. This volume presents the period under discussion as one of both tradition and innovation, both continuity and discontinuity. Modern logic broke away from the syllogistic tradition, but without Aristotle's syllogism, modern logic would not have been born. A vital follow up to The Aftermath of Syllogism, this book traces the longue durée history of syllogism from Richard Whately's revival of formal logic in the 1820s through the work of David Hilbert and the Göttingen school up to the 1930s. Bringing together a group of major international experts, it sheds crucial...

El último teorema de Fermat

Autor: Aczel, Amir D.

Número de Páginas: 177

Desde los anónimos babilonios y agrimensores egipcios, pasando por Pitágoras y sus seguidores, Arquímedes y Diofanto, hasta llegar al mundo árabe, el autor traza el camino que llevó a la solución del último teorema de Fermat, una ruta llena de intrigas y falsas atribuciones

The Logic of Number

Autor: Neil Tennant

Número de Páginas: 376

This book develops Tennant's Natural Logicist account of the foundations of the natural, rational, and real numbers. Tennant uses this framework to distinguish the logical from the intuitive aspects of the basic elements of arithmetic.

Remarkable Mathematicians

Autor: Ioan James

Número de Páginas: 286

Ioan James introduces and profiles sixty mathematicians from the era when mathematics was freed from its classical origins to develop into its modern form. The subjects, all born between 1700 and 1910, come from a wide range of countries, and all made important contributions to mathematics, through their ideas, their teaching, and their influence. James emphasizes their varied life stories, not the details of their mathematical achievements. The book is organized chronologically into ten chapters, each of which contains biographical sketches of six mathematicians. The men and women James has chosen to portray are representative of the history of mathematics, such that their stories, when read in sequence, convey in human terms something of the way in which mathematics developed. Ioan James is a professor at the Mathematical Institute, University of Oxford. He is the author of Topological Topics (Cambridge, 1983), Fibrewise Topology (Cambridge, 1989), Introduction to Uniform Spaces (Cambridge, 1990), Topological and Uniform Spaces (Springer-Verlag New York, 1999), and co-author with Michael C. Crabb of Fibrewise Homotopy Theory (Springer-Verlag New York, 1998). James is the former...

The Legacy of Mario Pieri in Geometry and Arithmetic

Autor: Elena Anne Marchisotto , James T. Smith

Número de Páginas: 508

This book is the first in a series of three volumes that comprehensively examine Mario Pieri’s life, mathematical work and influence. The book introduces readers to Pieri’s career and his studies in foundations, from both historical and modern viewpoints. Included in this volume are the first English translations, along with analyses, of two of his most important axiomatizations — one in arithmetic and one in geometry. The book combines an engaging exposition, little-known historical notes, exhaustive references and an excellent index. And yet the book requires no specialized experience in mathematical logic or the foundations of geometry.

Contemporary Abstract Algebra

Autor: Joseph Gallian

Número de Páginas: 654

Contemporary Abstract Algebra, Tenth Edition For more than three decades, this classic text has been widely appreciated by instructors and students alike. The book offers an enjoyable read and conveys and develops enthusiasm for the beauty of the topics presented. It is comprehensive, lively, and engaging. The author presents the concepts and methodologies of contemporary abstract algebra as used by working mathematicians, computer scientists, physicists, and chemists. Students will learn how to do computations and to write proofs. A unique feature of the book are exercises that build the skill of generalizing, a skill that students should develop but rarely do. Applications are included to illustrate the utility of the abstract concepts. Examples and exercises are the heart of the book. Examples elucidate the definitions, theorems, and proof techniques; exercises facilitate understanding, provide insight, and develop the ability to do proofs. The exercises often foreshadow definitions, concepts, and theorems to come. Changes for the tenth edition include new exercises, new examples, new quotes, and a freshening of the discussion portions. The hallmark features of previous...

Correspondance Georg Cantor-Richard Dedekind

Autor: Georg Cantor , Richard Dedekind

Número de Páginas: 0

Physical Chemistry

Autor: Kenneth S Schmitz

Número de Páginas: 874

Physical Chemistry: Concepts and Theory provides a comprehensive overview of physical and theoretical chemistry while focusing on the basic principles that unite the sub-disciplines of the field. With an emphasis on multidisciplinary, as well as interdisciplinary applications, the book extensively reviews fundamental principles and presents recent research to help the reader make logical connections between the theory and application of physical chemistry concepts. Also available from the author: Physical Chemistry: Multidisciplinary Applications (ISBN 9780128005132). - Describes how materials behave and chemical reactions occur at the molecular and atomic levels - Uses theoretical constructs and mathematical computations to explain chemical properties and describe behavior of molecular and condensed matter - Demonstrates the connection between math and chemistry and how to use math as a powerful tool to predict the properties of chemicals - Emphasizes the intersection of chemistry, math, and physics and the resulting applications across many disciplines of science

The Prehistory of Mathematical Structuralism

Autor: Erich H. Reck , Georg Schiemer

Número de Páginas: 469

This edited volume explores the previously underacknowledged 'pre-history' of mathematical structuralism, showing that structuralism has deep roots in the history of modern mathematics. The contributors explore this history along two distinct but interconnected dimensions. First, they reconsider the methodological contributions of major figures in the history of mathematics. Second, they re-examine a range of philosophical reflections from mathematically-inclinded philosophers like Russell, Carnap, and Quine, whose work led to profound conclusions about logical, epistemological, and metaphysical aspects of structuralism.

Cálculo

Autor: Antonio Rivera Figueroa

Número de Páginas: 656

El presente libro está dirigido a los estudiantes de las carreras de las áreas de ingeniería y ciencias que cursaron la materia de geometría analítica y cálculo a nivel medio superior. Se trata de una excelente obra, en la cual se exponen los tópicos del cálculo integral y diferencial con todo el rigor matemático sin llegar a ser tediosos o complicados. Como novedad la función exponencial se presenta de forma temprana lo que ayuda a que los estudiantes la apliquen en diferentes ejemplos y problemas a lo largo del texto. La flexibilidad en el manejo de los contenidos es otra de sus bondades más destacadas. Pues, con una selección adecuada de los temas, los ejercicios y problemas, constituye un excelente libro de texto tanto para principiantes como para aquellos lectores con profundos conocimientos de cálculo que aspiren a una sólida formación matemática.

Lecturas de historia de las matemáticas

Autor: Luis Cornelio Recalde Caicedo

Número de Páginas: 500

En este libro se describe un panorama general del desarrollo histórico de las matemáticas en un periodo relativamente largo: desde la Antigüedad griega hasta inicios del siglo XXI. Las temáticas del texto giran en torno a la búsqueda de un corpus teórico mediante el cual especificar, de manera cuantitativa, las actividades de medir, contar, ordenar y estructurar. Se parte de la hipótesis de que todos los desarrollos matemáticos, por abstractos que parezcan, hunden sus raíces en los problemas de cuantificación que plantearon los antiguos griegos. Esto parece contraponerse con el carácter formal, simbólico y, sobre todo, variado que fueron adquiriendo las matemáticas a partir del siglo XIX, dada la enorme cantidad de disciplinas matemáticas que han proliferado en todas las latitudes. Esta eclosión de ramificaciones ha hecho que la actividad matemática haya evolucionado paulatinamente tanto en su metodología como en sus formas de representación, dando lugar a mundos complejos que parecen clausurar los vínculos con la intuición y el mundo empírico. Si bien existe una gran diferencia entre el carácter de las matemáticas antiguas, sustentadas por la aritmética y...

The History of Continua

Autor: Stewart Shapiro , Geoffrey Hellman

Número de Páginas: 593

Mathematical and philosophical thought about continuity has changed considerably over the ages, from Aristotle's insistence that a continuum is a unified whole, to the dominant account today, that a continuum is composed of infinitely many points. This book explores the key ideas and debates concerning continuity over more than 2500 years.

Historia de la lógica

Autor: Julián Velarde Lombraña

Número de Páginas: 440

Consideramos de utilidad el análisis de la expresión "Historia de la Lógica" apelando a la teoría semántica de Frege, según la cual toda expresión lingüística dotada de sentido puede ser concebida como descompuesta en dos partes, una de las cuales está completa en sí misma (el argumento), mientras que la otra precisa de complemento; es no saturada (la función). A la Historia de la Lógica compete determinar la constitución-desaparación de categorías e ideas que en un proceso de desarrollo e influencia mutua han configurado la lógica y la symploké entre esas categorías e ideas constituyen su cuerpo. Para recomponerlo, hemos procurado actuar, según aconseja Platón, como un dialéctico: cortar por las juntas naturales. El resultado ahí está.

Proving It Her Way

Autor: David E. Rowe , Mechthild Koreuber

Número de Páginas: 259

The name Emmy Noether is one of the most celebrated in the history of mathematics. A brilliant algebraist and iconic figure for women in modern science, Noether exerted a strong influence on the younger mathematicians of her time and long thereafter; today, she is known worldwide as the "mother of modern algebra." Drawing on original archival material and recent research, this book follows Emmy Noether’s career from her early years in Erlangen up until her tragic death in the United States. After solving a major outstanding problem in Einstein’s theory of relativity, she was finally able to join the Göttingen faculty in 1919. Proving It Her Way offers a new perspective on an extraordinary career, first, by focusing on important figures in Noether’s life and, second, by showing how she selflessly promoted the careers of several other talented individuals. By exploring her mathematical world, it aims to convey the personality and impact of a remarkable mathematician who literally changed the face of modern mathematics, despite the fact that, as a woman, she never held a regular professorship. Written for a general audience, this study uncovers the human dimensions of...

New Makers of Modern Culture

Autor: Justin Wintle

Número de Páginas: 1812

New Makers of Modern Culture will be widely acquired by both higher education and public libraries. Bibliographies are attached to entries and there is thorough cross- referencing.

Mathematics and Its History

Autor: John Stillwell

Número de Páginas: 672

From a review of the second edition: "This book covers many interesting topics not usually covered in a present day undergraduate course, as well as certain basic topics such as the development of the calculus and the solution of polynomial equations. The fact that the topics are introduced in their historical contexts will enable students to better appreciate and understand the mathematical ideas involved...If one constructs a list of topics central to a history course, then they would closely resemble those chosen here." (David Parrott, Australian Mathematical Society) This book offers a collection of historical essays detailing a large variety of mathematical disciplines and issues; it’s accessible to a broad audience. This third edition includes new chapters on simple groups and new sections on alternating groups and the Poincare conjecture. Many more exercises have been added as well as commentary that helps place the exercises in context.

Richard Dedekind 1831–1981

Autor: Winfried Scharlau

Número de Páginas: 156

The Emergence of the American Mathematical Research Community, 1876-1900

Autor: Karen Hunger Parshall , David E. Rowe

Número de Páginas: 532

This volume traces the transformation of the United States from a mathematical backwater to a major presence during the quarter-century from 1876 to 1900. Presenting a detailed study of the major figures involved in this transformation, it focuses on the three most influential individuals - the British algebraist James Joseph Sylvester, the German standard-bearer Felix Klein, and the American mathematician Eliakim Hastings Moore - and on the principal institutions with which they were associated - the Johns Hopkins University, Gottingen University, and the University of Chicago. This book further analyzes the research traditions these men and their institutions represented, the impact they had on the second generation of American mathematical researchers, and the role of the American Mathematical Society in these developments.This is the first work ever written on the history of American mathematics during this period and one of the few books that examines the historical development of American mathematics from a wide perspective. By placing the development of American mathematics within the context of broader external factors affecting historical events, the authors show how the...

The Britannica Guide to Numbers and Measurement

Autor: William L. Hosch Associate Editor, Science And Technology

Número de Páginas: 288

Offers an overview of the development of numbers, their expression in mathematics and measurement, and profiles of the visionaries who saw order amidst the numbers.

New Makers of Modern Culture

Autor: Wintle Justin

Número de Páginas: 906

New Makers of Modern Culture is the successor to the classic reference works Makers of Modern Culture and Makers of Nineteenth-Century Culture, published by Routledge in the early 1980s. The set was extremely successful and continues to be used to this day, due to the high quality of the writing, the distinguished contributors, and the cultural sensitivity shown in the selection of those individuals included. New Makers of Modern Culture takes into full account the rise and fall of reputation and influence over the last twenty-five years and the epochal changes that have occurred: the demise of Marxism and the collapse of the Soviet Union; the rise and fall of postmodernism; the eruption of Islamic fundamentalism; the triumph of the Internet. Containing over eight hundred essay-style entries, and covering the period from 1850 to the present, New Makers includes artists, writers, dramatists, architects, philosophers, anthropologists, scientists, sociologists, major political figures, composers, film-makers and many other culturally significant individuals and is thoroughly international in its purview. Next to Karl Marx is Bob Marley, next to John Ruskin is Salmon Rushdie,...

Conjuntos, Lógica y Funciones

Autor: Manuel López Mateos

Número de Páginas: 235

Conjuntos, Lógica y Fun­cio­nes, temas que alguna vez fue­ron con­si­de­ra­dos de alta es­pe­cia­li­dad, van ubi­cán­do­se en gra­dos cada vez más ele­men­ta­les de la for­ma­ción es­co­lar, por lo pron­to se exi­ge fa­mi­lia­ri­dad con esos temas en casi cual­quier pos­gra­do y ni qué decir en las li­cen­cia­tu­ras de matemáticas, fí­sica, in­ge­nie­rías, cómputo, eco­no­mía, fi­nan­zas, ad­mi­nis­tra­ción e incluso leyes y fi­lo­so­fía. El te­ma de Fun­cio­nes, que se presenta como obli­ga­da ex­ten­sión de las Re­la­cio­nes de­fi­ni­das en con­jun­tos, es fun­da­men­tal para el estudio del Cálculo di­fe­ren­cial e integral y de temas avan­zados como el A­ná­li­sis ma­te­má­ti­co, la To­po­lo­gía y otros. La tercera edición es una nueva compilación con LuaLaTeX, se ha mejorado el formato y actualizado las ligas a las fuentes en la Bibliografía.

Modern Algebra and the Rise of Mathematical Structures

Autor: Leo Corry

Número de Páginas: 463

The book describes two stages in the historical development of the notion of mathematical structures: first, it traces its rise in the context of algebra from the mid-nineteenth century to its consolidation by 1930, and then it considers several attempts to formulate elaborate theories after 1930 aimed at elucidating, from a purely mathematical perspective, the precise meaning of this idea. First published in the series Science Networks Historical Studies, Vol. 17 (1996). In the second rev. edition the author has eliminated misprints, revised the chapter on Richard Dedekind, and updated the bibliographical index.

(Mostly) Commutative Algebra

Autor: Antoine Chambert-loir

Número de Páginas: 471

This book stems from lectures on commutative algebra for 4th-year university students at two French universities (Paris and Rennes). At that level, students have already followed a basic course in linear algebra and are essentially fluent with the language of vector spaces over fields. The topics introduced include arithmetic of rings, modules, especially principal ideal rings and the classification of modules over such rings, Galois theory, as well as an introduction to more advanced topics such as homological algebra, tensor products, and algebraic concepts involved in algebraic geometry. More than 300 exercises will allow the reader to deepen his understanding of the subject. The book also includes 11 historical vignettes about mathematicians who contributed to commutative algebra.

A to Z of Mathematicians

Autor: Tucker Mcelroy

Número de Páginas: 321

Profiles more than 150 mathematicians from around the world who made important contributions to their field, including Rene Descartes, Emily Noether and Bernhard Riemann.

Essays on Frege's Basic Laws of Arithmetic

Autor: Philip A. Ebert , Marcus Rossberg

Número de Páginas: 686

This is the first collective study of a foundational text in modern philosophy and logic, Gottlob Frege's Basic Laws of Arithmetic. Twenty-two Frege scholars discuss a wide range of philosophical and logical topics arising from Basic Laws of Arithmetic, and demonstrate the technical and philosophical richness of this great work.

Mathematical Time Capsules

Autor: Dick Jardine , Amy Shell-gellasch

Número de Páginas: 305

Mathematical Time Capsules offers teachers historical modules for immediate use in the mathematics classroom. Readers will find articles and activities from mathematics history that enhance the learning of topics covered in the undergraduate or secondary mathematics curricula. Each capsule presents at least one topic or a historical thread that can be used throughout a course. The capsules were written by experienced practitioners to provide teachers with historical background and classroom activities designed for immediate use in the classroom, along with further references and resources on the chapter subject. --Publisher description.

Contra los titanes de la rutina

Autor: Santiago Garma , Dominique Flament , Víctor Navarro Brotons

Número de Páginas: 512

Números: elementos de matemáticas para filósofos

Autor: Marco Panza

Número de Páginas: 496

Las nociones de número y de sistema numérico son el hilo conductor de una exposición matemática en la que subyace un objetivo filosófico aún más general y ambicioso: ofrecer una posible respuesta a la pregunta qué son y de qué tratan las matemáticas. El autor nos invita a entender las matemáticas como una actividad humana, ligada siempre a fines y problemas originales, que consiste en construir sistemas de objetos que son las formas abstractas de ciertos fenómenos. En este sentido, comprender qué son los números naturales o los números reales significa dar cuenta del acto de dación de sus respectivas teorías (aritmética y análisis); es decir, explicar el proceso de constitución a partir del cual cada una de estas teorías nos ha sido dada como una unidad abstracta, autónoma e independiente, que sólo se atiene a su estructura lógica interna, y por tanto, se ha liberado de su origen informal e intuitivo. Esto último constituye para el autor la fuente de una preocupación "didáctica" que inspira esta obra: los textos de enseñanza tradicionales se ocupan estrictamente del resultado de esta constitución, esto es, de la lógica interna de las teorías...

Advanced Mathematics

Autor: Stanley J. Farlow

Número de Páginas: 475

Provides a smooth and pleasant transition from first-year calculus to upper-level mathematics courses in real analysis, abstract algebra and number theory Most universities require students majoring in mathematics to take a “transition to higher math” course that introduces mathematical proofs and more rigorous thinking. Such courses help students be prepared for higher-level mathematics course from their onset. Advanced Mathematics: A Transitional Reference provides a “crash course” in beginning pure mathematics, offering instruction on a blendof inductive and deductive reasoning. By avoiding outdated methods and countless pages of theorems and proofs, this innovative textbook prompts students to think about the ideas presented in an enjoyable, constructive setting. Clear and concise chapters cover all the essential topics students need to transition from the "rote-orientated" courses of calculus to the more rigorous "proof-orientated” advanced mathematics courses. Topics include sentential and predicate calculus, mathematical induction, sets and counting, complex numbers, point-set topology, and symmetries, abstract groups, rings, and fields. Each section contains...

Logic, Logic, and Logic

Autor: George Boolos

Número de Páginas: 458

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.

Origins and Varieties of Logicism

Autor: Francesca Boccuni , Andrea Sereni

Número de Páginas: 419

This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. Part I focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in the philosophical and mathematical milieu in which logicist views were first expounded. Part II sheds new light on the interconnections between these founding figures and a number of influential other traditions, represented by authors like Hilbert, Husserl, and Peano, as well as on the reconsideration of logicism by Carnap and the logical empiricists. Finally, Part III assesses the legacy of such authors and of logicist themes for contemporary philosophy of mathematics, offering new perspectives on highly debated topics—neo-logicism and its extension to accounts of ordinal numbers and set-theory, the comparison between neo-Fregean...

Landmark Writings in Western Mathematics 1640-1940

Autor: Ivor Grattan-guinness

Número de Páginas: 1042

This book contains around 80 articles on major writings in mathematics published between 1640 and 1940. All aspects of mathematics are covered: pure and applied, probability and statistics, foundations and philosophy. Sometimes two writings from the same period and the same subject are taken together. The biography of the author(s) is recorded, and the circumstances of the preparation of the writing are given. When the writing is of some lengths an analytical table of its contents is supplied. The contents of the writing is reviewed, and its impact described, at least for the immediate decades. Each article ends with a bibliography of primary and secondary items. - First book of its kind - Covers the period 1640-1940 of massive development in mathematics - Describes many of the main writings of mathematics - Articles written by specialists in their field

Cultures without Culturalism

Autor: Karine Chemla , Evelyn Fox Keller

Número de Páginas: 432

Cultural accounts of scientific ideas and practices have increasingly come to be welcomed as a corrective to previous—and still widely held—theories of scientific knowledge and practices as universal. The editors caution, however, against the temptation to overgeneralize the work of culture, and to lapse into a kind of essentialism that flattens the range and variety of scientific work. The book refers to this tendency as culturalism. The contributors to the volume model a new path where historicized and cultural accounts of scientific practice retain their specificity and complexity without falling into the traps of culturalism. They examine, among other issues, the potential of using notions of culture to study behavior in financial markets; the ideology, organization, and practice of earthquake monitoring and prediction during China's Cultural Revolution; the history of quadratic equations in China; and how studying the "glass ceiling" and employment discrimination became accepted in the social sciences. Demonstrating the need to understand the work of culture as a fluid and dynamic process that directly both shapes and is shaped by scientific practice, Cultures without...

Logic and Discrete Mathematics

Autor: Willem Conradie , Valentin Goranko

Número de Páginas: 470

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 logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic,...

Practical Foundations of Mathematics

Autor: Paul Taylor

Número de Páginas: 590

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.