Practical Foundations of Mathematics - Paul Taylor - cover
Practical Foundations of Mathematics - Paul Taylor - cover
Dati e Statistiche
Salvato in 0 liste dei desideri
Practical Foundations of Mathematics
Disponibilità in 2 settimane
273,40 €
273,40 €
Disponibilità in 2 settimane

Descrizione


Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Dettagli

Testo in English
236 x 157 mm
880 gr.
9780521631075

Conosci l'autore

Foto di Paul Taylor

Paul Taylor

1930, Wilkinsburg, Pennsylvania

Ballerino, coreografo e direttore di compagnia statunitense. Intraprese la carriera atletica prima di studiare danza con M. Graham, D. Humphrey, J. Limon e con A. Tudor al Metropolitan Opera House. Danzò nella compagnia di M. Cunningham (1953-54) e in quella della Graham (1958-62), fondando contemporaneamente un proprio gruppo (1954) in cui sperimentò le prime coreografie (Three Epitaphs, 1959) e con cui intraprese le prime tournées europee (Festival di Spoleto, 1960, e di Berlino, 1963; debutto a Londra, 1964). Tra le sue coreografie si ricordano Duet (m. di J. Cage, 1957), Meridian (m. di P. Boulez, poi sostituita da quella di M. Feldman, 1960), Auréole (m. di Händel, il suo primo capolavoro, 1962), Sports and Follies (m. di E. Satie, 1974), Esplanade (1975), Cloven Kingdom (1976), Airs...

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it