Constructive proof (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Constructive proof" in English language version.

refsWebsite

Global rank English rank

2^nd place

5^th place

11^th place

8^th place

179^th place

183^rd place

low place

1^st place

low place

26^th place

20^th place

3^rd place

books.google.com

A. S. Troelstra, Principles of Intuitionism, Lecture Notes in Mathematics 95, 1969, p. 102

McLarty, Colin (April 15, 2008). Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics. Doxiadēs, Apostolos K., 1953-, Mazur, Barry. Princeton: Princeton University Press. doi:10.1515/9781400842681.105. ISBN 9781400842681. OCLC 775873004. S2CID 170826113.
Hermann, Grete (1926). "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt". Mathematische Annalen (in German). 95 (1): 736–788. doi:10.1007/BF01206635. ISSN 0025-5831. S2CID 115897210.
Fellows, Michael R.; Langston, Michael A. (1988-06-01). "Nonconstructive tools for proving polynomial-time decidability" (PDF). Journal of the ACM. 35 (3): 727–739. doi:10.1145/44483.44491. S2CID 16587284.
Mandelkern, Mark (1989). "Brouwerian Counterexamples". Mathematics Magazine. 62 (1): 3–27. doi:10.2307/2689939. ISSN 0025-570X. JSTOR 2689939.

Mandelkern, Mark (1989). "Brouwerian Counterexamples". Mathematics Magazine. 62 (1): 3–27. doi:10.2307/2689939. ISSN 0025-570X. JSTOR 2689939.

Fellows, Michael R.; Langston, Michael A. (1988-06-01). "Nonconstructive tools for proving polynomial-time decidability" (PDF). Journal of the ACM. 35 (3): 727–739. doi:10.1145/44483.44491. S2CID 16587284.

McLarty, Colin (April 15, 2008). Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics. Doxiadēs, Apostolos K., 1953-, Mazur, Barry. Princeton: Princeton University Press. doi:10.1515/9781400842681.105. ISBN 9781400842681. OCLC 775873004. S2CID 170826113.
Hermann, Grete (1926). "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt". Mathematische Annalen (in German). 95 (1): 736–788. doi:10.1007/BF01206635. ISSN 0025-5831. S2CID 115897210.
Fellows, Michael R.; Langston, Michael A. (1988-06-01). "Nonconstructive tools for proving polynomial-time decidability" (PDF). Journal of the ACM. 35 (3): 727–739. doi:10.1145/44483.44491. S2CID 16587284.

Bridges, Douglas; Palmgren, Erik (2018), "Constructive Mathematics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-10-25
Mark van Atten, 2015, "Weak Counterexamples", Stanford Encyclopedia of Mathematics

J. Roger Hindley, "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, full text Archived 2014-10-23 at the Wayback Machine

J. Roger Hindley, "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, full text Archived 2014-10-23 at the Wayback Machine

McLarty, Colin (April 15, 2008). Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics. Doxiadēs, Apostolos K., 1953-, Mazur, Barry. Princeton: Princeton University Press. doi:10.1515/9781400842681.105. ISBN 9781400842681. OCLC 775873004. S2CID 170826113.
Hermann, Grete (1926). "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt". Mathematische Annalen (in German). 95 (1): 736–788. doi:10.1007/BF01206635. ISSN 0025-5831. S2CID 115897210.
Mandelkern, Mark (1989). "Brouwerian Counterexamples". Mathematics Magazine. 62 (1): 3–27. doi:10.2307/2689939. ISSN 0025-570X. JSTOR 2689939.