<ill-get-doc>
  <record xmlns="http://www.loc.gov/MARC21/slim/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
    <leader>00180nz^^a2200061o^^4500</leader>
    <controlfield tag="001">LNC10-000010061</controlfield>
    <controlfield tag="005">20080207090944.0</controlfield>
    <controlfield tag="008">030604nn|adnnnaabn||||||||||^a|aaa||||^^</controlfield>
    <datafield tag="024" ind1="7" ind2=" ">
      <subfield code="a">0000000109352588</subfield>
      <subfield code="2">isni</subfield>
    </datafield>
    <datafield tag="035" ind1=" " ind2=" ">
      <subfield code="a">(VIAF)111016029</subfield>
    </datafield>
    <datafield tag="040" ind1=" " ind2=" ">
      <subfield code="a">NLL</subfield>
    </datafield>
    <datafield tag="100" ind1="1" ind2=" ">
      <subfield code="a">Rosser, J. Barkley</subfield>
      <subfield code="q">(John Barkley),</subfield>
      <subfield code="d">1907-</subfield>
    </datafield>
    <datafield tag="670" ind1=" " ind2=" ">
      <subfield code="a">Logic for mathematicians, 1953:</subfield>
      <subfield code="b">(J. Barkley Rosser)</subfield>
    </datafield>
    <datafield tag="670" ind1=" " ind2=" ">
      <subfield code="a">Kongresa bibliotēkas autorit. ierakstu datne</subfield>
    </datafield>
    <datafield tag="856" ind1="4" ind2="0">
      <subfield code="u">http://viaf.org/viaf/111016029</subfield>
      <subfield code="y">VIAF ID</subfield>
    </datafield>
    <datafield tag="915" ind1="0" ind2="3">
      <subfield code="a">20080207.03INGUNAM</subfield>
    </datafield>
  </record>
  <session-id>NUYGYU2APQF8CUTXX25C2F9V53BRNHN2DQC2H6Q35GPRCXKEV1</session-id>
</ill-get-doc>        

J._Barkley_Rosser

Iet uz wiki rakstu

• John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem in lambda calculus. He also developed what is now called the "Rosser sieve" in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times.[1] He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks.
• In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency. Rather than using the liar paradox sentence equivalent to "I am not provable," he used a sentence that stated "For every proof of me, there is a shorter proof of my negation".
• The Kleene–Rosser paradox showed that the original lambda calculus was inconsistent.
• Rosser died of an aneurysm September 5, 1989, at his home in Madison, Wisconsin.[2][1]
• Rosser's son, John Barkley Rosser Jr., was a mathematical economist and professor at James Madison University in Harrisonburg, Virginia.