Servizio momentaneamente sospeso per manutenzione.

Rubrica

Personale Strutture

SILVIO VALENTINI

Torna alla lista

Vai all organigramma

Qualifica

Studioso senior

Struttura

Indirizzo

Non assegnato

Telefono

0498271485

E-mail

silvio.valentini@unipd.it

Silvio Valentini è nato a Padova il 6 gennaio 1953, si è laureato in Matematica con lode presso l'università di Padova il giorno 8 luglio 1977 e ha ottenuto il dottorato di ricerca in Mathematics and Informatics presso l'università di Nijmegen il giorno 22 giugno 2000.
Dopo la laurea è stato dapprima ricercatore universitario a Siena e quindi a Padova, è poi divenuto professore associato di Logica Matematica dal 25 settembre 1987 prima presso l'università statale di Milano e poi nel dipartimento di Matematica Pura e Applicata dell'università di Padova dove è attualmente professore ordinario di Logica Matematica dal 28 dicembre 2004.
Il suo lavoro scientifico mostra come egli sia stato sempre attento da un lato a quegli aspetti della logica più legati all'effettività e dall'altro alla parte più teorica dell'informatica. Questi due aspetti si sono integrati da quando ha cominciato ad occuparsi di teoria costruttiva dei tipi, sia studiandone le principali proprietà che utilizzandola per lo sviluppo costruttivo di parti rilevanti della matematica classica.
Attualmente i suoi interessi di ricerca si rivolgono principalmente alla topologia formale e alle sue applicazioni e allo studio delle teorie dei tipi.

Avvisi

Insegnamenti

    Pubblicazioni

    Alcuni titoli delle pubblicazioni più recenti o interessanti

    VALENTINI S. (2013).
    Cantor theorem and friends, in logical form.
    ANNALS OF PURE AND APPLIED LOGIC, vol. 164 (4); p. 502-508, ISSN: 0168-0072, doi: 10.1016/j.apal.2012.10.011

    VALENTINI S. (2012).
    Independence results in formal topology.
    ANNALS OF PURE AND APPLIED LOGIC, vol. 163; p. 151-156, ISSN: 0168-0072, doi: 10.1016/j.apal.2011.06.023

    VALENTINI S. (2012).
    Relative formal topology, namely, the binary positivity predicate comes first.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 22; p. 69-102, ISSN: 0960-1295, doi: 10.1017/S0960129511000466

    VALENTINI S., BONIOLO G (2012).
    OBJECTS A Study in Kantian Formal Epistemology.
    NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 53 (4); p. 457-478, ISSN: 0029-4527

    STEFANOVA M, VALENTINI S. (2011).
    Spatiality and classical logic.
    MATHEMATICAL LOGIC QUARTERLY, vol. 57; p. 432-440, ISSN: 0942-5616, doi: 10.1002/malq.201010020

    SACERDOTI COEN C, VALENTINI S. (2010).
    General Recursion and Formal Topology.
    In: EPTCS 43. Edinburgh (UK), 15 July 2010Open Publishing Association, vol. 43, p. 65-75, doi: 10.4204/EPTCS.43.5

    BONIOLO G, VALENTINI S. (2008).
    Vagueness, Kant and Topology.
    JOURNAL OF PHILOSOPHICAL LOGIC, vol. 37; p. 141-168, ISSN: 0022-3611, doi: 10.1007/s10992-007-9064-0

    VALENTINI S. (2007).
    Constructive characterizations of bar subsets.
    ANNALS OF PURE AND APPLIED LOGIC, vol. 145; p. 368-378, ISSN: 0168-0072, doi: 10.1016/j.apal.2006.10.003

    VALENTINI S. (2006).
    Every countably presented formal topology is spatial, classically.
    THE JOURNAL OF SYMBOLIC LOGIC, vol. 71; p. 491-500, ISSN: 0022-4812, doi: 10.2178/jsl/1146620155

    BERARDI S., VALENTINI S. (2004).
    Krivine's intuitionistic proof of classical completeness (for countable languages).
    ANNALS OF PURE AND APPLIED LOGIC, vol. 129; p. 93-106, ISSN: 0168-0072, doi: 10.1016/j.apal.2004.01.002

    MAIETTI M.E., VALENTINI S. (2004).
    A structural investigation on formal topology: coreflection of formal covers and exponentiability.
    THE JOURNAL OF SYMBOLIC LOGIC, vol. 69; p. 967-1005, ISSN: 0022-4812, doi: 10.2178/jsl/1102022209

    COQUAND T., SAMBIN G., SMITH J., VALENTINI S. (2003).
    Inductively generated formal topologies.
    ANNALS OF PURE AND APPLIED LOGIC, vol. 124; p. 71-106, ISSN: 0168-0072, doi: 10.1016/S0168-0072(03)00052-6

    VALENTINI S., VIALE M. (2003).
    A binary modal logic for the intersection types of lambda-calculus.
    INFORMATION AND COMPUTATION, vol. 185; p. 211-232, ISSN: 0890-5401, doi: 10.1016/S0890-5401(03)00089-0

    NEGRI S., VALENTINI S. (1997).
    Tychonoff's theorem in the framework of formal topologies.
    THE JOURNAL OF SYMBOLIC LOGIC, vol. 62; p. 1315-1332, ISSN: 0022-4812, doi: 10.2307/2275645

    1SAMBIN G., VALENTINI S., VIRGILI P. (1996).
    Constructive domain theory as a branch of intuitionistic pointfree topology.
    THEORETICAL COMPUTER SCIENCE, vol. 159; p. 319-341, ISSN: 0304-3975, doi: 10.1016/0304-3975(95)00169-7

    Area di ricerca

    Logica Matematica, Matematica Costruttiva, Teorie dei Tipi, Topologia Formale, Fondamenti della Matematica.