1,720,994 research outputs found
Gerolamo Saccheri, Logica dimostrativa, book review in History and Philosophy of Logic, 2013
No full textRecensione lunga della traduzione della 'Logica dimostrativa' di Saccheri e del saggio introduttivo di Massimo Mugnai e Massimo Girondino, Pisa, Edizioni della Normal
Le origini della teoria dei modelli
No full textNel lavoro si mostra come il periodo classico dello sviluppo della Teoria dei Modelli - dai primi lavori di Mal'cev agli anni '60 - sia caratterizzato dall'intergioco e a volte dal contrasto tra diversi programmi di ricerca che trovano una sintesi nell'opera di A.Robinson e nella sua idea della Teoria dei Modelli come contesto iun cui generalizzare e studiare sul piano logico i metodi di Algebra, Geometria ed Analisi
Linguaggio, logica e matematica in A. Turing
No full textSi 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
Storia della logica. 2
No full textLe parti dovute a Silvio Bozzi riguardano in particolare il Cap.7 e lo sviluppo della Teoria degli Insiemi , della Teoria dei Modelli e in generale dell'indagine metamatematica sino agli anni 60 cercando di individuarne gli snodi fondamentale e le prospettive aperte
- …
