In the present work I attempt to describe Evandro Agazzi's research on philosophy of logic and mathematics. In particular, after a general introduction to his works, I focus my analysis on the philosophical implications of Gödel's Incompleteness Theorems. This is because they have always remained a constant point of interest in Agazzi's research. In particular, I wish to offer a tribute to Agazzi's mastership by analysing Gödel's thought on the consequences of his Incompleteness Theorems for the philosophy of mind. That is part of the research developed by Fano and I ( Epistemologia 36(2):207–232, 2013) after Agazzi's conference in Cesena (2006) and it is for me a way to honour Evandro Agazzi's constant stimulus to the researches in philosophy of logic and mathematics.