I think it depends on the kind of gas stove for if it gets as hot, definitely agree to an extent, for gas stoves a lot of the heat is lost anyways due to dissipating into the air and not into the pan.
But I suspect if you’ve got one of those jet wok gas burners you’re getting pretty darn hot.