Concepedia

Proof Interpretation

Proof Interpretation is a scholarly framework within the domain of proof communication that systematically elucidates the cognitive and semiotic processes involved in comprehending and assigning meaning to mathematical proofs, distinguishing it from related frameworks by its explicit focus on the reader’s interpretive strategies and the textual features that guide such understanding.

35

Publications

1.3K

Citations

44

Authors

33

Institutions

Publications per year

2017–2026

8

Parents

Publications

35

Expert and Novice Approaches to Reading Mathematical Proofs

Matthew Inglis, Lara Alcock · Journal for Research in Mathematics Education · 2012 · 211 citations · Full text

, , +16

On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications

G. Kreisel · Project Euclid (Cornell University) · 1952 · 133 citations

, , +6

A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

Yehuda Rav · Philosophia Mathematica · 2007 · 84 citations

, , +14

On the Interpretation of Non-Finitist Proofs--Part I

G. Kreisel · Journal of Symbolic Logic · 1951 · 64 citations

, , +6

Why and how mathematicians read proofs: further evidence from a survey study

Juan Pablo Mejía-Ramos, Keith Weber · Educational Studies in Mathematics · 2013 · 62 citations

, , +12

1–5 of 35

Authors

44

  1. KW
    Keith Weber

    Rutgers, The State University of New Jersey, United States

    5 publications · 200 citations

    5

    h-index

  2. JP
    Juan Pablo Mejía-Ramos

    Rutgers, The State University of New Jersey, United States

    4 publications · 133 citations

    4

    h-index

  3. MI
    Matthew Inglis

    Loughborough University, United Kingdom

    2 publications · 223 citations

    2

    h-index

  4. GK
    G. Kreisel

    Stanford University, United States

    2 publications · 197 citations

    2

    h-index

  5. DZ
    Dov Zazkis

    Arizona State University, United States

    2 publications · 46 citations

    2

    h-index

1–5 of 44

Institutions

33

  1. Rutgers, The State University of New Jersey

    New Brunswick, United States

    5 h-index

    8 publications

    275 citations

  2. Texas State University

    San Marcos, United States

    3 h-index

    3 publications

    60 citations

  3. Loughborough University

    Loughborough, United Kingdom

    2 h-index

    4 publications

    446 citations

  4. Arizona State University

    Tempe, United States

    2 h-index

    2 publications

    46 citations

  5. Vrije Universiteit Brussel

    Brussels, Belgium

    1 h-index

    1 publications

    12 citations

  6. University of Auckland

    Auckland, New Zealand

    1 h-index

    1 publications

    12 citations

  7. Danish National Research Foundation

    Copenhagen, Denmark

    1 h-index

    1 publications

    45 citations

  8. Carnegie Mellon University

    Pittsburgh, United States

    1 h-index

    2 publications

    52 citations

1–8 of 33

Venues

  1. Journal of Symbolic Logic

    2 publications · 109 citations

    2

    h-index

  2. ZDM

    2 publications · 92 citations

    2

    h-index

  3. Journal for Research in Mathematics Education

    JRME · 2 publications · 224 citations

    2

    h-index

  4. Educational Studies in Mathematics

    2 publications · 95 citations

    2

    h-index

  5. American Educational Research Journal

    AERJ · 1 publications · 26 citations

    1

    h-index

1–5