WikiDer > Albert Visser

Albert Visser
Albert Visser
Poste hier dein selbstgemachtes Foto
Persönliche Informationen
GeburtsortZwijndrecht
StaatsangehörigkeitNiederländisch
Wissenschaftliche Arbeit
DisziplinLogik einschließlich der Philosophie und die Grundlagen der Mathematik, ebenso wie Erkenntnistheorie
PromoterProfessor Doktor. Dr. Dirk van Dalen
BildungAngewandte Mathematik; Mathematik
Alma MaterUniversität Twente
InstituteUniversität Utrecht
Offizielle Website

Albert Visser (Zwijndrecht, 19. Dezember1950) war mal Professor zum Universität Utrecht. Er schickte angewandte Mathematik zum Universität Twente und er absolvierte die Mathematik an der Universität Utrecht. 1981 promovierte er in Utrecht über die TheseAspekte der Diagonalisierung und Beweisbarkeit (Supervisor Professor Doktor. Dirk van Dalen).[1] Albert Visser ging 2015 in den Ruhestand.

Seine Forschungsschwerpunkte sind Arithmetik Theorien, Interpretierbarkeit, Konstruktivismus, die Grundlagen der Mathematik und der Fächer in der Sprachphilosophie.[1]

Am 1. August 1998 wurde er zum Professor berufen Logik an der Universität Utrecht, das Amt übernahm er am 1. März 2000 mit dem EröffnungsredeDas Textkontinuum. Er war auch Mitglied der KNAW.[2][3]

Literaturverzeichnis

  • Aspekte der Diagonalisierung & Wahrscheinlichkeit. Utrecht, 1981 (These).
  • Auswertung, beweisbar deduktive Äquivalenz in Heytings Arithmetik der Substitutionsinstanzen von Aussagenformeln. Utrecht, 1985.
  • Können wir jede Maschine schlagen? : Überlegungen zu Lucas' Argument. Utrecht, 1986.
  • Peanos kluge Kinder. Eine logische Nachweisbarkeitsstudie von Systemen mit eingebauter Konsistenz. Utrecht, [1986].
  • Ein Kurs in bimodaler Wahrscheinlichkeitslogik. Utrecht, 1987.
  • Vorbemerkungen zur Interpretierbarkeitslogik. Utrecht, 1988.
  • Eine absteigende Hierarchie von Reflexionsprinzipien. Utrecht, 1988.
  • Interpretierbarkeitslogik. Utrecht, 1988.
  • Die Formalisierung der Interpretierbarkeit. Utrecht, 1989.
  • Zur S01-Konservativität der S01-Vollständigkeit. Utrecht, 1989.
  • Eine Innenansicht von EXP oder das geschlossene Fragment der Wahrscheinlichkeitslogik von IDN 0 O mit einer Aussagekonstanten für EXP. Utrecht, 1990.
  • Die Unbeweisbarkeit kleiner Inkonsistenzen. Utrecht, 1991.
  • Handlungen unter Voraussetzungen. Utrecht, 1992.
  • Faule & streitsüchtige Klammern. Utrecht, 1992.
  • Aussagenkombinationen von S-Sätzen in Heytings Arithmetik . Utrecht, 1994.
  • Interpretationen zu Heytings Arithmetik. Utrecht, 1995.
  • Kontext in dynamischer Prädikatenlogik. Utrecht, 1995.
  • Relationale Gültigkeit & dynamische Prädikatenlogik. Utrecht, 1995.
  • Bisimulationen, Modellbeschreibungen und propositinale Quantoren. Utrecht, 1996.
  • Ein Überblick über die Interpretierbarkeitslogik. Utrecht, 1997.
  • Prolegomena zur Definition dynamischer Prädikatenlogik mit lokalen Zuweisungen. Utrecht, 1997.
  • Regeln und Arithmetik. Utrecht, 1998.
  • Der Esel und das Monoid. Dynamische Semantik mit Steuerelementen. Utrecht, 1998.
  • Untermodelle von Kripke-Modellen. Utrecht, 1998.
  • Das Textkontinuum. Utrecht, 2000 (Eröffnungsrede).
  • Zur Ambiguität der polnischen Notation. Utrecht, 2001.
  • Glaube & Falschheit. Eine Studie über getreue Interpretationen und falsche S01-Sätze. Utrecht, 2002.
  • Kein Entkommen aus Vardanyans Theorem. [Utrecht], 2003.
  • Kontextänderung in Aktion. Utrecht, 2003.
  • Kategorien von Theorien und Interpretationen. [Utrecht], 2004.
  • Aussagenlogiken geschlossener und offener Substitutionen der Heytingschen Arithmetik. Utrecht, 2005.
  • Die prädikative Frege-Hierarchie. Utrecht, 2006.
  • Prolegomena zum kategorialen Studium der Interpretationen. Utrecht, 2006.