CLUEB

This book is the result of a seminar conducted over four years. Its aim was to open up a path to understanding the meaning that the planning of the modern city had had in the more challenging phase of modernization in a large and millennial country such as India at the dawn of Independence. Chandigarh, the new capital of Indian Punjab, was the full witness of that political and cultural project. According to Prime Minister Jawaharlal Nehru: “...the first large expression of our creative genius flowering on our newly earned freedom”. In 2011 the seminar has focused on the analysis of six housing types. The objective was to make models of those houses. The workshop has involved large energies. At the same time, while making models the students have fully understood the architectural and spatial features of each house. Therefore in a process of learning through doing, paraphrasing Charles Correa, the students have been lucky to meet Chandigarh.

Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspetti squisitamente tecnici che per la sua notevole importanza concettuale. A partire dai risultati di William Craig e Kurt Schütte relativi alla logica classica ed intuizionista, l’attenzione degli studiosi si è rivolta principalmente alle logiche modali e, più in generale, non classiche. Decisamente meno esplorato è il filone di ricerca riguardante il teorema di interpolazione nelle teorie del primo ordine. Nel presente volume viene presentata la dimostrazione standard del teorema di interpolazione per la logica classica ed intuizionista, i cui dettagli sono spesso omessi o lasciati al lettore come esercizio nei manuali adottati nei corsi universitari di logica. Nella seconda parte, il testo offre una dettagliata panoramica sull’interpolazione nelle teorie del primo ordine e su alcuni sviluppi recenti della teoria della dimostrazione, tra cui le estensioni del teorema principale di Genzten alle teorie geometriche.