Prof. Nitin Nitsure initiated a discussion on the definitions of logical truth and mathematical truth. We can understand arithmetical truth, but by the results of Gödel and Tarski such truth cannot be internally characterized within the same mathematical system: we have to step outside into a larger mathematical system to define mathematical truth of a given mathematical system.
Date: October 13, 2018
Speaker: Prof. Nitin Nitsure (TIFR Mumbai)
Venue: Phoenix Arena