Essays about: "surveyability"

Found 1 essay containing the word surveyability.

  1. 1. Mathematical Unconcealment and the Surveying of Proofs

    University essay from Uppsala universitet/Filosofiska institutionen

    Author : Jim Skog Pirinen; [2023]
    Keywords : philosophy of mathematics; Heidegger; Wittgenstein; surveyability; unconcealment;

    Abstract : Ever since the advent of computerized methods for solving mathematical problems, the concept of surveyability has played a central role in the debate surrounding what constitutes a mathematical proof. Ordinarily, it is by surveying the argument presented that the mathematician ascertains the truth of the conclusion, but with the advent of computer assisted technologies, there are mathematical conclusions known to be true without anyone ever having been able to survey the argument in its entirety. READ MORE