Zum Inhalt springen

Arend Heyting

aus Wikipedia, der freien Enzyklopädie
Datei:Arend Heyting (1967).jpg

Arend Heyting, eigentlich Heijting, (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte Axiomensystem angab.

Leben

Heyting studierte ab 1916 Mathematik an der Universität Amsterdam, wo er von Brouwer und Gerrit Mannoury beeinflusst war. 1925 machte er sein Doctoralexamen bei Brouwer mit der Schrift Intuitionistische axiomatiek der projectieve meetkunde.<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 45623 | {{#ifeq: {{#property:P549}} | 45623 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}{{#if: 45623 | Vorlage:MathGenealogyProject/Wartung/id verwendet}}{{#if: | Vorlage:MathGenealogyProject/Wartung/name verwendet}}{{#ifeq:|{{#invoke:WLink|getArticleBase}}|Vorlage:MathGenealogyProject/Wartung/unnötige Verwendung von Parameter 2|}}</ref> Danach war er Lehrer in Enschede, befasste sich aber weiter mit Brouwers Intuitionismus und wurde 1925 promoviert über intuitionistische Axiomatik in der projektiven Geometrie (Intuïtionistische axiomatiek der projectieve meetkunde). 1927 lobte die Wiskundig Genootschap einen Preis über die Formalisierung des Intuitionismus aus, den Heyting gewann. Die Arbeit wurde 1930 publiziert und verschafft ihm internationale Bekanntheit. 1936 wurde er Privatdozent an der Universität Amsterdam, 1937 Lektor und 1948 als Nachfolger von Mannoury Professor. 1968 wurde er emeritiert, blieb aber wissenschaftlich aktiv.

Er gab den ersten Band von Brouwers Gesammelten Werken heraus.

Seit 1942 war er Mitglied der Königlich Niederländischen Akademie der Wissenschaften (KNAW).<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Past Members: Arend Heyting|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Past Members: Arend Heyting}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Past Members: Arend Heyting}}}}|[{{#invoke:URLutil|getNormalized|1=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Past Members: Arend Heyting}}}}]}}{{#if:| ({{{format}}}{{#if:Königlich Niederländische Akademie der Wissenschaften{{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}mit Link zur Biografie, niederländisch| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}}%7C%7C}}}}{{#if:Past Members: Arend Heyting|{{#if:{{#invoke:WLink|isValidLinktext|1=Past Members: Arend Heyting|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: Königlich Niederländische Akademie der Wissenschaften| Königlich Niederländische Akademie der Wissenschaften{{#if: |,|{{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:Königlich Niederländische Akademie der Wissenschaften|{{#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}}|}}|{{{archiv-datum}}}{{#if:1011791||(?)}}}}}}{{#if: 2023-05-08|;}}}}{{#if: 2023-05-08| {{#if:Königlich Niederländische Akademie der Wissenschaften{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-05-08 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-05-08|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-05-08|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}mit Link zur Biografie, niederländisch|{{#if:Königlich Niederländische Akademie der Wissenschaften{{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: mit Link zur Biografie, niederländisch|{{#ifeq:{{#if:de|de|de}}|de||, }}mit Link zur Biografie, niederländisch}})}}{{#if: {{#if: 2023-05-08 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}mit Link zur Biografie, niederländisch|{{#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://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
       | {{#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://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
      | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845 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://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
       | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
       | {{#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://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
      | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845 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://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845
       | {{#if:{{#invoke:URLutil|isWebURL|https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845 }} }}}}}}}}}}{{#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>

Siehe auch

Schriften

  • Die formalen Regeln der intuitionistischen Logik., 3 Teile, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42–56, 57–71, 158–169. Gekürzter Nachdruck in Berka, Karel; Kreiser, Lothar: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Akademie-Verlag Berlin 1986, Seite 188–192
  • Die intuitionistische Grundlegung der Mathematik, Erkenntnis, Band 2, 1931, S. 106–115.
  • Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag 1934
  • Intuitionism, an introduction, North Holland 1956, 1966, 1971
  • Axiomatic method en intuitionism, In: Y. Bar-Hillel, J. Poznanski, M.O. Rabin, A. Robinson (Hrsg.), Essays on the Foundations of Mathematics, Magnes Press, Hebrew University, Jerusalem, und North-Holland Publ. Co., Amsterdam 1962, S. 237–247.
  • Untersuchungen über intuitionistische Algebra, Verhandelingen der Nederlandse Akademie van Wetenschappen, afdeling Natuurkunde, 1ste sectie, 18, 1941, Nr. 2
  • Note on the Riesz-Fischer Theorem, Proceedings Koninklijke Nederlandse Akademie van Wetenschappen, Series A, 54 = Indagationes Mathematicae 13, 1951, S. 35–40.
  • Espace de Hilbert et intuitionnisme, in: Les méthodes formelles en axiomatique. Colloques internationaux du C.N.R.S. no. 36 (Paris 1950), Paris 1953, S. 59–63.

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Arend Heyting}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if: 

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: 

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:
| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

| bio = Biographies | cur = Curves | ex = Extras | ht = HistTopics | misc = Miscellaneous | soc = Societies | #default = Biographies }}/Heyting/ Arend Heyting.] In: {{#invoke:Vorlage:lang|flat}}{{#if: |, {{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}}} (englisch).

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20140222024527
      | {{#ifeq: 20140222024527 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20140222024527}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20140222024527}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch) | {{#invoke:WLink|getEscapedTitle|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}} | {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20140222024527|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1}}
    || {{#if:  || }}
  }}{{#if: Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)
    | {{#if: {{#invoke:WLink|isBracketedLink|Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1 }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 1027693091n/80/620417289656 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1027693091n/80/620417289656 | |

}} }}{{#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: 1027693091 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1027693091 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/80/6204 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/80/6204 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 17289656 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 17289656 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Heyting, Arend | {{#if: Heijting, Arend | {{#if: niederländischer Mathematiker | {{#if: 9. Mai 1898 | {{#if: Amsterdam | {{#if: 9. Juli 1980 | {{#if: Lugano |
Personendaten
NAME Heyting, Arend

}}

ALTERNATIVNAMEN Heijting, Arend

}}

KURZBESCHREIBUNG niederländischer Mathematiker

}}

GEBURTSDATUM 9. Mai 1898

}}

GEBURTSORT Amsterdam

}}

STERBEDATUM 9. Juli 1980

}}

STERBEORT Lugano

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Arend_Heyting&oldid=1011791“