25,161
edits
Changes
Created page with "'''Home * People * Frieder Schwenkel''' FILE:FriederSchwenkel.jpg|border|right|thumb|link=http://en.chessbase.com/post/grandmaster-ludek-pachman-dies-at-7..."
'''[[Main Page|Home]] * [[People]] * Frieder Schwenkel'''
[[FILE:FriederSchwenkel.jpg|border|right|thumb|link=http://en.chessbase.com/post/grandmaster-ludek-pachman-dies-at-78| Frieder Schwenkel <ref>[http://en.chessbase.com/post/grandmaster-ludek-pachman-dies-at-78 Grandmaster Ludek Pachman dies at 78] by [[Frederic Friedel]], [[ChessBase|ChessBase News]], March 12, 2003, Image from "In the above historical picture, taken on February 4, 1979, we see Prof. Frieder Schwenkel of the University Hamburg explaining the computer to [https://en.wikipedia.org/wiki/Lud%C4%9Bk_Pachman GM Pachman]"</ref> ]]
'''Frieder Schwenkel''', (1933 - 2012) <ref>[http://hiforum.blogspot.de/2012/09/hiforum-hamburger-informatik-museum.html Hamburger Informatik-Forum: [HIForum] Hamburger Informatik-Museum]</ref> <ref>[https://www2.informatik.uni-hamburg.de/fiona/pers.php?lang=en<ype=ordner&group=PROF#friederschwenkel Professors at Department of Informatics < FBI < MIN < UHH]</ref><br/>
was a German mathematician, computer scientist, and professor at [[University of Hamburg]]. He received his Ph.D. in 1966 on the [https://en.wikipedia.org/wiki/Semantics semantic theory] in [[Languages|programming languages]] at [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen] where his advisors were [[Mathematician#KLZeller|Karl Longin Zeller]] and [[Mathematician#HKneser|Hellmuth Kneser]] <ref>[https://www.genealogy.math.ndsu.nodak.edu/id.php?id=58552 The Mathematics Genealogy Project - Frieder Schwenkel]</ref>. Already during the early 60s in Tübingen, along with his fellow [[Gerd Veenker]], Frieder Schwenkel developed a particular interest in non-numeric computation such as game playing and [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving] <ref>[[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]</ref>. He was a strong chess player and early computer chess expert and promoter <ref>[http://www.spiegel.de/spiegel/print/d-40351942.html SCHACH: Computer bald Weltmeister?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 13/1979, March 26, 1979 (German) » [[Chess (Program)|Chess 4.8]]</ref>. During the late 70s, he motivated his students [[Alexander Reinefeld]], [[Manfred Allers]], [[Dirk Hauschildt]] and [[Dieter Steinwender]] to work on computer chess and supported the development of [[Murks]] and [[MicroMurks]]. In 1982/83, along with Dieter Steinwender, Frieder Schwenkel played a correspondence chess game versus [[Belle]] <ref>[http://www.zeit.de/1982/39/schach-der-schachmaschine Schach der Schachmaschine] by [http://www.zeit.de/autoren/R/Wolfram_Runkel/index.xml Wolfram Runkel], [https://en.wikipedia.org/wiki/Die_Zeit Zeit Online], September 24, 1982 (German)</ref>.
=Selected Publications=
==1960 ...==
* [[Frieder Schwenkel]] ('''1965'''). ''[http://onlinelibrary.wiley.com/doi/10.1002/malq.19650110209/abstract;jsessionid=D127C94B39FB76D5AD31088ECDDF0A81.f03t04 Rekursive Wortfunktionen Über Unendlichen Alphabeten]''. [https://en.wikipedia.org/wiki/List_of_logic_journals Mathematical Logic Quarterly], Vol. 11, No. 2 (German) <ref>[[Mathematician#Church|Alonzo Church]] ('''1975'''). ''[https://projecteuclid.org/euclid.jsl/1183739629 Review: Frieder Schwenkel, Rekursive Wortfunktionen uber Unendlichen Alphabeten]''. [https://en.wikipedia.org/wiki/Journal_of_Symbolic_Logic Journal of Symbolic Logic], Vol. 40, No. 4</ref>
* [[Frieder Schwenkel]] ('''1966'''). ''Semantische Theorie der Programmsprachen''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], advisors [[Mathematician#KLZeller|Karl Longin Zeller]] and [[Mathematician#HKneser|Hellmuth Kneser]] (German)
==1970 ...==
* [[Frederic Friedel]], [[Frieder Schwenkel]] ('''1979'''). ''Computerschach ’79''. (German) <ref>[http://www.csvnsupplementsite.nl/csvnp3.html CSVN supplement site 3]</ref>
* [[Frieder Schwenkel]] ('''1979'''). ''Berating the ratings system''. [[Personal Computing#3_11|Personal Computing, Vol. 3, No. 11]], pp. 77 » [[Personal Computing#Ratliff|Ratliff]]
* [[Hans-Peter Ketterling]], [[Frieder Schwenkel]], [[Ossi Weiner]] ('''1980'''). ''Schach dem Computer - Spielen und lernen mit dem Schach-Computer''. Mosaik-Verlag (German)
==1980 ...==
* [[Hans-Peter Ketterling]], [[Frieder Schwenkel]], [[Ossi Weiner]] ('''1983'''). ''Schach dem Computer - Spielen und lernen mit dem Schach-Computer''. Wilhelm Goldmann GmbH (German)
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=58552 The Mathematics Genealogy Project - Frieder Schwenkel]
* [http://www.spiegel.de/spiegel/print/d-40351942.html SCHACH: Computer bald Weltmeister?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 13/1979, March 26, 1979 (German) » [[Chess (Program)|Chess 4.8]]
* [http://www.spiegel.de/spiegel/print/d-40352047.html Computer als Richter und Arzt?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 17/1979, April 23, 1979 (German)
* [http://www.zeit.de/1982/39/schach-der-schachmaschine Schach der Schachmaschine] by [http://www.zeit.de/autoren/R/Wolfram_Runkel/index.xml Wolfram Runkel], [https://en.wikipedia.org/wiki/Die_Zeit Zeit Online], September 24, 1982 (German)
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:FriederSchwenkel.jpg|border|right|thumb|link=http://en.chessbase.com/post/grandmaster-ludek-pachman-dies-at-78| Frieder Schwenkel <ref>[http://en.chessbase.com/post/grandmaster-ludek-pachman-dies-at-78 Grandmaster Ludek Pachman dies at 78] by [[Frederic Friedel]], [[ChessBase|ChessBase News]], March 12, 2003, Image from "In the above historical picture, taken on February 4, 1979, we see Prof. Frieder Schwenkel of the University Hamburg explaining the computer to [https://en.wikipedia.org/wiki/Lud%C4%9Bk_Pachman GM Pachman]"</ref> ]]
'''Frieder Schwenkel''', (1933 - 2012) <ref>[http://hiforum.blogspot.de/2012/09/hiforum-hamburger-informatik-museum.html Hamburger Informatik-Forum: [HIForum] Hamburger Informatik-Museum]</ref> <ref>[https://www2.informatik.uni-hamburg.de/fiona/pers.php?lang=en<ype=ordner&group=PROF#friederschwenkel Professors at Department of Informatics < FBI < MIN < UHH]</ref><br/>
was a German mathematician, computer scientist, and professor at [[University of Hamburg]]. He received his Ph.D. in 1966 on the [https://en.wikipedia.org/wiki/Semantics semantic theory] in [[Languages|programming languages]] at [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen] where his advisors were [[Mathematician#KLZeller|Karl Longin Zeller]] and [[Mathematician#HKneser|Hellmuth Kneser]] <ref>[https://www.genealogy.math.ndsu.nodak.edu/id.php?id=58552 The Mathematics Genealogy Project - Frieder Schwenkel]</ref>. Already during the early 60s in Tübingen, along with his fellow [[Gerd Veenker]], Frieder Schwenkel developed a particular interest in non-numeric computation such as game playing and [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving] <ref>[[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]</ref>. He was a strong chess player and early computer chess expert and promoter <ref>[http://www.spiegel.de/spiegel/print/d-40351942.html SCHACH: Computer bald Weltmeister?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 13/1979, March 26, 1979 (German) » [[Chess (Program)|Chess 4.8]]</ref>. During the late 70s, he motivated his students [[Alexander Reinefeld]], [[Manfred Allers]], [[Dirk Hauschildt]] and [[Dieter Steinwender]] to work on computer chess and supported the development of [[Murks]] and [[MicroMurks]]. In 1982/83, along with Dieter Steinwender, Frieder Schwenkel played a correspondence chess game versus [[Belle]] <ref>[http://www.zeit.de/1982/39/schach-der-schachmaschine Schach der Schachmaschine] by [http://www.zeit.de/autoren/R/Wolfram_Runkel/index.xml Wolfram Runkel], [https://en.wikipedia.org/wiki/Die_Zeit Zeit Online], September 24, 1982 (German)</ref>.
=Selected Publications=
==1960 ...==
* [[Frieder Schwenkel]] ('''1965'''). ''[http://onlinelibrary.wiley.com/doi/10.1002/malq.19650110209/abstract;jsessionid=D127C94B39FB76D5AD31088ECDDF0A81.f03t04 Rekursive Wortfunktionen Über Unendlichen Alphabeten]''. [https://en.wikipedia.org/wiki/List_of_logic_journals Mathematical Logic Quarterly], Vol. 11, No. 2 (German) <ref>[[Mathematician#Church|Alonzo Church]] ('''1975'''). ''[https://projecteuclid.org/euclid.jsl/1183739629 Review: Frieder Schwenkel, Rekursive Wortfunktionen uber Unendlichen Alphabeten]''. [https://en.wikipedia.org/wiki/Journal_of_Symbolic_Logic Journal of Symbolic Logic], Vol. 40, No. 4</ref>
* [[Frieder Schwenkel]] ('''1966'''). ''Semantische Theorie der Programmsprachen''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], advisors [[Mathematician#KLZeller|Karl Longin Zeller]] and [[Mathematician#HKneser|Hellmuth Kneser]] (German)
==1970 ...==
* [[Frederic Friedel]], [[Frieder Schwenkel]] ('''1979'''). ''Computerschach ’79''. (German) <ref>[http://www.csvnsupplementsite.nl/csvnp3.html CSVN supplement site 3]</ref>
* [[Frieder Schwenkel]] ('''1979'''). ''Berating the ratings system''. [[Personal Computing#3_11|Personal Computing, Vol. 3, No. 11]], pp. 77 » [[Personal Computing#Ratliff|Ratliff]]
* [[Hans-Peter Ketterling]], [[Frieder Schwenkel]], [[Ossi Weiner]] ('''1980'''). ''Schach dem Computer - Spielen und lernen mit dem Schach-Computer''. Mosaik-Verlag (German)
==1980 ...==
* [[Hans-Peter Ketterling]], [[Frieder Schwenkel]], [[Ossi Weiner]] ('''1983'''). ''Schach dem Computer - Spielen und lernen mit dem Schach-Computer''. Wilhelm Goldmann GmbH (German)
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=58552 The Mathematics Genealogy Project - Frieder Schwenkel]
* [http://www.spiegel.de/spiegel/print/d-40351942.html SCHACH: Computer bald Weltmeister?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 13/1979, March 26, 1979 (German) » [[Chess (Program)|Chess 4.8]]
* [http://www.spiegel.de/spiegel/print/d-40352047.html Computer als Richter und Arzt?] [https://en.wikipedia.org/wiki/Der_Spiegel Der Spiegel] 17/1979, April 23, 1979 (German)
* [http://www.zeit.de/1982/39/schach-der-schachmaschine Schach der Schachmaschine] by [http://www.zeit.de/autoren/R/Wolfram_Runkel/index.xml Wolfram Runkel], [https://en.wikipedia.org/wiki/Die_Zeit Zeit Online], September 24, 1982 (German)
=References=
<references />
'''[[People|Up one level]]'''
