CEFISES Seminar: Peter Verdée, “On indirect verification”
CEFISES Seminar: Peter Verdée, “On indirect verification”
Note the time change: we will start at 14h30 instead of the usual 14h00. Livestream https://youtube.com/live/NBf4DgacoA8 Series: Work-in-Progress Speaker: Peter Verdée (UCLouvain) Title: "On indirect verification" Abstract: In this explorative talk, I will discuss a remarkable non-Boolean phenomenon that very diverse aspects of human belief systems have in common: the fact that the truth… Continue reading CEFISES Seminar: Peter Verdée, “On indirect verification”