893 research outputs found
Studi in ricordo di Guido Barbina, vol. I, Terre e uomini: geografie incrociate
No full textRaccolta di saggi vertenti sulle principali tematiche di studio affrontate da G. Barbin
Re: Wang et al.: Diagnosis and surgical treatment of nutcracker syndrome: a single-center experience. (Urology 2009;73:871-876)
No full textSullo Studio della poesia greca : I Greci e i Romani : Saggi storici e critici sull'antichità classica
No full textFormal Ontology and Mathematics. A Case Study on the Identity of Proofs
No full textWe propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant
La sentenza di non luogo a procedere per irrilevanza del fatto (art. 27, D.P.R. 22.9.1988, n. 448)
No full text
L'esecuzione delle misure di sicurezza nei confronti dei minorenni (artt. 40 e 41, D.P.R. 22.9.1988, n. 448)
No full text- …
