<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01615297</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-17T10:03:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence</title>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Mounier-Kuhn</surname>
              </persName>
              <email type="md5">81ef39a6dd5c43730b9f391bab0c6f45</email>
              <email type="domain">msh-paris.fr</email>
              <idno type="idhal" notation="numeric">1020738</idno>
              <idno type="halauthorid" notation="string">1249368-1020738</idno>
              <affiliation ref="#struct-1321"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-10-12 11:21:51</date>
              <date type="whenModified">2026-02-03 03:14:30</date>
              <date type="whenReleased">2017-10-12 11:25:42</date>
              <date type="whenProduced">2015-10-08</date>
              <date type="whenEndEmbargoed">2019-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01615297v1/document">
                <date notBefore="2019-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01615297v1/file/432590_1_En_2_Chapter.pdf" id="file-1615297-1657499">
                <date notBefore="2019-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01615297</idno>
            <idno type="halUri">https://inria.hal.science/hal-01615297</idno>
            <idno type="halBibtex">mounierkuhn:hal-01615297</idno>
            <idno type="halRefHtml">&lt;i&gt;3rd International Conference on History and Philosophy of Computing (HaPoC)&lt;/i&gt;, Oct 2015, Pisa, Italy. pp.24-41, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-47286-7_2"&gt;&amp;#x27E8;10.1007/978-3-319-47286-7_2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.24-41, &amp;#x27E8;10.1007/978-3-319-47286-7_2&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1615297-1657499"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="MNHN">Muséum National d'Histoire Naturelle</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EHESS">Ecole des Hautes Etudes en Sciences Sociales</idno>
            <idno type="stamp" n="CAK-CRHST" corresp="EHESS">Centre Alexandre Koyré - Centre de Recherche en Histoire des Sciences et des Techniques</idno>
            <idno type="stamp" n="HIPHISCITECH">Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC9" corresp="IFIP-TC">IFIP TC9: ICT and Society</idno>
            <idno type="stamp" n="IFIP-AICT-487" corresp="IFIP-AICT">History and Philosophy of Computing</idno>
            <idno type="stamp" n="IFIP-HAPOC">History and Philosophy of Computing</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 1: Invited Talks</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Mounier-Kuhn</surname>
                  </persName>
                  <email type="md5">81ef39a6dd5c43730b9f391bab0c6f45</email>
                  <email type="domain">msh-paris.fr</email>
                  <idno type="idhal" notation="numeric">1020738</idno>
                  <idno type="halauthorid" notation="string">1249368-1020738</idno>
                  <affiliation ref="#struct-1321"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>3rd International Conference on History and Philosophy of Computing (HaPoC)</title>
                  <date type="start">2015-10-08</date>
                  <date type="end">2015-10-11</date>
                  <settlement>Pisa</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">History and Philosophy of Computing</biblScope>
                  <biblScope unit="volume">AICT-487</biblScope>
                  <biblScope unit="pp">24-41</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-47286-7_2</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">France</term>
                <term xml:lang="en">Computational linguistics</term>
                <term xml:lang="en">Machine translation</term>
                <term xml:lang="en">Mathematical logic</term>
                <term xml:lang="en">Informatique</term>
                <term xml:lang="en">Computer science</term>
                <term xml:lang="en">Reception</term>
                <term xml:lang="en">Discipline building</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>How did the theory and practice of computing interact to generate a new discipline, computer science? Studying the French scene, in comparison with other countries, reveals that in most cases computing developed initially as an ancillary technique of applied mathematics, with little awareness of the path-breaking theories of computability elaborated in the 1930s. This was particularly clear in France, where mathematical logic was almost inexistent and disregarded by the Bourbaki group.It was only in the early 1960s that researchers in the emerging field of computing felt the need for theoretical models, and discovered the Turing machine and recursive functions. Simultaneously, an interest for language theories and information structures, fostered by practical projects such as machine translation, converged with issues raised by software development and the nascent theory of automata.The convergence of these diverse intellectual agenda was central in the process of construction of the new discipline.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 9</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1321" status="VALID">
          <idno type="RNSR">199812888X</idno>
          <idno type="ROR">02dqsxz11</idno>
          <orgName>Centre Alexandre Koyré - Centre de Recherche en Histoire des Sciences et des Techniques</orgName>
          <orgName type="acronym">CAK-CRHST</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Centre Alexandre-KoyréUMR 8560 EHESS/CNRS/MNHNCampus Condorcet, bâtiment EHESS2 cours des Humanités93322 Aubervilliers, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://koyre.ehess.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7512" type="direct"/>
            <relation active="#struct-99539" type="direct"/>
            <relation name="UMR8560" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7512" status="VALID">
          <idno type="IdRef">026394944</idno>
          <idno type="ROR">https://ror.org/03wkt5x30</idno>
          <orgName>Muséum national d'Histoire naturelle</orgName>
          <orgName type="acronym">MNHN</orgName>
          <desc>
            <address>
              <addrLine>57, rue Cuvier - 75231 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mnhn.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-99539" status="VALID">
          <idno type="IdRef">026374889</idno>
          <idno type="ROR">https://ror.org/02d9dg697</idno>
          <orgName>École des hautes études en sciences sociales</orgName>
          <orgName type="acronym">EHESS</orgName>
          <date type="start">1975-01-01</date>
          <desc>
            <address>
              <addrLine>54, boulevard Raspail 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ehess.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>