A Portrait of a Scientist: Logic, AI and Politics
Identifieur interne : 001558 ( Istex/Corpus ); précédent : 001557; suivant : 001559A Portrait of a Scientist: Logic, AI and Politics
Auteurs : Dieter Hutter ; Werner StephanSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2005.
English descriptors
- Teeft :
- Akademische burse, Braunschweig kolleg, Certain amount, Computational logic, Computer science, Computer science department, Dana scott, Description logics, Dfki, Dieter, Dieter hutter, English language, Essex university, Evening classes, Fteen years, Funding, German computer science society, German government, German universities, Hans uszkoreit, Heinrich heine, Hutter, Industrial contract, Kaiserslautern, Karlsruhe, Logic engine, Many years, Mathematical knowledge, Mkrp, Nally, Natural language, Proof planning, Research budgets, Research department, Research topics, Search space, Stephan, Theorem provers, University life, Wednesday evening, Werner stephan, Wolfgang wahlster, Yorick wilks.
Abstract
Abstract: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop. But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete. But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”
Url:
DOI: 10.1007/978-3-540-32254-2_1
Links to Exploration step
ISTEX:D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FBLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Portrait of a Scientist: Logic, AI and Politics</title><author><name sortKey="Hutter, Dieter" sort="Hutter, Dieter" uniqKey="Hutter D" first="Dieter" last="Hutter">Dieter Hutter</name><affiliation><mods:affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</mods:affiliation></affiliation></author><author><name sortKey="Stephan, Werner" sort="Stephan, Werner" uniqKey="Stephan W" first="Werner" last="Stephan">Werner Stephan</name><affiliation><mods:affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB</idno><date when="2005" year="2005">2005</date><idno type="doi">10.1007/978-3-540-32254-2_1</idno><idno type="url">https://api.istex.fr/document/D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001558</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001558</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Portrait of a Scientist: Logic, AI and Politics</title><author><name sortKey="Hutter, Dieter" sort="Hutter, Dieter" uniqKey="Hutter D" first="Dieter" last="Hutter">Dieter Hutter</name><affiliation><mods:affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</mods:affiliation></affiliation></author><author><name sortKey="Stephan, Werner" sort="Stephan, Werner" uniqKey="Stephan W" first="Werner" last="Stephan">Werner Stephan</name><affiliation><mods:affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2005</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Akademische burse</term><term>Braunschweig kolleg</term><term>Certain amount</term><term>Computational logic</term><term>Computer science</term><term>Computer science department</term><term>Dana scott</term><term>Description logics</term><term>Dfki</term><term>Dieter</term><term>Dieter hutter</term><term>English language</term><term>Essex university</term><term>Evening classes</term><term>Fteen years</term><term>Funding</term><term>German computer science society</term><term>German government</term><term>German universities</term><term>Hans uszkoreit</term><term>Heinrich heine</term><term>Hutter</term><term>Industrial contract</term><term>Kaiserslautern</term><term>Karlsruhe</term><term>Logic engine</term><term>Many years</term><term>Mathematical knowledge</term><term>Mkrp</term><term>Nally</term><term>Natural language</term><term>Proof planning</term><term>Research budgets</term><term>Research department</term><term>Research topics</term><term>Search space</term><term>Stephan</term><term>Theorem provers</term><term>University life</term><term>Wednesday evening</term><term>Werner stephan</term><term>Wolfgang wahlster</term><term>Yorick wilks</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop. But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete. But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”</div></front></TEI><istex><corpusName>springer</corpusName><keywords><teeft><json:string>nally</json:string><json:string>mkrp</json:string><json:string>kaiserslautern</json:string><json:string>dfki</json:string><json:string>karlsruhe</json:string><json:string>stephan</json:string><json:string>hutter</json:string><json:string>dieter</json:string><json:string>computer science</json:string><json:string>dieter hutter</json:string><json:string>werner stephan</json:string><json:string>computational logic</json:string><json:string>funding</json:string><json:string>wolfgang wahlster</json:string><json:string>many years</json:string><json:string>fteen years</json:string><json:string>english language</json:string><json:string>german computer science society</json:string><json:string>computer science department</json:string><json:string>braunschweig kolleg</json:string><json:string>akademische burse</json:string><json:string>evening classes</json:string><json:string>wednesday evening</json:string><json:string>dana scott</json:string><json:string>search space</json:string><json:string>german government</json:string><json:string>university life</json:string><json:string>essex university</json:string><json:string>heinrich heine</json:string><json:string>theorem provers</json:string><json:string>research topics</json:string><json:string>yorick wilks</json:string><json:string>certain amount</json:string><json:string>german universities</json:string><json:string>research department</json:string><json:string>hans uszkoreit</json:string><json:string>description logics</json:string><json:string>research budgets</json:string><json:string>industrial contract</json:string><json:string>logic engine</json:string><json:string>mathematical knowledge</json:string><json:string>proof planning</json:string><json:string>natural language</json:string></teeft></keywords><author><json:item><name>Dieter Hutter</name><affiliations><json:string>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</json:string></affiliations></json:item><json:item><name>Werner Stephan</name><affiliations><json:string>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><abstract>Abstract: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop. But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete. But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”</abstract><qualityIndicators><score>8</score><pdfWordCount>6141</pdfWordCount><pdfCharCount>34296</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>13</pdfPageCount><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><abstractWordCount>250</abstractWordCount><abstractCharCount>1529</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>A Portrait of a Scientist: Logic, AI and Politics</title><chapterId><json:string>1</json:string><json:string>Chap1</json:string></chapterId><genre><json:string>research-article</json:string></genre><serie><title>Lecture Notes in Computer Science</title><language><json:string>unknown</json:string></language><copyrightDate>2005</copyrightDate><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><editor><json:item><name>Gerhard Goos</name><affiliations><json:string>Karlsruhe University, Germany</json:string></affiliations></json:item><json:item><name>Juris Hartmanis</name><affiliations><json:string>Cornell University, NY, USA</json:string></affiliations></json:item><json:item><name>Jan van Leeuwen</name><affiliations><json:string>Utrecht University, The Netherlands</json:string></affiliations></json:item></editor></serie><host><title>Mechanizing Mathematical Reasoning</title><language><json:string>unknown</json:string></language><copyrightDate>2005</copyrightDate><doi><json:string>10.1007/b106663</json:string></doi><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><eisbn><json:string>978-3-540-32254-2</json:string></eisbn><bookId><json:string>978-3-540-32254-2</json:string></bookId><isbn><json:string>978-3-540-25051-7</json:string></isbn><volume>2605</volume><pages><first>1</first><last>13</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Dieter Hutter</name><affiliations><json:string>DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany</json:string><json:string>E-mail: hutter@dfki.de</json:string></affiliations></json:item><json:item><name>Werner Stephan</name><affiliations><json:string>German Research Center for Artificial Intelligence, DFKI GmbH,</json:string><json:string>E-mail: stephan@dfki.de</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item><json:item><value>Mathematical Logic and Formal Languages</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Mathematical Logic and Foundations</value></json:item></subject></host><categories><inist><json:string>sciences humaines et sociales</json:string><json:string>histoire des sciences et des techniques</json:string></inist></categories><publicationDate>2005</publicationDate><copyrightDate>2005</copyrightDate><doi><json:string>10.1007/978-3-540-32254-2_1</json:string></doi><id>D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/document/D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB/fulltext/pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/document/D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">A Portrait of a Scientist: Logic, AI and Politics</title></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>Springer-Verlag Berlin Heidelberg, 2005</p></availability><date>2005</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">A Portrait of a Scientist: Logic, AI and Politics</title><author xml:id="author-0000"><persName><forename type="first">Dieter</forename><surname>Hutter</surname></persName><affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</affiliation></author><author xml:id="author-0001"><persName><forename type="first">Werner</forename><surname>Stephan</surname></persName><affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</affiliation></author><idno type="istex">D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB</idno><idno type="DOI">10.1007/978-3-540-32254-2_1</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></analytic><monogr><title level="m">Mechanizing Mathematical Reasoning</title><title level="m" type="sub">Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday</title><idno type="DOI">10.1007/b106663</idno><idno type="pISBN">978-3-540-25051-7</idno><idno type="eISBN">978-3-540-32254-2</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="book-title-ID">116940</idno><idno type="book-ID">978-3-540-32254-2</idno><idno type="book-chapter-count">31</idno><idno type="book-volume-number">2605</idno><idno type="book-sequence-number">2605</idno><idno type="PartChapterCount">1</idno><editor xml:id="book-author-0000"><persName><forename type="first">Dieter</forename><surname>Hutter</surname></persName><email>hutter@dfki.de</email><affiliation>DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany</affiliation></editor><editor xml:id="book-author-0001"><persName><forename type="first">Werner</forename><surname>Stephan</surname></persName><email>stephan@dfki.de</email><affiliation>German Research Center for Artificial Intelligence, DFKI GmbH</affiliation></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2005"></date><biblScope unit="volume">2605</biblScope><biblScope unit="page" from="1">1</biblScope><biblScope unit="page" to="13">13</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor xml:id="serie-author-0000"><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation>Karlsruhe University, Germany</affiliation></editor><editor xml:id="serie-author-0001"><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation>Cornell University, NY, USA</affiliation></editor><editor xml:id="serie-author-0002"><persName><forename type="first">Jan</forename><surname>van Leeuwen</surname></persName><affiliation>Utrecht University, The Netherlands</affiliation></editor><biblScope><date>2005</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="series-Id">558</idno></series><series><title level="s">Lecture Notes in Artificial Intelligence</title><editor xml:id="serie-author-0000"><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation>Karlsruhe University, Germany</affiliation></editor><editor xml:id="serie-author-0001"><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation>Cornell University, NY, USA</affiliation></editor><editor xml:id="serie-author-0002"><persName><forename type="first">Jan</forename><surname>van Leeuwen</surname></persName><affiliation>Utrecht University, The Netherlands</affiliation></editor><editor xml:id="serie-author-0003"><persName><forename type="first">Jaime</forename><forename type="first">G.</forename><surname>Carbonell</surname></persName><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation></editor><editor xml:id="serie-author-0004"><persName><forename type="first">Jörg</forename><surname>Siekmann</surname></persName><affiliation>University of Saarland, Saarbrücken, Germany</affiliation></editor><editor xml:id="serie-author-0005"><persName><forename type="first">Dieter</forename><surname>Hutter</surname></persName><email>hutter@dfki.de</email><affiliation>DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany</affiliation></editor><editor xml:id="serie-author-0006"><persName><forename type="first">Werner</forename><surname>Stephan</surname></persName><email>stephan@dfki.de</email><affiliation>German Research Center for Artificial Intelligence, DFKI GmbH</affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><biblScope unit="seriesId">1244</biblScope></series></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2005</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop. But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete. But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”</p></abstract><textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book-Subject-Group"><list><label>I</label><item><term>Computer Science</term></item><label>I21017</label><item><term>Artificial Intelligence (incl. Robotics)</term></item><label>I16048</label><item><term>Mathematical Logic and Formal Languages</term></item><label>I14029</label><item><term>Software Engineering</term></item><label>M24005</label><item><term>Mathematical Logic and Foundations</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2005">Published</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/document/D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo TocLevels="0" SeriesType="Series"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName><Particle>van</Particle><FamilyName>Leeuwen</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Cornell University</OrgName><OrgAddress><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName><OrgAddress><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><SubSeries><SubSeriesInfo><SubSeriesID>1244</SubSeriesID><SubSeriesPrintISSN>0302-9743</SubSeriesPrintISSN><SubSeriesElectronicISSN>1611-3349</SubSeriesElectronicISSN><SubSeriesTitle Language="En">Lecture Notes in Artificial Intelligence</SubSeriesTitle></SubSeriesInfo><SubSeriesHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jaime</GivenName><GivenName>G.</GivenName><FamilyName>Carbonell</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Jörg</GivenName><FamilyName>Siekmann</FamilyName></EditorName></Editor><Affiliation ID="Aff4"><OrgName>Carnegie Mellon University</OrgName><OrgAddress><City>Pittsburgh</City><State>PA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>University of Saarland</OrgName><OrgAddress><City>Saarbrücken</City><Country>Germany</Country></OrgAddress></Affiliation></EditorGroup></SubSeriesHeader></SubSeries><Book Language="En"><BookInfo Language="En" NumberingStyle="ContentOnly" NumberingDepth="2" OutputMedium="All" TocLevels="0" ContainsESM="No" BookProductType="Commemorative publication" MediaType="eBook"><BookID>978-3-540-32254-2</BookID><BookTitle>Mechanizing Mathematical Reasoning</BookTitle><BookSubTitle>Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday</BookSubTitle><BookVolumeNumber>2605</BookVolumeNumber><BookSequenceNumber>2605</BookSequenceNumber><BookDOI>10.1007/b106663</BookDOI><BookTitleID>116940</BookTitleID><BookPrintISBN>978-3-540-25051-7</BookPrintISBN><BookElectronicISBN>978-3-540-32254-2</BookElectronicISBN><BookChapterCount>31</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2005</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Type="Primary" Code="I">Computer Science</BookSubject><BookSubject Type="Secondary" Priority="1" Code="I21017">Artificial Intelligence (incl. Robotics)</BookSubject><BookSubject Type="Secondary" Priority="2" Code="I16048">Mathematical Logic and Formal Languages</BookSubject><BookSubject Type="Secondary" Priority="3" Code="I14029">Software Engineering</BookSubject><BookSubject Type="Secondary" Priority="4" Code="M24005">Mathematical Logic and Foundations</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID><SubSeriesID>1244</SubSeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>Dieter</GivenName><FamilyName>Hutter</FamilyName></EditorName><Contact><Email>hutter@dfki.de</Email></Contact></Editor><Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Werner</GivenName><FamilyName>Stephan</FamilyName></EditorName><Contact><Email>stephan@dfki.de</Email></Contact></Editor><Affiliation ID="Aff6"><OrgName>DFKI</OrgName><OrgAddress><Street>Stuhlsatzenhausweg 3</Street><Postcode>D-66123</Postcode><City>Saarbrücken</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgName>German Research Center for Artificial Intelligence, DFKI GmbH</OrgName><OrgAddress><Country> </Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part1"><PartInfo TocLevels="0"><PartID>1</PartID><PartSequenceNumber>1</PartSequenceNumber><PartTitle>A Portrait of a Scientist: Logic, AI and Politics</PartTitle><PartChapterCount>1</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>Mechanizing Mathematical Reasoning</BookTitle></PartContext></PartInfo><Chapter ID="Chap1" Language="En"><ChapterInfo ChapterType="OriginalPaper" NumberingStyle="ContentOnly" NumberingDepth="2" TocLevels="0" ContainsESM="No"><ChapterID>1</ChapterID><ChapterDOI>10.1007/978-3-540-32254-2_1</ChapterDOI><ChapterSequenceNumber>1</ChapterSequenceNumber><ChapterTitle Language="En">A Portrait of a Scientist: Logic, AI and Politics</ChapterTitle><ChapterFirstPage>1</ChapterFirstPage><ChapterLastPage>13</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2005</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>1</PartID><BookID>978-3-540-32254-2</BookID><BookTitle>Mechanizing Mathematical Reasoning</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff8"><AuthorName DisplayOrder="Western"><GivenName>Dieter</GivenName><FamilyName>Hutter</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff8"><AuthorName DisplayOrder="Western"><GivenName>Werner</GivenName><FamilyName>Stephan</FamilyName></AuthorName></Author><Affiliation ID="Aff8"><OrgName>German Research Centre for Artificial Intelligence</OrgName><OrgAddress><Postcode>D-66123</Postcode><City>Saarbrücken</City><Country>Germany</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop.</Para><Para>But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete.</Para><Para>But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>A Portrait of a Scientist: Logic, AI and Politics</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>A Portrait of a Scientist: Logic, AI and Politics</title></titleInfo><name type="personal"><namePart type="given">Dieter</namePart><namePart type="family">Hutter</namePart><affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Werner</namePart><namePart type="family">Stephan</namePart><affiliation>German Research Centre for Artificial Intelligence, D-66123, Saarbrücken, Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="research-article" displayLabel="OriginalPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2005</dateIssued><copyrightDate encoding="w3cdtf">2005</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called “Rechenvorrichtung” in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. Jörg grew up as the oldest son of a family whose male providers had been joiners and curlers for centuries. There has never been a question that one day he would inherit the small family owned curler and joiners workshop. But things turned out otherwise: Schaumburg-Lippe never became an independent Land again and the once respectable Siekmann family of joiners, curlers and church leaders was on the decline: mass furniture production became a highly capital intensive, fully automated business, where a certain Swedish company set the pace. In that process, almost all of the family-owned small and medium sized woodworking companies vanished and the once proud Schaumburg Lippesche Handwerkskammer dating back far into medieval times became obsolete. But Jörg did not quite fit particularly well anyway: when he could not decide whether he wanted to be an artist or a scientist – an idea so inconceivable that his father threatened to cut off all his family ties – he took his juvenile poems and drawings to a family friend who looked at his paintings and poems with a stern expression and suggested: “Son, you better learn the trade of your fathers!”</abstract><relatedItem type="host"><titleInfo><title>Mechanizing Mathematical Reasoning</title><subTitle>Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday</subTitle></titleInfo><name type="personal"><namePart type="given">Dieter</namePart><namePart type="family">Hutter</namePart><affiliation>DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany</affiliation><affiliation>E-mail: hutter@dfki.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Werner</namePart><namePart type="family">Stephan</namePart><affiliation>German Research Center for Artificial Intelligence, DFKI GmbH</affiliation><affiliation>E-mail: stephan@dfki.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" displayLabel="Commemorative publication"></genre><originInfo><copyrightDate encoding="w3cdtf">2005</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic><topic authority="SpringerSubjectCodes" authorityURI="I16048">Mathematical Logic and Formal Languages</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="M24005">Mathematical Logic and Foundations</topic></subject><identifier type="DOI">10.1007/b106663</identifier><identifier type="ISBN">978-3-540-25051-7</identifier><identifier type="eISBN">978-3-540-32254-2</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">116940</identifier><identifier type="BookID">978-3-540-32254-2</identifier><identifier type="BookChapterCount">31</identifier><identifier type="BookVolumeNumber">2605</identifier><identifier type="BookSequenceNumber">2605</identifier><identifier type="PartChapterCount">1</identifier><part><date>2005</date><detail type="part"><title>A Portrait of a Scientist: Logic, AI and Politics</title></detail><detail type="volume"><number>2605</number><caption>vol.</caption></detail><extent unit="pages"><start>1</start><end>13</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2005</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">2005</copyrightDate><issuance>serial</issuance></originInfo><relatedItem type="constituent"><titleInfo><title>Lecture Notes in Artificial Intelligence</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jaime</namePart><namePart type="given">G.</namePart><namePart type="family">Carbonell</namePart><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jörg</namePart><namePart type="family">Siekmann</namePart><affiliation>University of Saarland, Saarbrücken, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Dieter</namePart><namePart type="family">Hutter</namePart><affiliation>DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany</affiliation><affiliation>E-mail: hutter@dfki.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Werner</namePart><namePart type="family">Stephan</namePart><affiliation>German Research Center for Artificial Intelligence, DFKI GmbH</affiliation><affiliation>E-mail: stephan@dfki.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="sub-series"></genre><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SubSeriesID">1244</identifier></relatedItem><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2005</recordOrigin></recordInfo></relatedItem><identifier type="istex">D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB</identifier><identifier type="DOI">10.1007/978-3-540-32254-2_1</identifier><identifier type="ChapterID">1</identifier><identifier type="ChapterID">Chap1</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2005</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2005</recordOrigin></recordInfo></mods></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001558 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001558 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Sarre
|area= MusicSarreV3
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:D2A7B6575FE68DCE032E8F2D9B3987A85DA8C3FB
|texte= A Portrait of a Scientist: Logic, AI and Politics
}}
| This area was generated with Dilib version V0.6.33. |  |