Libri di Abraham Robinson

Se la logica regola le forme e le leggi del pensiero, come può integrarsi con il ragionamento matematico? Tratteggiare i confini di questa congiunzione significa affrontare un viaggio tra le correnti della filosofia e della matematica, giungendo infine a un elemento altro, integrato: la logica matematica. Abraham Robinson ricostruisce il quadro storico di questo complesso percorso, tratteggiandone i rapporti con i diversi àmbiti della filosofia e del linguaggio, in un testo che, malgrado la complessità dell'argomento, riesce a mantenere salda una straordinaria forza divulgativa. Arricchiscono il volume la prefazione di Gabriele Lolli e il saggio di Beppo Levi del 1934 sulla logica matematica.

Con la pubblicazione dell'opera monumentale "Non-standard Analysis", avvenuta nel 1965, Abraham Robinson dà solide basi logiche all'esistenza di quegli infinitesimi e infiniti così genialmente intuiti da Leibniz, che tuttavia non riuscì a comporli in una teoria consistente. Robinson supera queste incertezze e costruisce un nuovo sistema di numeri reali come espansione dei numeri reali standard, nel quale trovano posto le entità molto piccole e molto grandi. Robinson si cimenta anche nel campo delle matematiche applicate suggerendo la conclusione, sorretta da un'importante affermazione di Kurt, riportata dall'autore che fornisce una migliore descrizione dei fenomeni osservabili. Questo testo è stato arricchito da note e approfondimenti che ne facilitano la lettura.