Bir programcının metin tabanlı kod yazarken karşılaştığı hataları sistematik şekilde çözme süreci, felsefede hangi yöntemle örtüşmektedir?