BourbakiV1, Hal, Corpus, bibRecord, 000021

Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Identifieur interne : 000021 ( Hal/Corpus ); précédent : 000020; suivant : 000022

Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Auteurs : Pierre Mounier-Kuhn

Source :

RBID : Hal:hal-01615297

English descriptors

mix :
- Computational linguistics, Computer science, Discipline building, France, Informatique, Machine translation, Mathematical logic, Reception.

Abstract

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.

Url:

https://hal.inria.fr/hal-01615297

DOI: 10.1007/978-3-319-47286-7_2

Links to Exploration step

Hal:hal-01615297

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence</title>
<author><name sortKey="Mounier Kuhn, Pierre" sort="Mounier Kuhn, Pierre" uniqKey="Mounier Kuhn P" first="Pierre" last="Mounier-Kuhn">Pierre Mounier-Kuhn</name>
<affiliation><hal:affiliation type="laboratory" xml:id="struct-1321" status="VALID">          <orgName>Centre Alexandre Koyré - Centre de Recherche en Histoire des Sciences et des Techniques</orgName>
          <orgName type="acronym">CAK-CRHST</orgName>
          <desc>            <address>              <addrLine>27 rue Damesme 75013 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.koyre.cnrs.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-99539" type="direct"></relation>
            <relation active="#struct-300020" type="direct"></relation>
            <relation name="UMR8560" active="#struct-441569" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-99539" type="direct"><org type="institution" xml:id="struct-99539" status="VALID">          <orgName>École des hautes études en sciences sociales</orgName>
          <orgName type="acronym">EHESS</orgName>
          <desc>            <address>              <addrLine>54, boulevard Raspail 75006 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ehess.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300020" type="direct"><org type="institution" xml:id="struct-300020" status="VALID">          <orgName>Cité des Sciences et de l'Industrie</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR8560" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</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"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01615297</idno>
<idno type="halId">hal-01615297</idno>
<idno type="halUri">https://hal.inria.fr/hal-01615297</idno>
<idno type="url">https://hal.inria.fr/hal-01615297</idno>
<idno type="doi">10.1007/978-3-319-47286-7_2</idno>
<date when="2015-10-08">2015-10-08</date>
<idno type="wicri:Area/Hal/Corpus">000021</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence</title>
<author><name sortKey="Mounier Kuhn, Pierre" sort="Mounier Kuhn, Pierre" uniqKey="Mounier Kuhn P" first="Pierre" last="Mounier-Kuhn">Pierre Mounier-Kuhn</name>
<affiliation><hal:affiliation type="laboratory" xml:id="struct-1321" status="VALID">          <orgName>Centre Alexandre Koyré - Centre de Recherche en Histoire des Sciences et des Techniques</orgName>
          <orgName type="acronym">CAK-CRHST</orgName>
          <desc>            <address>              <addrLine>27 rue Damesme 75013 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.koyre.cnrs.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-99539" type="direct"></relation>
            <relation active="#struct-300020" type="direct"></relation>
            <relation name="UMR8560" active="#struct-441569" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-99539" type="direct"><org type="institution" xml:id="struct-99539" status="VALID">          <orgName>École des hautes études en sciences sociales</orgName>
          <orgName type="acronym">EHESS</orgName>
          <desc>            <address>              <addrLine>54, boulevard Raspail 75006 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ehess.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300020" type="direct"><org type="institution" xml:id="struct-300020" status="VALID">          <orgName>Cité des Sciences et de l'Industrie</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR8560" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</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"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.1007/978-3-319-47286-7_2</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Computational linguistics</term>
<term>Computer science</term>
<term>Discipline building</term>
<term>France</term>
<term>Informatique</term>
<term>Machine translation</term>
<term>Mathematical logic</term>
<term>Reception</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">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.</div>
</front>
</TEI>
<hal api="V3">          <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="halauthorid">1651838</idno>
              <affiliation ref="#struct-1321"></affiliation>
            </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">2018-01-11 06:19:18</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://hal.inria.fr/hal-01615297/document">                <date notBefore="2019-01-01"></date>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.inria.fr/hal-01615297/file/432590_1_En_2_Chapter.pdf">                <date notBefore="2019-01-01"></date>
              </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://hal.inria.fr/hal-01615297</idno>
            <idno type="halBibtex">mounierkuhn:hal-01615297</idno>
            <idno type="halRefHtml">3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.24-41, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_2〉</idno>
            <idno type="halRef">3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.24-41, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_2〉</idno>
            <availability status="restricted">              <licence target="http://creativecommons.org/licenses/by/">Attribution</licence>
            </availability>
          </publicationStmt>
          <seriesStmt>            <idno type="stamp" n="IFIP-AICT-487" p="IFIP-AICT">IFIP-AICT-487</idno>
            <idno type="stamp" n="IFIP-TC" p="IFIP">IFIP-TC</idno>
            <idno type="stamp" n="IFIP">IFIP</idno>
            <idno type="stamp" n="IFIP-AICT" p="IFIP">IFIP-AICT</idno>
            <idno type="stamp" n="IFIP-TC9" p="IFIP-TC">IFIP-TC9</idno>
            <idno type="stamp" n="IFIP-HAPOC">IFIP-HAPOC</idno>
            <idno type="stamp" n="CNRS">CNRS</idno>
            <idno type="stamp" n="EHESS">EHESS</idno>
            <idno type="stamp" n="CSI">CSI</idno>
            <idno type="stamp" n="CAK-CRHST">CAK-CRHST</idno>
            <idno type="stamp" n="HIPHISCITECH">HIPHISCITECH</idno>
            <idno type="stamp" n="PSL">PSL</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="halauthorid">1651838</idno>
                  <affiliation ref="#struct-1321"></affiliation>
                </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">Discipline building</term>
                <term xml:lang="en">Reception</term>
                <term xml:lang="en">Computer science</term>
                <term xml:lang="en">Informatique</term>
                <term xml:lang="en">Mathematical logic</term>
                <term xml:lang="en">Machine translation</term>
                <term xml:lang="en">Computational linguistics</term>
                <term xml:lang="en">France</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">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.</abstract>
            <particDesc>              <org type="consortium">TC 9</org>
            </particDesc>
          </profileDesc>
        </hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Hal/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000021 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 000021 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    Hal
   |étape=   Corpus
   |type=    RBID
   |clé=     Hal:hal-01615297
   |texte=   Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence
}}

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022

	Serveur d'exploration Bourbaki
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration Bourbaki

Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

Source :

English descriptors

Abstract

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri