When ordering a hall sensor, look for a linear type.
Then you can detect the amplitude of the AC.
You could even make a scale on a LM3914, the more AC the more leds will turn on.
yes, thank you wayneh.
I thougth about ultrasonic sensor, but in my opinion they have some drawbacks..
They are expensive, and since the disk is not flat, it's difficult to handle the detection with the software...
I thougth also about an inductive proximity detector.. The problem with that is the sensing distance. Over 10 cm they become very expensive, and if I stay under 10 cm I risk to destroy the sensor if the disk oscillates too much..