Lista seminari

Descrizione | Programma | Lista seminari

La dimostrazione e la conoscenza matematica

Speaker:
Mario Piazza (Università di Chieti-Pescara)
Quando:
09/07/2010 - 10:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract


John von Neumann e i dubbi su rigore matematico e rappresentazione digitale

Speaker:
Teresa Numerico (Università Roma Tre)
Quando:
09/07/2010 - 10:40
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract


Paradigmi della computazione: la costruzione delle reti di dimostrazione

Speaker:
Roberto Maieli (Università Roma Tre)
Quando:
09/07/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Risorse:   RM_talk-090710-rm3.pdf 

Contributi degli sviluppi della logica lineare alla ricerca su linguaggio e cognizione

Speaker:
Claudia Casadio (Università Chieti-Pescara)
Quando:
09/07/2010 - 12:10
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract


Prospettive della ricerca logica

Speaker:
V. Michele Abrusci (Università Roma Tre)
Quando:
09/07/2010 - 12:50
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract


Interazione e scienze biologiche

Speaker:
Giulia Frezza (Università Roma Tre e Université Paris 7)
Quando:
09/07/2010 - 14:20
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract


Interazione e conoscenza: folksonomie e ontologie

Speaker:
Marco Romano (Università Roma Tre e Université Paris 13)
Quando:
09/07/2010 - 15:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract