Si analizzano i lavori di Turing sulla teoria dei tipi nella pratica matematica alla luce dell'intergioco tra uso di strutture astratte (ad es. gruppi) e situazioni in cui compaiono casi concreti (ad es. gruppi finiti) di queste strutture e si sottolinea come la prospettiva di Turing si possano considerare alla luce di alcuni recenti sviluppi della Teoria dei Modelli.
Linguaggio, logica e matematica in A. Turing / S. Bozzi - In: L'eredità di Alan Turing / M. Cappuccio. - Milano : Albo Versorio, 2005. - ISBN 88-89130-08-3. - pp. 101-138 (( convegno L'eredità di Alan Turing tenutosi a Milano nel 2004.
Linguaggio, logica e matematica in A. Turing
S. BozziPrimo
2005
Abstract
Si analizzano i lavori di Turing sulla teoria dei tipi nella pratica matematica alla luce dell'intergioco tra uso di strutture astratte (ad es. gruppi) e situazioni in cui compaiono casi concreti (ad es. gruppi finiti) di queste strutture e si sottolinea come la prospettiva di Turing si possano considerare alla luce di alcuni recenti sviluppi della Teoria dei Modelli.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.