Ahmedabad | Laboratorio di architettura moderna Il National Institute of Design (1961-68) fra contatti internazionali ed echi della tradizione

Oggetto della ricerca è lo studio del National Institute of Design (NID), progettato da Gautam Sarabhai e sua sorella Gira, ad Ahmedabad, assunta a paradigma del nuovo corso della politica che il Primo Ministro Nehru espresse nei primi decenni del governo postcoloniale. Obiettivo della tesi è di analizzare il fenomeno che unisce modernità e tradizione in architettura. La modernità indiana, infatti, nacque e si sviluppò con i caratteri di un Giano bifronte: da un lato, la politica del Primo Ministro Nehru favorì lo sviluppo dell’industria e della scienza; dall’altro, la visione di Gandhi mirava alla riscoperta del locale, delle tradizioni e dell’artigianato. Questi orientamenti influenzarono l’architettura postcoloniale. Negli anni ‘50 e ’60 Ahmedabad divenne la culla dell’architettura moderna indiana. Kanvinde, i Sarabhai, Correa, Doshi, Raje trovarono qui le condizioni per costruire la propria identità come progettisti e come intellettuali. I motori che resero possibile questo fermento furono principalmente due: una committenza di imprenditori illuminati, desiderosi di modernizzare la città; la presenza ad Ahmedabad, a partire dal 1951, dei maestri dell’architettura moderna, tra cui i più noti furono Le Corbusier e Kahn, invitati da quella stessa committenza, per la quale realizzarono edifici di notevole rilevanza. Ad Ahmedabad si confrontarono con forza entrambe le visioni dell’India moderna. Lo sforzo maggiore degli architetti indiani si espresse nel tentativo di conciliare i due aspetti, quelli che derivavano dalle influenze internazionali e quelli che provenivano dallo spirito della tradizione. Il progetto del NID è uno dei migliori esempi di questo esercizio di sintesi. Esso recupera nella composizione spaziale la lezione di Wright, Le Corbusier, Kahn, Eames ibridandola con elementi della tradizione indiana. Nell’uso sapiente della struttura modulare e a padiglione, della griglia ordinatrice a base quadrata, dell’integrazione costante fra spazi aperti, natura e architettura affiorano nell’edificio del NID echi di una cultura millenaria.

The European External Action Service and the Implementation of the 'Union Method' in European Foreign Policy

The European External Action Service (EEAS or Service) is one of the most significant and most debated innovations introduced by the Lisbon Treaty. This analysis intends to explain the anomalous design of the EEAS in light of its function, which consists in the promotion of external action coherence. Coherence is a principle of the EU legal system, which requires synergy in the external actions of the Union and its Members. It can be enforced only through the coordination of European policy-makers' initiatives, by bridging the gap between the 'Communitarian' and intergovernmental approaches. This is the 'Union method' envisaged by A. Merkel: "coordinated action in a spirit of solidarity - each of us in the area for which we are responsible but all working towards the same goal". The EEAS embodies the 'Union method', since it is institutionally linked to both Union organs and Member States. It is also capable of enhancing synergy in policy management and promoting unity in international representation, since its field of action is delimited not by an abstract concern for institutional balance but by a pragmatic assessment of the need for coordination in each sector. The challenge is now to make sure that this pragmatic approach is applied with respect to all the activities of the Service, in order to reinforce its effectiveness. The coordination brought by the EEAS is in fact the only means through which a European foreign policy can come into being: the choice is not between the Community method and the intergovernmental method, but between a coordinated position and nothing at all.

Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

La "responsabilità sociale" dell'imprenditore negli ambienti cattolici lombardi dagli anni Trenta alla Ricostruzione

My research focuses on the mentality of catholic entrepreneurs and managers in Italy between the 1930's and the 1950's. The main source of my study is the archive of an organization called Unione Cristiana Imprenditori Dirigenti [Christian Entrepreneurs and Managers Association], which was founded in Milan in 1945 with the pedagogic intent to foster higher moral standards and social responsibility in the milieux of catholic entrepreneurs, in the spirit of the Social Doctrine of the Church. This experience was set in the social and political context of the Italian post-war years, but it was also rooted in the debate – started during the 1930s - on the rise of a new catholic leadership in society.

Recognizing cultural concepts: Joyce, Woolf, Mann and Musil

The purpose of this thesis is to establish a direct relationship between literature and fields of knowledge such as science and technology, by focusing on some concepts that were fundamental for both science and the humanities at the beginning of the 20th century. The concepts are those of simultaneity, multiple points of view, map, relativity and acausality. In the spirit of several recent ideas, for example Katherine Hayles’ isomorphism notion, the dissertation shows how writers such as James Joyce, Virginia Woolf, Thomas Mann and Robert Musil developed the mentioned concepts within their narratives. The working hypothesis is that those concepts were at a crossroad of human activities, and that those authors used them extensively within their narratives. It is further argued that those same concepts – as developed by Joyce in Ulysses, Woolf’s shorts stories and novels from the end of the 1910’s until the end of the1920’s, Mann’s Der Zauberberg (The Magic Mountain), and Musil’s Der Mann ohne Eigenschaften (The Man Without Qualities) — are still fundamental for our conception of time and space today. The thesis is divided into two parts. The first two chapters will analyse the concepts of simultaneity and multiple points of view and their relationship to cartography as developed within English literature and culture. The next two chapters will address the concepts of relativity and acausality, as developed within German literature and culture.

Semantic Publishing: issues, solutions and new trends in scholarly publishing within the Semantic Web era

This work is concerned with the increasing relationships between two distinct multidisciplinary research fields, Semantic Web technologies and scholarly publishing, that in this context converge into one precise research topic: Semantic Publishing. In the spirit of the original aim of Semantic Publishing, i.e. the improvement of scientific communication by means of semantic technologies, this thesis proposes theories, formalisms and applications for opening up semantic publishing to an effective interaction between scholarly documents (e.g., journal articles) and their related semantic and formal descriptions. In fact, the main aim of this work is to increase the users' comprehension of documents and to allow document enrichment, discovery and linkage to document-related resources and contexts, such as other articles and raw scientific data. In order to achieve these goals, this thesis investigates and proposes solutions for three of the main issues that semantic publishing promises to address, namely: the need of tools for linking document text to a formal representation of its meaning, the lack of complete metadata schemas for describing documents according to the publishing vocabulary, and absence of effective user interfaces for easily acting on semantic publishing models and theories.

La didattica della traduzione specializzata dallo spagnolo in italiano: competenza traduttiva, genere testuale e nuove tecnologie

Il progetto di ricerca che presentiamo nasce dalla virtuosa combinazione di teoria e prassi didattica nello spirito della ricerca-azione. Scopo del presente lavoro è elaborare un percorso didattico di formazione alla traduzione specializzata in ambito medico-scientifico, tecnico ed economico-giuridico per la combinazione linguistica spagnolo-italiano all’interno della cornice istituzionale concreta dell’università italiana oggi. La nostra proposta formativa si fonda su tre elementi: la ricognizione del mercato attuale della traduzione per la combinazione linguistica indicata, l’individuazione degli obiettivi formativi in base al modello di competenza traduttiva scelto, l’elaborazione del percorso didattico per competenze e basato sull’enfoque por tareas di traduzione. Nella progettazione delle modalità didattiche due sono gli aspetti che definiscono il percorso proposto: il concetto di genere testuale specializzato per la traduzione e la gestione delle informazioni mediante le nuove tecnologie (corpora, banche dati terminologiche e fraseologiche, memorie di traduzione, traduzione controllata). Il presente lavoro si articola in due parti: la prima parte (quattro capitoli) presenta l’inquadramento teorico all’interno del quale si sviluppa la riflessione intorno alla didattica della traduzione specializzata; la seconda parte (due capitoli) presenta l’inquadramento metodologico e analitico all’interno del quale si elabora la nostra proposta didattica. Nel primo capitolo si illustrano i rapporti fra traduzione e mondo professionale; nel secondo capitolo si presenta il concetto di competenza traduttiva come ponte tra la formazione e il mondo della traduzione professionale; nel terzo capitolo si ripercorrono le tappe principali dell’evoluzione della didattica della traduzione generale; nel quarto capitolo illustriamo alcune tra le più recenti e complete proposte didattiche per la traduzione specializzata in ambito tecnico, medico-scientifico ed economico-giuridico. Nel quinto capitolo si introduce il concetto di genere testuale specializzato per la traduzione e nel sesto capitolo si illustra la proposta didattica per la traduzione specializzata dallo spagnolo in italiano che ha motivato il presente lavoro.

La dimensione esterna della politica migratoria dell'UE

Conformemente ai trattati, l'UE sviluppa una politica comune in materia di asilo, immigrazione e controllo delle frontiere esterne, fondata sulla solidarietà e sul rispetto dei diritti fondamentali e, a tal fine, avvia relazioni strategiche con i Paesi terzi e le Organizzazioni internazionali. Un fenomeno “senza frontiere”, quale quello migratorio, esige del resto un'azione coerente e coordinata sia sul piano interno sia su quello esterno. La messa in atto di quest'ultima, tuttavia, si scontra con difficoltà di rilievo. Innanzitutto, l'UE e i suoi Stati membri devono creare i presupposti per l'avvio della collaborazione internazionale, vale a dire stimolare la fiducia reciproca con i Paesi terzi, rafforzando la propria credibilità internazionale. A tal fine, le istituzioni, gli organi e gli organismi dell'UE e gli Stati membri devono impegnarsi a fornire un modello coerente di promozione dei valori fondanti, quali la solidarietà e il rispetto dei diritti fondamentali, nonché a coordinare le proprie iniziative, per individuare, insieme ai Paesi terzi e alle Organizzazioni internazionali, una strategia d'azione comune. In secondo luogo, l'UE e gli Stati membri devono adottare soluzioni volte a promuovere l'efficacia della collaborazione internazionale e, più precisamente, assicurare che la competenza esterna sia esercitata dal livello di governo in grado di apportare il valore aggiunto e utilizzare la forma collaborativa di volta in volta più adeguata alla realizzazione degli obiettivi previsti. In definitiva, l'azione esterna dell'UE in materia di politica migratoria necessita di una strategia coerente e flessibile. Se oggi la coerenza è garantita dalla giustiziabilità dei principi di solidarietà, di rispetto dei diritti fondamentali e, giustappunto, di coerenza, la flessibilità si traduce nel criterio del valore aggiunto che, letto in combinato disposto con il principio di leale cooperazione, si pone al centro del nuovo modello partenariale proposto dall'approccio globale, potenzialmente idoneo a garantire la gestione efficace del fenomeno migratorio.

Una grande narrazione del capitalismo: potere e scienze sociali nel pensiero politico di Daniel Bell

Questa tesi punta a ricostruire il pensiero politico di Bell tra il secondo dopoguerra e la metà degli anni Settanta. In tale arco cronologico, la riflessione politica di Bell si profila, per usare una formula di Jean-François Lyotard, come una «grande narrazione» del capitalismo. Nel complesso, cioè, l’opera di Bell appare come una storia sociologica del capitalismo, che nella fine delle ideologie registra l’apogeo del fordismo e, in seguito, ne mette in luce le trasformazioni in senso post-industriale, indagando le ricadute che tali mutamenti implicano sul piano dei rapporti di potere e della legittimazione del sistema. Nell’ottica di Bell, pertanto, il capitalismo non costituisce soltanto un sistema economico, ma la forma specifica attraverso cui si dispiega la società nel suo complesso, attivando una serie di rapporti di potere mediante i quali gli individui vengono coordinati e subordinati. Una siffatta concezione del capitalismo agisce immediatamente la questione del potere e solleva un interrogativo a esso connesso: «che cosa tiene insieme una società?». Una domanda che attraversa la traiettoria intellettuale di Bell e, sia pure declinata mediante una terminologia sociologica, riflette in realtà l’ambizione delle scienze sociali di farsi teoria politica. Esse si presentano quindi come teoria politica della modernità, nella misura in cui distinguono il potere sociale dal potere politico e, al tempo stesso, instaurano tra i due poli una tensione dialettica produttiva. Mettendo a fuoco la concettualizzazione del potere nell’opera di Bell si analizzeranno le mutazioni nel rapporto tra Stato e società negli Stati Uniti durante la Golden Age del capitalismo. In particolare, si metterà in luce nella grande narrazione di Bell l’ascesa e il declino di un ordine istituzionale che, alla metà degli anni Settanta, appare percorso da molteplici tensioni politiche e sociali che preannunciano l’avvento dell’età globale e il bisogno di una nuova “scala” di governo.

Probabilistic Recursion Theory and Implicit Computational Complexity

In this thesis we provide a characterization of probabilistic computation in itself, from a recursion-theoretical perspective, without reducing it to deterministic computation. More specifically, we show that probabilistic computable functions, i.e., those functions which are computed by Probabilistic Turing Machines (PTM), can be characterized by a natural generalization of Kleene's partial recursive functions which includes, among initial functions, one that returns identity or successor with probability 1/2. We then prove the equi-expressivity of the obtained algebra and the class of functions computed by PTMs. In the the second part of the thesis we investigate the relations existing between our recursion-theoretical framework and sub-recursive classes, in the spirit of Implicit Computational Complexity. More precisely, endowing predicative recurrence with a random base function is proved to lead to a characterization of polynomial-time computable probabilistic functions.

Arte e design in Italia dalla metà degli anni Sessanta alle ultime tendenze

Il lavoro di ricerca è rivolto ad indagare l’emersione di schemi di variazione comuni all’arte e al design, limitatamente al contesto italiano e in un arco di tempo che va dalla metà degli anni Sessanta del secolo scorso a oggi. L’analisi vuole rintracciare, mediante l’applicazione della metodologia fenomenologica, un sentire condiviso tra le due discipline e, nel pieno rispetto dei relativi linguaggi e con nessuna volontà di sudditanza degli uni rispetto agli altri, individuare i rapporti di corrispondenza omologica capaci di mettere in luce lo spirito del tempo che le ha generate. La ricerca si pone l’obiettivo di estendere gli studi sul contemporaneo attraverso un’impostazione che intende applicare gli strumenti metodologici della critica d’arte all’evoluzione stilistica delle tendenze del design italiano. Non si è voluto redigere una “storia” del design italiano ma, considerata anche l’ampiezza dell’argomento, si è necessariamente proceduto a delimitare il territorio di applicazione scegliendo di prendere in considerazione il solo settore del design dell’arredo. Si è dunque optato per una visione globale delle vicende del design del prodotto, tesa ad indagare gli snodi principali, concentrando pertanto l’analisi su alcuni protagonisti della cultura del progetto, ossia su quelle figure risultate dominanti nel proprio tempo perché capaci con il loro lavoro di dare un contribuito determinante alla comprensione delle fasi evolutive del design italiano. Gli strumenti utili a condurre l’analisi provengono principalmente dalla metodologia binaria individuata dallo storico dell’arte Heinrich Wölfflin e dagli studi di Renato Barilli, il cui impianto culturologico ha fornito un indispensabile contributo al processo di sistematizzazione dei meccanismi di variazione interni alle arti; sia quelli di tipo orizzontale, di convergenza reciproca con gli altri saperi, che di tipo verticale, in rapporto cioè con le scoperte scientifiche e tecnologiche della coeva cultura materiale.

Ragnar Östberg. Genius loci e memorie urbane. Stockholms Stadshuset-Nämndhuset e villa Geber

La ricerca si propone di analizzare una di quelle stagioni architettoniche controverse e lontane dalle internazionali strade maestre del nascente Neues Bauen: il romanticismo-nazionale svedese riletto attraverso l’esperienza del suo massimo esponente, Ragnar Östberg (1866-1945). L’obiettivo della tesi non è solamente quello di una revisione della critica storiografica, facendo così luce su una di quelle personalità considerate marginali, quanto quello di ricavare dalla lettura comparata di due tra i suoi progetti, fino ad ora mai indagati, quegli elementi che fanno dell’architettura un “fatto urbano” in cui la collettività può riconoscersi e parallelamente un fatto di rappresentazione della stessa. L’arcipelago di Stoccolma e quel processo di “renovatio urbis” a cui fu sottoposta proprio agli albori del XX secolo furono gli scenari in cui presero vita i due progetti: il complesso formato dallo Stockholms Stadshuset e la vicina parte mai realizzata del Nämndhuset, e villa Geber. Condensano due dimensioni che la città immersa nel paesaggio contiene: la natura urbana dell’edificio municipale e quella domestica della villa urbana isolata. La ricerca intesse un itinerario di disvelamento attraverso una matrice duale di lettura: “genius loci” e memorie urbane. I capitoli cercano di dimostrare come i due casi-studio siano espressione di quella pendolarità di ricerca tra lo spirito del luogo e le rimembranze delle forme urbane della tradizione. Questa analisi ci conduce in un viaggio alla ricerca dell’atlante delle “memorie urbane”, raccolte nei viaggi e nella formazione, comprendendo così il mondo analogico di riferimenti culturali con altre architetture europee della tradizione. I due progetti sorgono in opposte aree di espansione di Stoccolma e, pur nella loro diversità di scala, sono chiara espressione di appropriatezza al luogo e di strutture formali analoghe. Stockholm Stadshuset-Nämndhuset e villa Geber esprimono il metodo di Östberg, dove i riferimenti raccolti dall’imagination passive sono tramutati ed assemblati grazie alla imagination active.