Sign In

Login

Password

Forgot Password ? Sign Up

Thèse de Church (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Thèse de Church" in French language version.

refsWebsite
Global rank French rank
1issn.org
57th place
4th place
1doi.org
2nd place
3rd place
1openedition.org
666th place
58th place
1cmu.edu
1,564th place
1,809th place
1google.fr
3,051st place
182nd place
1labri.fr
low place
low place
1sciencedirect.com
149th place
80th place
1projecteuclid.org
3,707th place
2,664th place
1theses.fr
7,747th place
455th place

cmu.edu

doi.org

dx.doi.org

  • Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3,‎ , p. 39–67 (ISSN 1281-2463, DOI 10.4000/philosophiascientiae.769, lire en ligne, consulté le )

google.fr

books.google.fr

issn.org

portal.issn.org

  • Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3,‎ , p. 39–67 (ISSN 1281-2463, DOI 10.4000/philosophiascientiae.769, lire en ligne, consulté le )

labri.fr

  • Yves Bertod et Pierre Casteran, Interactive Theorem Proving and Program development (lire en ligne), « 2.1 »

openedition.org

journals.openedition.org

  • Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3,‎ , p. 39–67 (ISSN 1281-2463, DOI 10.4000/philosophiascientiae.769, lire en ligne, consulté le )

projecteuclid.org

  • Nachum Dershowitz et Yuri Gurevich, « A natural axiomatization of computability and proof of Church's Thesis », Bull. Symbolic Logic, vol. 14, no 3,‎ , p. 299 - 350 (lire en ligne)

sciencedirect.com

  • Robin Gandy, « Church's Thesis and Principles for Mechanisms », Studies in Logic and the Foundations of Mathematics,‎ , p. 123-148 (lire en ligne)

theses.fr