My suggestion is to use digital thermometer. I have used Dallas DS18B20 using OneWire library. And I can say only the best about them - very precise and stable. And dead simple to use.
ideally I would like to get 0 ADC reading when Rt = 4k and 1023 when Rt = 115k (or the other way).