プログラム技術を用いて、全世界の真理を追究することは可能ですか?