Logik und Grundlagenforschung
Subtitle: Festkolloquium zum 100. Geburtstag von Heinrich Scholz.
Contributors: Scholz, Heinrich, 1884-1956.
Series: Schriftenreihe der Westfälischen Wilhelms-Universität Münster ;; n.F., Heft 8
Publisher: Aschendorff
Published: 1986
Place of publication: Münster
Language: ger
Number of pages: 130
Subjects: Scholz, Heinrich, 1884-1956 -- Congresses.; Logic -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Papers from a meeting held Feb. 8-9, 1985 and sponsored by the Institut für Mathematische Logik und Grundlagenforschung der Westfälische Wilhelms-Universität Münster.
Table of contents: title: Die Logik zeitlicher Aussagen und die Grundlagen der Physik / Carl Friedrich Frh. v. Weizsäcker; title: Die Absolutheit der semantischen und die Relativität der syntaktischen Begriffe / Gisbert Hasenjaeger; title: Logistik in Münster um die Mitte der dreissiger Jahre / Hans Hermes; title: Bemerkungen über die Bolzanosche Wissenschaftslehre / Ettore Casari; title: Zur logizistischen These, Beweis des Unendlichkeitsaxioms in Quines Logik / Arnold Oberschelp; title: Interpolation, Definierbarkeit und Leibniz-Logiken / Heinz Dieter Ebbinghaus; title: Eine Normalform für endliche Approximation von partiellen stetigen Funktionalen / Helmut Schwichtenberg; title: Analytische Methoden und Simulationstechniken in den mathematischen Wissenschaften / Walter Oberschelp; title: Zur Rolle der Logik in der künstlichen Intelligenz / Michael M. Richter; title: Ist das Programmieren eine Kunst oder eine Wissenschaft? / Thomas Ottmann.