I'll summarize here: If we succeed at obsoleting thinking, we loose the game, we stop playing, according to Peter Gray's definition.

So you - and the mourning mathematicians - are all correct: we loose the most important part of life, according to Gray's view (above).