I agree with you, there's going to be more shades of grey using intuitionistic logic. I guess I was taking the point of view of the Jesuits! So actually I unde

I agree with you, there's going to be more shades of grey using intuitionistic logic. I guess I was taking the point of view of the Jesuits! So actually I understand about Dual numbers, but from what I see this is not the same thing as smooth infinitesimal analysis (there's no playing around with the logic.) I feel like if we scratch this a bit more we are going to understand what Grothendieck was on about with topos theory [1]. [1] http://www.oliviacaramello.com/Unification/Unification.htm http://www.oliviacaramello.com/Unification/Unification.htm