Narrow your search

Library

EhB (3)

ULiège (3)

VUB (3)

UAntwerpen (2)

Arteveldehogeschool (1)

EHC (1)

Groot Seminarie Brugge (1)

KU Leuven (1)

Thomas More Mechelen (1)

UCLL (1)

More...

Resource type

book (5)


Language

English (3)

Dutch (1)

French (1)


Year
From To Submit

2010 (5)

Listing 1 - 5 of 5
Sort by

Book
Louis Couturat -Traité de Logique algorithmique
Authors: --- ---
ISBN: 9783034604116 9783034604109 Year: 2010 Publisher: Basel Birkhäuser Basel

Loading...
Export citation

Choose an application

Bookmark

Abstract

The manuscript of the Traité de Logique algorithmique resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered. It is an outstanding document of the popularization and propagation of symbolic logic around 1900. It allows to better understand the difficult relations of algebraic logic and the so-called logistic program which surpasses the simple alternative of logic as an application of algebra vs. logic as the foundation of mathematics. The complicated interactions in the historical developments of these two currents become manifest in Couturat's hesitations and changing attitudes within his own intellectual biography. The publication of this manuscript helps to achieve a much more complete picture of the latter.


Book
Worlds Out of Nothing
Authors: ---
ISBN: 9780857290601 9780857290595 Year: 2010 Publisher: London Springer London

Loading...
Export citation

Choose an application

Bookmark

Abstract

Worlds Out of Nothing is the first book to provide a course on the history of geometry in the 19th century. Based on the latest historical research, the book is aimed primarily at undergraduate and graduate students in mathematics but will also appeal to the reader with a general interest in the history of mathematics. Emphasis is placed on understanding the historical significance of the new mathematics: Why was it done? How - if at all - was it appreciated? What new questions did it generate? Topics covered in the first part of the book are projective geometry, especially the concept of duality, and non-Euclidean geometry. The book then moves on to the study of the singular points of algebraic curves (Plücker's equations) and their role in resolving a paradox in the theory of duality; to Riemann's work on differential geometry; and to Beltrami's role in successfully establishing non-Euclidean geometry as a rigorous mathematical subject. The final part of the book considers how projective geometry, as exemplified by Klein's Erlangen Program, rose to prominence, and looks at Poincaré's ideas about non-Euclidean geometry and their physical and philosophical significance. It then concludes with discussions on geometry and formalism, examining the Italian contribution and Hilbert's Foundations of Geometry; geometry and physics, with a look at some of Einstein's ideas; and geometry and truth. Three chapters are devoted to writing and assessing work in the history of mathematics, with examples of sample questions in the subject, advice on how to write essays, and comments on what instructors should be looking for.


Book
De grands défis mathématiques : d'Euclide à Condorcet
Authors: --- --- ---
ISBN: 9782311000191 9782356560100 2311000195 Year: 2010 Publisher: Paris : Vuibert : Adapt-snes,


Book
Geometry Revealed : A Jacob's Ladder to Modern Higher Geometry
Authors: ---
ISBN: 9783540709978 9783540709961 Year: 2010 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Both classical geometry and modern differential geometry have been active subjects of research throughout the 20th century and lie at the heart of many recent advances in mathematics and physics. The underlying motivating concept for the present book is that it offers readers the elements of a modern geometric culture by means of a whole series of visually appealing unsolved (or recently solved) problems that require the creation of concepts and tools of varying abstraction. Starting with such natural, classical objects as lines, planes, circles, spheres, polygons, polyhedra, curves, surfaces, convex sets, etc., crucial ideas and above all abstract concepts needed for attaining the results are elucidated. These are conceptual notions, each built "above" the preceding and permitting an increase in abstraction, represented metaphorically by Jacob's ladder with its rungs: the 'ladder' in the Old Testament, that angels ascended and descended... In all this, the aim of the book is to demonstrate to readers the unceasingly renewed spirit of geometry and that even so-called "elementary" geometry is very much alive and at the very heart of the work of numerous contemporary mathematicians. It is also shown that there are innumerable paths yet to be explored and concepts to be created. The book is visually rich and inviting, so that readers may open it at random places and find much pleasure throughout according their own intuitions and inclinations. Marcel Berger is the author of numerous successful books on geometry, this book once again is addressed to all students and teachers of mathematics with an affinity for geometry.


Book
Turing : bouwer van de eerste computers
Author:
ISBN: 9789085712893 Year: 2010 Publisher: Diemen Veen Magazines

Loading...
Export citation

Choose an application

Bookmark

Abstract

Alan Turing (1912 -1954) is ongetwijfeld een van de belangrijkste computerwetenschappers aller tijden. Tijdens WO II kraakte hij de Duitse geheimtaal, de Enigma-code, waarmee onderzeeboten communiceerden. Turing bedacht ook de naar hem genoemde test : zet een computer in een aparte ruimte, haal mensen binnen en laat ze vragen stellen. Als zij niet doorhebben dat ze met een computer praten, dan is de computer geslaagd voor de turingtest en hebben we te maken met 'intelligentie'.

Listing 1 - 5 of 5
Sort by