Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician. He received his Dr. sc. nat. in 1950 at ETH Zurich under the supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University in Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Julius Richard Büchi (de)
- Julius Richard Büchi (fr)
- Julius Richard Büchi (en)
- Julius Richard Büchi (it)
- Julius Richard Büchi (pt)
|
rdfs:comment
| - Julius Richard Büchi, né le 31 janvier 1924 à Porto Alegre et mort en 1984, est un mathématicien suisse. (fr)
- Julius Richard Büchi (* 1924; † 1984) war ein Schweizer Logiker und Mathematiker. Er wurde 1950 an der ETH Zürich zum Dr. sc. nat. promoviert; seine akademischen Lehrer waren Paul Bernays und Ferdinand Gonseth. Kurz darauf ging er an die Purdue University (Lafayette, Indiana) im mittleren Westen der USA. Er selbst und sein erster Schüler Lawrence Landweber nahmen erheblichen Einfluss auf die Entwicklung der Theoretischen Informatik. Büchi war mit Saunders Mac Lane, ebenfalls Schüler von Paul Bernays, befreundet und hat mit ihm zahlreiche Arbeiten publiziert. (de)
- Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician. He received his Dr. sc. nat. in 1950 at ETH Zurich under the supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University in Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science. (en)
- Julius Richard Büchi (Porto Alegre, 31 gennaio 1924 – 1984) è stato un logico e matematico svizzero.Julius Richard Büchi è nato in Brasile, nella città di Porto Alegre dove vivevano i genitori Jacob ed Hedwig Büchi-Eigensatz, prima di ritornare in Svizzera della quale erano originari quando Richard aveva due anni. (it)
- Julius Richard Büchi (1924 — 1984) foi um matemático e lógico suíço. Obteve um doutorado em 1950 no Instituto Federal de Tecnologia de Zurique, orientado por Paul Bernays e Ferdinand Gonseth. Pouco tempo depois foi para a Universidade de Purdue, em West Lafayette, Indiana. Juntamente com seu primeiro aluno, Lawrence Landweber, teve grande influência sobre o desenvolvimento da ciência da computação teórica. (pt)
|
foaf:name
| - Julius Richard Büchi (en)
|
name
| - Julius Richard Büchi (en)
|
foaf:depiction
| |
birth date
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
birth date
| |
death date
| |
has abstract
| - Julius Richard Büchi (* 1924; † 1984) war ein Schweizer Logiker und Mathematiker. Er wurde 1950 an der ETH Zürich zum Dr. sc. nat. promoviert; seine akademischen Lehrer waren Paul Bernays und Ferdinand Gonseth. Kurz darauf ging er an die Purdue University (Lafayette, Indiana) im mittleren Westen der USA. Er selbst und sein erster Schüler Lawrence Landweber nahmen erheblichen Einfluss auf die Entwicklung der Theoretischen Informatik. Nach Büchi benannt ist der Büchi-Automat, ein endlicher Automat zum Erkennen von formalen Sprachen, die unendlich lange Wörter enthalten (Sprachen mit unendlich langen Wörtern heißen auch -Sprachen). Büchi war mit Saunders Mac Lane, ebenfalls Schüler von Paul Bernays, befreundet und hat mit ihm zahlreiche Arbeiten publiziert. (de)
|