About: Julius Richard Büchi     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatSwissPeople, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FJulius_Richard_Büchi

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.

AttributesValues
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
  • http://commons.wikimedia.org/wiki/Special:FilePath/Julius_Richard_Büchi.jpg
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)
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 56 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software