Concepedia

Nonconstructive Proofs

Nonconstructive Proof is a type of mathematical proof that establishes the existence of a mathematical object without providing a method for constructing or explicitly identifying the object.

31

Publications

1.2K

Citations

52

Authors

39

Institutions

Publications per year

2017–2026

3

Variants

Non-constructive Proofs

Parents

Publications

31

A Nonsubstitution Theorem and Switching of Techniques

David Levhari · The Quarterly Journal of Economics · 1965 · 163 citations

, , +4

Completely non-clausal theorem proving

Neil V. Murray · Artificial Intelligence · 1982 · 138 citations

, , +4

Shadows and intersections: Stability and new proofs

Peter Keevash · Advances in Mathematics · 2008 · 73 citations · Full text

, , +7

A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

W. W. Tait · Bulletin of the American Mathematical Society · 1966 · 65 citations · Full text

, , +9

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

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

, , +6

1–5 of 31

Authors

52

  1. PJ
    Philip J. Davis

    Brown University, United States

    2 publications · 76 citations

    2

    h-index

  2. MH
    Minoru Hasegawa

    Waseda University, Japan

    1 publications · 17 citations

    1

    h-index

  3. KC
    Katharine C. Walker

    Yale University, United States

    1 publications · 43 citations

    1

    h-index

  4. SR
    Slim Rekhis

    University of Carthage, Tunisia

    1 publications · 18 citations

    1

    h-index

  5. WW
    W. W. Tait

    Stanford University, United States

    1 publications · 65 citations

    1

    h-index

1–5 of 52

Institutions

39

  1. Brown University

    Providence, United States

    2 h-index

    2 publications

    76 citations

  2. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    3 publications

    88 citations

  3. Queen Mary University of London

    London, United Kingdom

    1 h-index

    1 publications

    73 citations

  4. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    1 h-index

    1 publications

    21 citations

  5. The University of Melbourne

    Melbourne, Australia

    1 h-index

    1 publications

    15 citations

  6. IBM Research - Almaden

    San Jose, United States

    1 h-index

    1 publications

    46 citations

  7. Trinity University

    San Antonio, United States

    1 h-index

    1 publications

    45 citations

  8. Yale University

    New Haven, United States

    1 h-index

    2 publications

    86 citations

1–8 of 39

Venues

  1. Journal of Symbolic Logic

    3 publications · 96 citations

    3

    h-index

  2. Mathematics of Computation

    MCOM · 2 publications · 76 citations

    2

    h-index

  3. SIAM Journal on Computing

    2 publications · 75 citations

    2

    h-index

  4. Studia Logica

    2 publications · 60 citations

    2

    h-index

  5. 1

    h-index

1–5