The Analytical Theory of Heat

Sergio Zani
Dott. A. Giuffrè editore

Willard Van Orman Quine
Harvard University Press

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.

Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved.”

Stewart Shapiro
North-Holland

''Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...'' FROM THE INTRODUCTION Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Jim L. Alty, Mike J. Coombs
Franco Angeli

F. W. Lawvere, S. H. Schanuel
Franco Muzzio Editore

Domenico Costantini, Ubaldo Garibaldi, Maria Antonietta Penco
Franco Muzzio & C. Editore

Giovanna Togliatti
CLUP - Cooperativa Libraria Universitaria del Politecnico

Jagjit Singh
Edizioni scientifiche e tecniche Mondadori

Yu. L. Ershov, E. A. Palyutin
Mir Publisher

Alfred North Whitehead
Lampugnani Nigri Editore

R. Faure, A. Kaufmann, M. Denis-Papin
ISEDI

Guglielmo Tamburrini
Pearson Italia S.p.a.

Che cosa vuol dire spiegare un comportamento intelligente osservato in un essere umano, in un altro organismo biologico o in una macchina? Il libro esamina la risposta innovativa a tale quesito che è stata impostata dalla cibernetica e dall'intelligenza artificiale, con il contributo fondamentale di matematici come Norbert Wiener e Alan Turing.