Appel, K.; Haken, W. (1977). "The Solution of the Four-Color Map Problem". Sci. Am. 237 (4): 108–121. Bibcode:1977SciAm.237d.108A. doi:10.1038/scientificamerican1077-108. JSTOR24953967. See p. 108: "The computations of the proof make it longer than has traditionally been considered acceptable. In fact, the correctness of the proof cannot be checked without the aid of a computer."
McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
However, both theorems and scientific law are the result of investigations. See Heath 1897, p.clxxxii, Introduction, The terminology of Archimedes: "theorem (θεὼρνμα) from θεωρεἳν to investigate" Heath, Sir Thomas Little (1897). The works of Archimedes. Dover. Retrieved 2009-11-15.
McLarty, Colin (2010). "What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory". The Review of Symbolic Logic. 13 (3). Cambridge University Press: 359–377. doi:10.2178/bsl/1286284558. S2CID13475845.
McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
Appel, K.; Haken, W. (1977). "The Solution of the Four-Color Map Problem". Sci. Am. 237 (4): 108–121. Bibcode:1977SciAm.237d.108A. doi:10.1038/scientificamerican1077-108. JSTOR24953967. See p. 108: "The computations of the proof make it longer than has traditionally been considered acceptable. In fact, the correctness of the proof cannot be checked without the aid of a computer."
Appel, K.; Haken, W. (1977). "The Solution of the Four-Color Map Problem". Sci. Am. 237 (4): 108–121. Bibcode:1977SciAm.237d.108A. doi:10.1038/scientificamerican1077-108. JSTOR24953967. See p. 108: "The computations of the proof make it longer than has traditionally been considered acceptable. In fact, the correctness of the proof cannot be checked without the aid of a computer."
Darmon, Henri; Diamond, Fred; Taylor, Richard (2007-09-09). "Fermat's Last Theorem"(PDF). McGill University – Department of Mathematics and Statistics. Retrieved 2019-11-01.
McLarty, Colin (2010). "What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory". The Review of Symbolic Logic. 13 (3). Cambridge University Press: 359–377. doi:10.2178/bsl/1286284558. S2CID13475845.
McLarty, Colin (2020). "The large structures of Grothendieck founded on finite order arithmetic". Bulletin of Symbolic Logic. 16 (2). Cambridge University Press: 296–325. arXiv:1102.1773. doi:10.1017/S1755020319000340. S2CID118395028.
Markie, Peter (2017), "Rationalism vs. Empiricism", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Fall 2017ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-11-02
