Peter Aczel

Peter Aczel

Peter Aczel (* 31. Oktober 1941) ist ein britischer mathematischer Logiker und Informatiker.

Peter Aczel (links) mit Michael Rathjen, Oberwolfach 2004

Aczel promovierte 1964 an der Universität Oxford bei John Newsome Crossley (Mathematical Problems in Logic). Er ist Professor für mathematische Logik und Informatik an der University of Manchester.

Aczel ist bekannt für Arbeiten in der Non well founded Set Theory und der konstruktiven Zermelo-Fraenkel Mengenlehre (Constructive ZF Set Theory). Er befasst sich auch mit Computer-gestützten Beweisverfahren, konkurrierenden Prozessen in der Informatik, Typentheorie, konstruktiver Mathematik (zum Beispiel in der allgemeinen Topologie), Philosophie der Mathematik.

Schriften

  • Non well founded sets, Stanford, CLSI Publications 1988

Weblinks


Wikimedia Foundation.

См. также в других словарях:

  • Aczel's anti-foundation axiom — is an axiom set forth by harvtxt|Aczel|1988. It states that every finite graph corresponds to one or more sets. In particular, the graph consisting of a single vertex with a loop corresponds to a set which contains itself. See also * Axiom of… …   Wikipedia

  • Aczél — or Aczel is a surname. People with this surname include:* János Aczél (died 1523), Hungarian poet *Amir Aczel (born 1950), Israeli mathematics writer * Zoltán Aczél (born 1967), Hungarian footballer;See also *Aczel s anti foundation axiom, set… …   Wikipedia

  • Acél — Acél, Acel, Aczél, Aczel ist der Familienname folgender Personen: Amir D. Aczel (* 1950), Mathematiker Ervin Acél György Aczél, geb. Henrik Appel (1917–1991) János Aczél (* 1924), ungarisch kanadischer Mathematiker József Aczél, siehe József… …   Deutsch Wikipedia

  • Audio equipment testing — is done to provide consumers with an idea of what they are looking for and to make the process of equipment selection easier. The results are published in specialty electronics magazines, online, and in other media. Many people involved in the… …   Wikipedia

  • Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia

  • Axiome d'anti-fondation — L axiome d anti fondation est un axiome alternatif à l axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d appartenance sur les ensembles. Il permet par exemple à un ensemble d… …   Wikipédia en Français

  • Axiome D'anti-fondation — L axiome d anti fondation est un axiome alternatif à l axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d appartenance sur les ensembles. Il permet par exemples à un ensemble d… …   Wikipédia en Français

  • Paul Finsler — est un mathématicien suisse né en 1894 et mort en 1970. Le nom de Paul Finsler est connu pour les espaces de Finsler qui sont des variétés métriques plus générales que les variétés riemanniennes. C est avec l article Les espaces de Finsler de… …   Wikipédia en Français

  • Blue Moon (2002 film) — Blue Moon is an Austrian movie written and directed by Andrea Maria Dusl in 2002. The road movie romantic comedy is Dusl s first as a director. PlotIn a month with two full moons, Austrian petty criminal Johnny Pichler is hired to carry a bag of… …   Wikipedia

  • Audiophile — An audiophile, from Latin audio [ [http://www.askoxford.com/concise oed/audio audio ] , Compact Oxford Dictionary, Accessed 2007 05 11] I hear and Greek philos [ [http://www.askoxford.com/results/?view=dict freesearch=phile branch=13842570… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»