Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Experiments on through-wall imaging using ultra wideband radar

Through-wall imaging (TWI) may provide vital information on interior environment in cases when physically entering such environment would pose danger to the person involved. The concept of ultra wideband radar (UWB radar) is an emerging technology, which offers high spatial resolution, as opposed to narrow band radars. Thus, TWI applications using UWB radar have become a growing field of research with several applications in the civil and defense areas such as rescue and surveillance. For this study, a prototype system of UWB radar to TWI has been built. Analyses and result to several kinds of experiments have been presented, that is, detection and visualization of metallic targets behind wooden board wall and concrete blocks wall. The results are encouraging and show the advantages of using UWB radar for TWI. (C) 2011 Wiley Periodicals, Inc. Microwave Opt Technol Lett, 54:339-344, 2012; View this article online at wileyonlinelibrary.com. DOI 10.1002/mop.26543

Semi-supervised dimensionality reduction based on partial least squares for visual analysis of high dimensional data

Dimensionality reduction is employed for visual data analysis as a way to obtaining reduced spaces for high dimensional data or to mapping data directly into 2D or 3D spaces. Although techniques have evolved to improve data segregation on reduced or visual spaces, they have limited capabilities for adjusting the results according to user's knowledge. In this paper, we propose a novel approach to handling both dimensionality reduction and visualization of high dimensional data, taking into account user's input. It employs Partial Least Squares (PLS), a statistical tool to perform retrieval of latent spaces focusing on the discriminability of the data. The method employs a training set for building a highly precise model that can then be applied to a much larger data set very effectively. The reduced data set can be exhibited using various existing visualization techniques. The training data is important to code user's knowledge into the loop. However, this work also devises a strategy for calculating PLS reduced spaces when no training data is available. The approach produces increasingly precise visual mappings as the user feeds back his or her knowledge and is capable of working with small and unbalanced training sets.

An in vitro comparison of subjective image quality of panoramic views acquired via 2D or 3D imaging

Objectives: The objective of this study is to compare subjective image quality and diagnostic validity of cone-beam CT (CBCT) panoramic reformatting with digital panoramic radiographs. Materials and methods: Four dry human skulls and two formalin-fixed human heads were scanned using nine different CBCTs, one multi-slice CT (MSCT) and one standard digital panoramic device. Panoramic views were generated from CBCTs in four slice thicknesses. Seven observers scored image quality and visibility of 14 anatomical structures. Four observers repeated the observation after 4 weeks. Results: Digital panoramic radiographs showed significantly better visualization of anatomical structures except for the condyle. Statistical analysis of image quality showed that the 3D imaging modalities (CBCTs and MSCT) were 7.3 times more likely to receive poor scores than the 2D modality. Yet, image quality from NewTom VGi® and 3D Accuitomo 170® was almost equivalent to that of digital panoramic radiographs with respective odds ratio estimates of 1.2 and 1.6 at 95% Wald confidence limits. A substantial overall agreement amongst observers was found. Intra-observer agreement was moderate to substantial. Conclusions: While 2D-panoramic images are significantly better for subjective diagnosis, 2/3 of the 3D-reformatted panoramic images are moderate or good for diagnostic purposes. Clinical relevance: Panoramic reformattings from particular CBCTs are comparable to digital panoramic images concerning the overall image quality and visualization of anatomical structures. This clinically implies that a 3D-derived panoramic view can be generated for diagnosis with a recommended 20-mm slice thickness, if CBCT data is a priori available for other purposes.

Reações ácido-base: conceito, representação e generalização a partir das energias envolvidas nas transformações

Undergraduate students on the first year of Chemistry Courses are unfamiliar with the representation of acid-base reactions using the ionic equation H+ + OH- → H2O. A chemistry class was proposed about acid-base reactions using theory and experimental evaluation of neutralization heat to discuss the energy involved when water is formed from H+ and OH- ions. The experiment is suggested using different strong acids and strong base pairs. The presentation of the theme within a chemistry class for high school teachers increased the number of individuals that saw the acid-base reaction from this perspective.

Representação política, representação de grupos e política de cotas: perspectivas e contendas feministas

Este artigo foca no debate sobre representação política, representação especial de grupos e política de cotas com o objetivo de destacar os seus argumentos principais e mais controversos, explorando suas inconsistências, problematizando-os e estabelecendo um diálogo entre eles. Será considerado até que ponto o argumento por maior inclusão de membros de grupos sociais não hegemônicos em processos político-decisórios, através de mecanismos como as cotas, pode ser justificado desde uma perspectiva normativa. Dado o caráter polêmico do conceito de representação política e da noção de identidades e interesses de grupos, em que se justificaria essa demanda? Esta discussão será conduzida a partir de uma análise sobre o conceito de representação política, da noção de interesses, identidades e perspectivas de grupos, e de uma análise sobre os principais argumentos apresentados a favor das cotas e contra elas. O artigo foca na representação política das mulheres, estabelecendo assim um diálogo permanente com e entre perspectivas feministas.

Modeling random corrosion processes via polynomial chaos expansion

Polynomial Chaos Expansion (PCE) is widely recognized as a flexible tool to represent different types of random variables/processes. However, applications to real, experimental data are still limited. In this article, PCE is used to represent the random time-evolution of metal corrosion growth in marine environments. The PCE coefficients are determined in order to represent data of 45 corrosion coupons tested by Jeffrey and Melchers (2001) at Taylors Beach, Australia. Accuracy of the representation and possibilities for model extrapolation are considered in the study. Results show that reasonably accurate smooth representations of the corrosion process can be obtained. The representation is not better because a smooth model is used to represent non-smooth corrosion data. Random corrosion leads to time-variant reliability problems, due to resistance degradation over time. Time variant reliability problems are not trivial to solve, especially under random process loading. Two example problems are solved herein, showing how the developed PCE representations can be employed in reliability analysis of structures subject to marine corrosion. Monte Carlo Simulation is used to solve the resulting time-variant reliability problems. However, an accurate and more computationally efficient solution is also presented.

Representations as tools of appropriation, creating meaning through activities.

Based on some constructs of the Activity Theory (Leontiev, 1978), we point to the need to develop activities that reveal the meaning of representations. We examine use of representations in teaching and propose some suggestions. Shaaron Ainsworth (1999) asserted that, in order to learn from engaging with multiple representations of scientific concepts, students need to be able to (a) understand the codes and signifiers in a representation, (b) understand the links between the representation and the target concept or process, (c) translate key features of the concept across representations and (d) know which features to emphasize in designing their own representations.

La comunicazione della cooperazione allo sviluppo: gli Enti Pubblici. Analisi discorsive dei Siti Web

Our research takes place in the context of a discipline kwown as Communication for Development, sited inside the field of Communication for Social Change, characterized by the use of interpersonal ad mass communication theories and tools, applyied to international development cooperation. Our study aims at pointing out a change of paradigm in this field: our object is Public Administration’s communication, therefore, what we suggest is a shift from Communication for Development, to Development Communication. The object of our study, hence, becomes the discourse itself, in its double action of representation and construction of reality. In particular, we are interested in the discourse’s tribute to the creation of a collective immagination, wich is the perspective towards which we have oriented the analysis, through a structuralist semoitics-based methodology integrated with a socio-semiotic approach. Taking into consideartion the fact that in our contemporary society (that is to say a ‘Western’ and ‘First World’ society), the internet is a crucial public space for the mediation and the management of collective immagination, we chose the web sites of Public Bodies which are dedicated to International Cooperation has our analysis corpus. This, due to their symbolic and ideologic significance, as well as for the actual political responsibility we think these web sites should have. The result of our analysis allows us to suggest some discoursive strategies used in the web sites of Public Bodies. In these sites, there is a tendency to shift the discourses around international cooperation from the ideological axis - avoiding in so doing to explicit a political statement about the causes of injustices and un-balances which lead to the necessity of a support in development (i.e. avoiding to mention values such as social justice and democracy while acknowledging socio-economical institutions which contribute to foster underdevelopment on a global scale) -, to the ethical axis, hence referring to moral values concerning the private sphere (human solidarity and charity), which is delegated mainly to non governamental associations.

Traces de terre, traces d'encre... La rappresentazione dello spazio nella letteratura caraibica. (Francofona e Anglofona)

This study concerns the representation of space in Caribbean literature, both francophone and Anglophone and, in particular, but not only, in the martinican literature, in the works of the authors born in the island. The analysis focus on the second half of the last century, a period in which the martinican production of novels and romances increased considerably, and where the representation and the rule of space had a relevant place. So, the thesis explores the literary modalities of this representation. The work is constituted of 5 chapters and the critical and methodological approaches are both of an analytical and comparative type. The first chapter “The caribbean space: geography, history and society” presents the geographic context, through an analysis of the historical and political major events occurred in the Caribbean archipelago, in particular of the French Antilles, from the first colonization until the départementalisation. The first paragraph “The colonized space: historical-political excursus” the explores the history of the European colonization that marked forever the theatre of the relationship between Europe, Africa and the New World. This social situation take a long and complex process of “Re-appropriation and renegotiation of the space”, (second paragraph) always the space of the Other, that interest both the Antillean society and the writers’ universe. So, a series of questions take place in the third paragraph “Landscape and identity”: what is the function of space in the process of identity construction? What are the literary forms and representations of space in the Caribbean context? Could the writing be a tool of cultural identity definition, both individual and collective? The second chapter “The literary representation of the Antillean space” is a methodological analysis of the notions of literary space and descriptive gender. The first paragraph “The literary space of and in the novel” is an excursus of the theory of such critics like Blanchot, Bachelard, Genette and Greimas, and in particular the recent innovation of the 20th century; the second one “Space of the Antilles, space of the writing” is an attempt to apply this theory to the Antillean literary space. Finally the last paragraph “Signs on the page: the symbolic places of the antillean novel landscape” presents an inventory of the most recurrent antillean places (mornes, ravines, traces, cachots, En-ville,…), symbols of the history and the past, described in literary works, but according to new modalities of representation. The third chapter, the core of the thesis, “Re-drawing the map of the French Antilles” focused the study of space representation on francophone literature, in particular on a selected works of four martinican writers, like Roland Brival, Édouard Glissant, Patrick Chamoiseau and Raphaël Confiant. Through this section, a spatial evolution comes out step by step, from the first to the second paragraph, whose titles are linked together “The novel space evolution: from the forest of the morne… to the jungle of the ville”. The virgin and uncontaminated space of the Antilles, prior to the colonisation, where the Indios lived in harmony with the nature, find a representation in both works of Brival (Le sang du roucou, Le dernier des Aloukous) and of Glissant (Le Quatrième siècle, Ormerod). The arrival of the European colonizer brings a violent and sudden metamorphosis of the originary space and landscape, together with the traditions and culture of the Caraïbes population. These radical changes are visible in the works of Chamoiseau (Chronique des sept misères, Texaco, L’esclave vieil homme et le molosse, Livret des villes du deuxième monde, Un dimanche au cachot) and Confiant (Le Nègre et l’Amiral, Eau de Café, Ravines du devant-jour, Nègre marron) that explore the urban space of the creole En-ville. The fourth chapter represents the “2nd step: the Anglophone novel space” in the exploration of literary representation of space, through an analytical study of the works of three Anglophone writers, the 19th century Lafcadio Hearn (A Midsummer Trip To the West Indies, Two Years in the French West Indies, Youma) and the contemporary authors Derek Walcott (Omeros, Map of the New World, What the Twilight says) and Edward Kamau Brathwaite (The Arrivants: A New World Trilogy). The Anglophone voice of the Caribbean archipelago brings a very interesting contribution to the critical idea of a spatial evolution in the literary representation of space, started with francophone production: “The spatial evolution goes on: from the Martiniques Sketches of Hearn… to the modern bards of Caribbean archipelago” is the new linked title of the two paragraphs. The fifth chapter “Extended look, space shared: the Caribbean archipelago” is a comparative analysis of the results achieved in the prior sections, through a dialogue between all the texts in the first paragraph “Francophone and Anglophone representation of space compared: differences and analogies”. The last paragraph instead is an attempt of re-negotiate the conventional notions of space and place, from a geographical and physical meaning, to the new concept of “commonplace”, not synonym of prejudice, but “common place” of sharing and dialogue. The question sets in the last paragraph “The “commonplaces” of the physical and mental map of the Caribbean archipelago: toward a non-place?” contains the critical idea of the entire thesis.

Politiche di sviluppo e questione etnica. La cooperazione italiana IN Bosnia Erzegovina

The globalization process of the last twenty years has changed the world through international flows of people, policies and practices. International cooperation to development is a part of that process and brought International Organizations (IOs) and Non Governmental Organizations (NGOs) from the West to the rest of the world. In my thesis I analyze the Italian NGOs that worked in Bosnia Herzegovina (BH) to understand which development projects they realized and how they faced the ethnic issue that characterized BH. I consider the relation shaped between Italian NGOs and Bosnian civil society as an object of ethnic interests. In BH, once part of former Yugoslavia, the transition from the communist regime to a democratic country has not been completed. BH’s social conditions are characterized by strong ethnic divisions. The legacy of the early 1990s crisis was a phenomenon of ethnic identities created before the war and that still endure today. The Dayton Peace Agreement signed in 1995 granted the peace and reinforced the inter-ethnic hate between the newly recognized three principal ethnicities: Serbs, Croats and Bosniak. Through the new constitution, the institutions were characterized by division at every level, from the top to the bottom of society. Besides it was the first constitution ever written and signed outside the own country; that was the root of the state of exception that characterized BH. Thus ethnic identities culture survived through the international political involvement. At the same time ethnic groups that dominated the political debate clashed with the international organization’s democratic purpose to build a multicultural and democratic state. Ethnic and also religious differences were the instruments for a national statement that might cause the transition and development projects failure. Fifteen years later social fragmentation was still present and it established an atmosphere of daily cultural violence. Civil society suffered this condition and attended to recreate the ethnic fragmentation in every day life. Some cities became physically divided and other cities don’t tolerated the minority presence. In rural areas, the division was more explicit, from village to village, without integration. In my speech, the anthropology for development – the derivative study from applied anthropology – constitutes the point of view that I used to understand how ethnic identities still influenced the development process in BH. I done ethnographic research about the Italian cooperation for development projects that were working there in 2007. The target of research were the Italian NGOs that created a relation with Bosnian civil society; they were almost twenty divided in four main field of competences: institutional building, education, agriculture and democratization. I assumed that NGOs work needed a deep study because the bottom of society is the place where people could really change their representation and behavior. Italian NGOs operated in BH with the aim of creating sustainable development. They found cultural barricade that both institutions and civil society erected when development projects have been applied. Ethnic and religious differences were stressed to maintain boundaries and fragmented power. Thus NGOs tried to negotiate development projects by social integration. I found that NGOs worked among ethnic groups by pursuing a new integration. They often gained success among people; civil society was ready to accept development projects and overcome differences. On the other hand NGOs have been limited by political level that sustained the ethnic talk and by their representation of Bosnian issue. Thus development policies have been impeded by ethnic issue and by cooperation practices established on a top down perspective. Paradoxically, since international community has approved the political ethnic division within DPA, then the willing of development followed by funding NGOs cooperation projects was not completely successful.

In nome della comunità. Analisi dei testi della sicurezza e del terrorismo

The focus of this dissertation is the relationship between the necessity for protection and the construction of cultural identities. In particular, by cultural identities I mean the representation and construction of communities: national communities, religious communities or local communities. By protection I mean the need for individuals and groups to be reassured about dangers and risks. From an anthropological point of view, the relationship between the need for protection and the formation and construction of collective identities is driven by the defensive function of culture. This was recognized explicitly by Claude Lévi-Strauss and Jurij Lotman. To explore the “protective hypothesis,” it was especially useful to compare the immunitarian paradigm, proposed by Roberto Esposito, with a semiotic approach to the problem. According to Esposito, immunity traces borders, dividing Community from what should be kept outside: the enemies, dangers and chaos, and, in general, whatever is perceived to be a threat to collective and individual life. I recognized two dimensions in the concept of immunity. The first is the logic dimension: every element of a system makes sense because of the network of differential relations in which it is inscribed; the second dimension is the social praxis of division and definition of who. We are (or what is inside the border), and who They are (or what is, and must be kept, outside the border). I tested my hypothesis by analyzing two subject areas in particular: first, the security practices in London after 9/11 and 7/7; and, second, the Spiritual Guide of 9/11 suicide bombers. In both cases, one observes the construction of two entities: We and They. The difference between the two cases is their “model of the world”: in the London case, one finds the political paradigms of security as Sovereignty, Governamentality and Biopolitics. In the Spiritual Guide, one observes a religious model of the Community of God confronting the Community of Evil. From a semiotic point view, the problem is the origin of respective values, the origin of respective moral universes, and the construction of authority. In both cases, I found that emotional dynamics are crucial in the process of forming collective identities and in the process of motivating the involved subjects: specifically, the role of fear and terror is the primary factor, and represents the principal focus of my research.

Il concetto di sezione nel metodo compositivo di Aldo Rossi.

Purpose of this research is to deepen the study on the section in architecture. The survey aims as important elements in the project Teatro Domestico by Aldo Rossi built for the XVII Triennale di Milano in 1986 and, through the implementation on several topics of architecture, verify the timeliness and fertility in the new compositional exercises. Through the study of certain areas of the Rossi’s theory we tried to find a common thread for the reading of the theater project. The theater is the place of the ephemeral and the artificial, which is why his destiny is the end and the fatal loss. The design and construction of theater setting has always had a double meaning between the value of civil architecture and testing of new technologies available. Rossi's experience in this area are clear examples of the inseparable relationship between the representation of architecture as art and design of architecture as a model of reality. In the Teatro Domestico, the distinction between representation and the real world is constantly canceled and returned through the reversal of the meaning and through the skip of scale. At present, studies conducted on the work of Rossi concern the report that the architectural composition is the theory of form, focusing compositional development of a manufacturing process between the typological analysis and form invention. The research, through the analysis of some projects few designs, will try to analyze this issue through the rules of composition both graphical and concrete construction, hoping to decipher the mechanism underlying the invention. The almost total lack of published material on the project Teatro Domestico and the opportunity to visit the archives that preserve the drawings, has allowed the author of this study to deepen the internal issues in the project, thus placing this search as a first step toward possible further analysis on the works of Rossi linked to performance world. The final aim is therefore to produce material that can best describe the work of Rossi. Through the reading of the material published by the same author and the vision of unpublished material preserved in the archives, it was possible to develop new material and increasing knowledge about the work, otherwise difficult to analyze. The research is divided into two groups. The first, taking into account the close relationship most frequently mentioned by Rossi himself between archeology and architectural composition, stresses the importance of tipo such as urban composition reading system as well as open tool of invention. Resuming Ezio Bonfanti’s essay on the work of the architect we wanted to investigate how the paratactic method is applied to the early work conceived and, subsequently as the process reaches a complexity accentuated, while keeping stable the basic terms. Following a brief introduction related to the concept of the section and the different interpretations that over time the term had, we tried to identify with this facility a methodology for reading Rossi’s projects. The result is a constant typological interpretation of the term, not only related to the composition in plant but also through the elevation plans. The section is therefore intended as the overturning of such elevation is marked on the same plane of the terms used, there is a different approach, but a similarity of characters. The identification of architectural phonemes allows comparison with other arts. The research goes in the direction of language trying to identify the relationship between representation and construction, between the ephemeral and the real world. In this sense it will highlight the similarities between the graphic material produced by Ross and some important examples of contemporary author. The comparison between the composition system with the surrealist world of painting and literature will facilitate the understanding and identification of possible rules applied by Rossi. The second part of the research is characterized by a focus on the intent of the project chosen. Teatro Domestico embodies a number of elements that seem to conclude (assuming an end point but also to start) a curriculum author. With it, the experiments carried out on the theater started with the project for the Teatrino Scientifico (1978) through the project for the Teatro del Mondo (1979), into a Laic Tabernacle representative collective and private memory of the city. Starting from a reading of the draft, through the collection of published material, we’ve made an analysis on the explicit themes of the work, finding the conceptual references. Following the taking view of the original materials not published kept at Aldo Rossi's Archive Collection of the Canadian Center for Architecture in Montréal, will be implemented through the existing techniques for digital representation, a virtual reconstruction of the project, adding little to the material, a new element for future studies. The reconstruction is part of a larger research studies where the current technologies of composition and representation in architecture stand side by side with research on the method of composition of this architect. The results achieved are in addition to experiences in the past dealt with the reconstruction of some of the lost works of Aldo Rossi. A partial objective is to reactivate a discourse around this work is considered non-principal, among others born in the prolific activities. Reassessment of development projects which would bring the level of ephemeral works most frequented by giving them the value earned. In conclusion, the research aims to open a new field of interest on the part not only as a technical instrument of representation of an idea but as an actual mechanism through which composition is formed and the idea is developed.

Drammatizzazioni devozionali del Venerdì santo a Milano in età post-tridentina: la processione con Misteri dei Barnabiti

La tesi si occupa della «processione con Misteri» organizzata da Carlo Bascapè, preposito generale dei Barnabiti, a Milano, la notte del venerdì santo, a partire dal 1587. Di questo importante rito processionale sono giunte fino a noi diverse testimonianze documentarie, conservate presso l’Archivio Storico dei Barnabiti a Milano, che sono state il cuore di questa ricerca. La processione è una grande meditazione pubblica dove la musica svolge un ruolo molto importante. Il percorso che ho seguito è stato teso a rendere ragione delle motivazioni drammatiche e devozionali della processione, per poi approdare al significativo ruolo che la componente musicale svolgeva nel rito stesso. Nel primo capitolo ho rievocato la figura di Carlo Bascapè (1550-1615), inserendo la sua figura all’interno delle esperienze storiche nelle quali si è formato (la Milano di san Carlo Borromeo e l’Ordine dei Chierici regolari di San Paolo). Nel secondo capitolo ho scandagliato le radici devozionali alla base della processione (i concetti di devozione e orazione) e messo a fuoco il ruolo della musica nell’esperienza religiosa dei Barnabiti e, in particolar modo, di Carlo Bascapè. Il terzo capitolo si concentra sulle principali modalità di rappresentazione e meditazione della passione di Cristo. Nel quarto capitolo ho ricostruito, attraverso una lettura dei documenti, e con approfondimenti tratti dalla letteratura devozionale tardocinquecentesca sulla passione, i vari aspetti della processione e i suoi protagonisti (religiosi, nobili della città di Milano, musicisti), e, infine, ho messo in luce gli aspetti devozionali e drammaturgici. Nel quinto capitolo ho analizzato le musiche superstiti, pervenendo alla conclusione che ogni aspetto musicale era concepito tenendo ben presenti i due aspetti su cui era imperniata la processione: la rappresentazione della passione e l’immedesimazione dei fedeli. L’ultima parte della tesi consiste, infine, nella trascrizione dei documenti archivistici, nella loro parte testuale e musicale.

Intuizione e visualizzazione in matematica con particolare riferimento a Felix Klein

Questo lavoro trae spunto da un rinnovato interesse per l’«intuizione» e il «pensiero visivo» in matematica, e intende offrire un contributo alla discussione contemporanea su tali questioni attraverso lo studio del caso storico di Felix Klein. Dopo una breve ricognizione di alcuni dei saggi più significativi al riguardo, provenienti sia dalla filosofia della matematica, sia dalla pedagogia, dalle neuroscienze e dalle scienze cognitive, l’attenzione si concentra sulla concezione epistemologia di Klein, con particolare riferimento al suo uso del concetto di ‘intuizione’. Dai suoi lavori e dalla sua riflessione critica si ricavano non solo considerazioni illuminanti sulla fecondità di un approccio «visivo», ma argomenti convincenti a sostegno del ruolo cruciale dell’intuizione in matematica.