<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">397497687</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180308164525.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">161202e199501  xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1093/philmat/3.1.103</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)oxford-10.1093/philmat/3.1.103</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
   <subfield code="a">DETLEFSEN</subfield>
   <subfield code="D">MICHAEL</subfield>
   <subfield code="u">Department of Philosophy, University of Notre Dame Notre Dame, IN 46556, U. S. A. email: detlefsen.l@nd.edu</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
   <subfield code="a">Wright on the Non-mechanizability of Intuitionist Reasoning</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[MICHAEL DETLEFSEN]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">In his paper ‘Intuitionists are not (Turing) Machines', Crispin Wright joins the ranks of those who have sought to refute mechanist theories of mind by invoking Gödel's Incompleteness Theorems. His predecessors include Gödel himself, J. R. Lucas and, most recently, Roger Penrose. The aim of this essay is to show that, like his predecessors, Wright, too, fails to make his case, and that, indeed, he fails to do so even when judged by standards of success which he himself lays down.</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">© Oxford University Press</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Articles</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Philosophia Mathematica</subfield>
   <subfield code="d">Oxford University Press</subfield>
   <subfield code="g">3/1(1995-01), 103-119</subfield>
   <subfield code="x">0031-8019</subfield>
   <subfield code="q">3:1&lt;103</subfield>
   <subfield code="1">1995</subfield>
   <subfield code="2">3</subfield>
   <subfield code="o">philmat</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1093/philmat/3.1.103</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
   <subfield code="D">1</subfield>
   <subfield code="a">research-article</subfield>
   <subfield code="2">jats</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">856</subfield>
   <subfield code="E">40</subfield>
   <subfield code="u">https://doi.org/10.1093/philmat/3.1.103</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">100</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">DETLEFSEN</subfield>
   <subfield code="D">MICHAEL</subfield>
   <subfield code="u">Department of Philosophy, University of Notre Dame Notre Dame, IN 46556, U. S. A. email: detlefsen.l@nd.edu</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">773</subfield>
   <subfield code="E">0-</subfield>
   <subfield code="t">Philosophia Mathematica</subfield>
   <subfield code="d">Oxford University Press</subfield>
   <subfield code="g">3/1(1995-01), 103-119</subfield>
   <subfield code="x">0031-8019</subfield>
   <subfield code="q">3:1&lt;103</subfield>
   <subfield code="1">1995</subfield>
   <subfield code="2">3</subfield>
   <subfield code="o">philmat</subfield>
  </datafield>
  <datafield tag="900" ind1=" " ind2="7">
   <subfield code="a">Metadata rights reserved</subfield>
   <subfield code="b">CC BY-NC-4.0</subfield>
   <subfield code="u">http://creativecommons.org/licenses/by-nc/4.0</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK010053</subfield>
   <subfield code="b">XK010053</subfield>
   <subfield code="c">XK010000</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="F">NATIONALLICENCE</subfield>
   <subfield code="b">NL-oxford</subfield>
  </datafield>
 </record>
</collection>
