We Can Only Hope for It

A professor's wife dies.
Professor is grief stricken.
Professor talks to himself.
Professor interacts with another being (imagined)
Matt the main character figures out the situation
Reverse mathemnatics
Conference in Zurich
Matt solves the problem.
All ends well.