Cafès científics de la UB

 

Podem confiar en el raonament?

...el nostre i el dels ordinadors

Podem confiar en el nostre raonament? Molts aspectes de la vida, del coneixement i de la ciència els fem dependre de la nostra capacitat de raonar. Ara bé, ens podem refiar que les proposicions matemàtiques són vertaderes? Podem considerar que el veredicte d’un jutge és just només perquè està d’acord amb el seu raonament? Podem raonar sobre com actuaran programes d’ordinador en situacions noves? En aquesta xerrada explorarem d’una manera interactiva les diferents formes del raonament i parlarem sobre noves maneres d'aplicar-lo a la informàtica mitjançant el programari formalment verificat.

 

  • Data i hora: divendres, 27 de setembre, 17 h
  • Lloc: Jardí Ferran Soldevila, Edifici Històric de la UB
  • Moderador: Joost J. Joosten, Departament de Filosofia
  • Experts convidats: Eric Sancho Adamson i Aleix Solé Sánchez, membres de Prometheuss Grup, grup de recerca de programari formalment verificat aplicat a legislació europea
  • Organització: Prometheuss Grup, grup de recerca de programari formalment verificat aplicat a legislació europea

Contacte

  • Unitat de Cultura Científica i Innovació (UCC+i)
  • Edifici Històric
  • Gran Via, 585
  • 08007 Barcelona
  • Telèfon: 934 035 412
  • ucc@ub.edu

Organitzat per

logo ublogo divulga

excel HUBc BKC
  • Universitat de Barcelona
  • Unitat de Cultura Científica i Innovació (UCC+i)
  • ucc@ub.edu
  • 934 035 412