Zum Inhalt springen

Arnold Oberschelp

aus Wikipedia, der freien Enzyklopädie
Datei:Arnold Oberschelp.jpg
Arnold Oberschelp, Aachen 1978

Arnold Oberschelp (* 5. Februar 1932 in Recklinghausen; † 31. August 2024<ref>Traueranzeige in den Kieler Nachrichten vom 14. September 2024, abgerufen am 14. September 2024</ref>) war ein deutscher Mathematiker und Logiker. Er war ab 1968 ordentlicher Professor für Logik und Wissenschaftslehre an der Universität Kiel.

Leben

Oberschelp studierte Mathematik und Physik an den Universitäten in Göttingen und Münster. In Münster wurde er 1957 in mathematischer Logik bei Hans Hermes zum Dr. rer. nat. promoviert.<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 21266 | {{#ifeq: {{#property:P549}} | 21266 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}{{#if: 21266 | Vorlage:MathGenealogyProject/Wartung/id verwendet}}{{#if: | Vorlage:MathGenealogyProject/Wartung/name verwendet}}{{#ifeq:|{{#invoke:WLink|getArticleBase}}|Vorlage:MathGenealogyProject/Wartung/unnötige Verwendung von Parameter 2|}} abgerufen am 30. August 2024.</ref> 1958 war er wissenschaftlicher Assistent am Mathematischen Institut der Technischen Hochschule Hannover. 1961 habilitierte er sich für das Fach Mathematik. 1968 nahm er einen Ruf als ordentlicher Professor für Logik und Wissenschaftslehre an die Christian-Albrechts-Universität zu Kiel an. Seit 1997 war Oberschelp emeritiert.<ref>Zur Geschichte der Logik in Kiel von O. Spinas</ref>

Arnold Oberschelp entwickelte eine allgemeine Klassenlogik, in der man beliebige Klassen ohne die Widersprüche der naiven Mengenlehre bilden kann. Zusätzliche Axiome ergeben die Zermelo-Fraenkel-Mengenlehre, die in seiner klassenlogischen Darstellung aber wesentlich handlicher ist als die übliche prädikatenlogische Darstellung.<ref>Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form in: Oberschelp, Allgemeine Mengenlehre, 1994, S. 261</ref>

{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@- | {{#if:trim|Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache.}} | {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@ | {{#ifeq: de | de | „{{#if:trim|Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache.}}“ | {{#invoke:Text|quoteUnquoted| Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache. | {{{lang}}} }} }} | {{#ifeq: {{#if:|{{{vor}}}|-}} | - | „ | {{{vor}}} }}{{#if:trim|Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache.}}{{ #ifeq: {{#if:|{{{nach}}}|-}} | - | “ | {{{nach}}} }} }} }}{{ #if: OberschelpAllgemeine Mengenlehre, 1994, Vorwort Seite 5 || }}

{{#if:

|

„{{{Latn}}}“{{#if: OberschelpAllgemeine Mengenlehre, 1994, Vorwort Seite 5 || }}

}}{{#if:

|

„{{{de}}}“{{#if: OberschelpAllgemeine Mengenlehre, 1994, Vorwort Seite 5 || }}

}}
{{#if: Oberschelp |
– <templatestyles src="Person/styles.css" />{{#if:|{{{4}}} |}}{{#if:|{{{2}}} |}}{{#if:| {{{3}}} |}}{{#if:| „{{{6}}}“ |}}{{#if:trim|Oberschelp}}{{#if:| {{{5}}}|}}{{#if: Allgemeine Mengenlehre, 1994, Vorwort Seite 5 | : Allgemeine Mengenlehre, 1994, Vorwort Seite 5 }}
|{{#if: Allgemeine Mengenlehre, 1994, Vorwort Seite 5
|
– Allgemeine Mengenlehre, 1994, Vorwort Seite 5
}}
}}

{{#if: |

{{#if: {{#invoke:Text|unstrip|{{{ref}}}}} 

        | }} }}{{#if: Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache. | {{
   #if: Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache. | {{#if:  |
   Vorlage:Zitat: Doppelangabe 1=Text=}}

}}| }}{{#if: | {{#if: Oberschelp | 

   Vorlage:Zitat: Doppelangabe 2=Autor=}}

}}{{#if: | {{#if: Allgemeine Mengenlehre, 1994, Vorwort Seite 5 | 

   Vorlage:Zitat: Doppelangabe 3=Quelle=}}

}}{{#if: | {{#if: | 

   Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}

}}{{#if: | {{#if: | 

   Vorlage:Zitat: Doppelangabe Sprache=lang=}}

}}{{#if: | {{#if: | 

   Vorlage:Zitat: Doppelangabe Übersetzung=de=}}

}}

1962 hielt er als invited speaker auf dem Internationalen Mathematikerkongress in Stockholm einen Vortrag über Klassen als „Urelemente“ in der Mengenlehre.

Von 1970 bis 1976 war er Vorsitzender der Deutschen Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften, in deren Vorstand er von 1965 bis 1978 war.

Arnold Oberschelp war ab 1964 mit Anneliese Arnold, geborene Eisenbach, verheiratet und lebte in Heikendorf in Holstein.

Publikationen (Auswahl)

  • Untersuchungen zur mehrsortigen Quantorenlogik. In: Mathematische Annalen. Band 145, Nr. 4, 1962, S. 297–333.
  • Eigentliche Klassen als Urelemente in der Mengenlehre. In: Mathematische Annalen. Band 157 (1964), S. 234–260.
  • Aufbau des Zahlensystems, Vandenhoeck & Ruprecht, 1968; Neuauflagen 1972 und 1976.
  • Set theory over classes. 1973.
  • Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1974/1978, ISBN 3-411-00408-8.
  • Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.
  • Rekursionstheorie. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1993, ISBN 3-411-16171-X.
  • Allgemeine Mengenlehre. BI-Wiss.-Verlag, Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1.
  • Logik für Philosophen. 2. Auflage. Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9.

Literatur

  • Oberschelp, Arnold. In: Walter Habel (Hrsg.): Wer ist wer? Das deutsche Who’s who. 24. Ausgabe. Schmidt-Römhild, Lübeck 1985, ISBN 3-7950-2005-0, S. 908.
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

| {{#if: 
    | Vorlage:DNB-Portal – veraltete Parametrisierung 3=
  }}

}}

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20070929171133
      | {{#ifeq: 20070929171133 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20070929171133}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20070929171133}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }} {{#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: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }} {{#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: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }} (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: Professor Oberschelp an der Universität von Kiel | {{#invoke:WLink|getEscapedTitle|Professor Oberschelp an der Universität von Kiel}} | {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}} }}  
                 }}}}}}}}{{#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:20070929171133|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://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm}}
    || {{#if:  || }}
  }}{{#if: Professor Oberschelp an der Universität von Kiel
    | {{#if: {{#invoke:WLink|isBracketedLink|Professor Oberschelp an der Universität von Kiel}}
        | {{#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://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www-computerlabor.math.uni-kiel.de/~spinas/Logik3.htm }}
              | 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: 105359130n8222330759177127 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 105359130n8222330759177127 | |

}} }}{{#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: 105359130 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 105359130 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n82223307 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n82223307 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 59177127 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 59177127 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Oberschelp, Arnold | {{#if: | {{#if: deutscher Mathematiker, Logiker und Hochschullehrer | {{#if: 5. Februar 1932 | {{#if: Recklinghausen | {{#if: 31. August 2024 | {{#if: |
Personendaten
NAME Oberschelp, Arnold

}}

ALTERNATIVNAMEN

}}

KURZBESCHREIBUNG deutscher Mathematiker, Logiker und Hochschullehrer

}}

GEBURTSDATUM 5. Februar 1932

}}

GEBURTSORT Recklinghausen

}}

STERBEDATUM 31. August 2024

}}

STERBEORT

}}

Vorlage:Wikidata-Registrierung

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