I numeri e le cose - Un viaggio nel calcolo infinitesimale

Ludwig von Bertalanffy
Arnoldo Mondadori Editore

Michael R. Genesereth, Nils J. Nilsson
Morgan Kaufmann Publishers

Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic.

The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system.

The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture.

End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

Domenico Parisi, Cristiano Castelfranchi
Bollati Boringhieri

Bernhard Riemann
Bollati Boringhieri

Il volume raccoglie, oltre al testo della lezione del 1854 che dà il titolo all'opera, alcuni scritti di carattere scientifico e filosofico di Riemann. A saggi di argomento scientifico si affiancano scritti di argomento più direttamente metodologico. La concezione della scienza che ci viene offerta da questi scritti è assai significativa del personaggio e della sua epoca. Per Riemann la matematica non è un mero strumento esteriore da applicare, appunto dall'esterno, ai fenomeni. Al contrario, essa consente di spingersi con il rigore necessario oltre alla superficie dei fenomeni e di penetrare sempre più a fondo nella realtà, nell'ottica di un sistema unitario e quasi metafisico del sapere scientifico.

Hubert C. Kennedy
Paolo Boringhieri

Saunders Mac Lane, Garrett Birkhoff
Mursia

Patrick Suppes
Dover Publications, Inc

Bruno D'Amore
Zanichelli

Siobhan Roberts
RCS Rizzoli Libri

"Imparare il linguaggio della geometria" afferma Brian Greene, autore dell'Universo elegante "è probabilmente il modo migliore per preparare le conquiste scientifiche di domani." Sotto questo aspetto, Donald Coxeter, il più grande studioso di geometria del XX secolo, è uno degli uomini che hanno maggiormente contribuito al progresso scientifico. Vissuto in un'epoca in cui la forte tendenza alla ricerca dell'astrazione e del formalismo in matematica aveva portato a un'emarginazione della geometria classica - lo studio delle figure e delle loro proprietà, basato sull'elemento visivo e sull'intuizione-, Coxeter ha dedicato tutta la sua lunga carriera ad approfondire, a difendere e a diffondere quella disciplina di cui era innamorato, salvandola dall'oblio a cui pareva ormai destinata e aprendole la strada di nuove, inattese applicazioni. Nel Re dello spazio infinito, Siobhan Roberts ci presenta un ritratto di questo "genio irregolare", dai suoi primi lavori adolescenziali fino all'ultima conferenza tenuta all'età di novantacinque anni. Il quadro che ne emerge è quello di un uomo capace di cogliere la bellezza della geometria in ogni aspetto della natura, dalle bolle di schiuma ai ciuffi degli ananas.

Charles S. Chihara
Oxford University Press

Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.

Enrico Rufini
Feltrinelli

Guido Castelnuovo
Feltrinelli