Piergiorgio Odifreddi – författare
Visar alla böcker från författaren Piergiorgio Odifreddi. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Häftad, Engelska, 2006
300 kr
Skickas inom 5-8 vardagar
The twentieth century was a time of unprecedented development in mathematics, as well as in all sciences: more theorems were proved and results found in a hundred years than in all of previous history. In The Mathematical Century, Piergiorgio Odifreddi distills this unwieldy mass of knowledge into a fascinating and authoritative overview of the subject. He concentrates on thirty highlights of pure and applied mathematics. Each tells the story of an exciting problem, from its historical origins to its modern solution, in lively prose free of technical details. Odifreddi opens by discussing the four main philosophical foundations of mathematics of the nineteenth century and ends by describing the four most important open mathematical problems of the twenty-first century. In presenting the thirty problems at the heart of the book he devotes equal attention to pure and applied mathematics, with applications ranging from physics and computer science to biology and economics.Special attention is dedicated to the famous "23 problems" outlined by David Hilbert in his address to the International Congress of Mathematicians in 1900 as a research program for the new century, and to the work of the winners of the Fields Medal, the equivalent of a Nobel prize in mathematics. This eminently readable book will be treasured not only by students and their teachers but also by all those who seek to make sense of the elusive macrocosm of twentieth-century mathematics.
E-bok
PDF, Engelska, 2006351 kr
Läs direkt efter köp
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
Del 1429 - Lecture Notes in Mathematics
Logic and Computer Science
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Häftad, Engelska, 1990
278 kr
Skickas inom 10-15 vardagar
The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
Del 14 - Oplepo
Il doppio: Due per uno
Häftad, Italienska, 2018
230 kr
Skickas inom 3-6 vardagar
Häftad, Italienska, 2018
226 kr
Skickas inom 3-6 vardagar