I modelli matematici

Saunders Mac Lane, Garrett Birkhoff
Mursia

Bruno D'Amore
Zanichelli

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.

Stefano Donati
Firenze Atheneum

La filosofia della matematica di Bertrand Russell nella sua fase matura e definitiva: la fase logicista, in cui egli sostenne che tutta la matematica pura deriva da premesse puramente logiche e utilizza solo concetti logici, o definibili in termini puramente logici.

Enrico Rufini
Feltrinelli

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.”

Jim L. Alty, Mike J. Coombs
Franco Angeli

Peter Sergeevic Novikov
Riuniti

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.

Claudio Citrini
Bollati Boringhieri