Peter Aczel

Peter Aczel (* 31. Oktober 1941; † 1. August 2023<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:Nicola Gambino|Nicola Gambino: }}{{#if:|{{#if:Peter Aczel|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Peter Aczel}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Peter Aczel}}}}|[{{#invoke:URLutil|getNormalized|1=https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Peter Aczel}}}}]}}{{#if:| ({{{format}}}{{#if:fom archive2023-08-03{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}}%7C%7C URL ungültig}}}}{{#if:Peter Aczel|{{#if:{{#invoke:WLink|isValidLinktext|1=Peter Aczel|lines=0}}|| Linktext ungültig}}}}{{#if: fom archive| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=fom archive}}}}{{#if: | {{{hrsg}}}{{#if: 2023-08-03|,|{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2023-08-03| {{#if:{{#invoke:DateTime|format|2023-08-03|noerror=1}}
            |{{#invoke:DateTime|format|2023-08-03|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2023-08-03|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2023-08-03|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:1806293||(?)}}}}}}{{#if: 2023-08-10|;}}}}{{#if: 2023-08-10| {{#if:2023-08-03{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-08-10 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-08-10|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-08-10|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:fom archive2023-08-03{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2023-08-03{{#if: 2023-08-10 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>) war ein britischer mathematischer Logiker und Informatiker.

Datei:Aczel Rathjen.jpg

Peter Aczel (links) mit Michael Rathjen, Oberwolfach 2004

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

Werdegang

Aczel wurde bekannt für Arbeiten in der nicht-fundierten Mengenlehre (engl. Non well founded Set Theory) und der konstruktiven Zermelo-Fraenkel-Mengenlehre (engl. Constructive ZF Set Theory). Seine nicht-fundierte Mengenlehre entstand aus dem Bedürfnis, eine mengentheoretische Begründung der Theorie konkurrierender Prozesse von Robin Milner zu finden bzw. allgemein zirkulärer Prozesse, die aufgrund des Fundierungsaxioms in der Zermelo-Fraenkel-Mengenlehre ausgeschlossen werden. Er befasste 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. (Digitalisat)

Weblinks

{{#if: Lawrence S. Moss | Lawrence S. Moss: }}{{#if: Non-wellfounded Set Theory | Non-wellfounded Set Theory. | Eintrag}} {{#if: Non-wellfounded Set Theory | In: | in}} Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy{{#if: |, {{{4}}}}}.{{#if:{{#if: http://plato.stanford.edu/entries/nonwellfounded-set-theory/index.html | {{#if: Non-wellfounded Set TheoryLawrence S. Moss | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Lawrence S. Moss | | 1 }} }}|}}{{#if:{{#if: {{#invoke:Expr|TemplateBooland}} | {{#if: Non-wellfounded Set Theory | | 1 }} }}|}}

Einzelnachweise

{{#ifeq: p | p | | {{#if: 151543925n/86/12171439452042 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 151543925n/86/12171439452042 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 151543925 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 151543925 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/86/121714 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/86/121714 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 39452042 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 39452042 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Aczel, Peter | {{#if: | {{#if: britischer Logiker | {{#if: 31. Oktober 1941 | {{#if: | {{#if: 1. August 2023 | {{#if: |

Personendaten
NAME	Aczel, Peter }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	britischer Logiker }}
GEBURTSDATUM	31. Oktober 1941 }}
GEBURTSORT	}}
STERBEDATUM	1. August 2023 }}
STERBEORT	}}

Vorlage:Wikidata-Registrierung